区块链智能合约：比其价值还大吗？
我们都听说过智能合约技术的好处-一种不信任的工具，可以在交换金钱，资产或任何有价值的东西时引导中间人。就像区块链的最新流行语一样具有革命性意义，智能合约错误正在引起难以言喻的混乱。
从数字上看，人们可能会将以太坊的3％智能合约失败率视为可容忍的损失，这是众所周知的下降。但是，当保障措施未能保护价值数十亿美元的货币时，可能会发生坏事。以ICON的2018年6月错误为例，该错误允许除智能合约创建者之外的任何用户自由启用和禁用交易。固定一个价值超过800万美元的区块链的想法最令人担忧，但我们不要忘记与过去的失败相比，这种失误显得苍白无力。
曾经有无数巨大的僵尸，但其中最有可能的国王可能是2016年的分布式自治组织（DAO）智能合约错误。看到360万以太币通过智能合约黑客被耗尽，DAO迫使以太坊的创始人采取激进的措施，并创建一个硬分叉-挽救损失的资金（当时流通的所有以太币的15％）的唯一可能性。
1.智能合约可以固定吗？
鉴于此类缺陷正在损害资金，敏感数据和各种描述的数字化资产，因此问问该技术是否仅仅是比其价值更大的麻烦就不会错。
一个公平的问题，但事实是，智能合约错误并非不可修复。已经出现了许多解决该问题的项目，并且其中任何一个很可能是恢复对技术的信心所需的新鲜空气。
2.解决方案
与许多提供智能合约验证和审计的公司一起出现了Solidified和Security。这种由劳动力推动的工作目前在市场上占主导地位，每次审核要花费数千甚至数万美元。这些解决方案可能会因个案而异，但是很明显，将需要一个更具成本效益和时间效益的解决方案，以满足全球对区块链日益增长的需求。这样看来，分权可能是王国的钥匙。
例如，Quantstamp（以2018年1月的市值计算价值将近十亿美元）已经为以Solidity（以太坊倡导的编程语言）编写的智能合约设计了一种安全审计协议。通过Quantstamp，客户可以通过对等提交的验证软件和漏洞发现者来审查其智能合约。虽然是一种有效的解决方案，但Quantstamp的过程仍然过于劳动密集型-必须检查源代码，并由人工手动编写规格。
这些项目中有许多已经飞跃解决了智能合约危机，但是它们都面临着可扩展性的问题，更不用说它们无法解决困扰整个区块链生态系统的问题-我们不要忘记去中心化应用程序（DApps）和区块链代码是同样容易受到错误的攻击。
提出工程解决方案的一家公司是CertiK-一种即将到来的验证平台，适用于区块链生态系统的所有组件，包括智能合约和DApp。如果竞争对手依靠手动验证和基于测试的经典方法，那么CertiK会指出这样的事实，即测试只能确定何时存在错误，而不能证明没有错误。取而代之的是，CertiK的平台将在数学上证明任何物品都没有错误和防黑客攻击。
根据CertiK的说法，真正可扩展的验证的答案是基于层的系统。而不是测试（团队将其描述为依赖于人工的禁止性任务），CertiK使用模块化验证将任务分解为较小的任务，从而允许它们以分散的方式解决。这种工作方式会激励并奖励社区，以构建和验证证明，改进求解算法并维护有弹性的，具有成本效益的解决方案-所有这些都吸引了权力下放的倡导者。
CertiK团队以前建立了世界上第一个抵抗黑客的操作系统，它融合了学术和公司验证经验-由耶鲁大学和哥伦比亚大学教授领导，并得到Facebook，Google和FreeWheel的软件工程师的支持。
区块链本身可能是不信任的，不可变的和廉洁的，但是如果我们忽略它们中存在的错误，它们将像具有错误锁的数十亿美元的保险箱一样好。随着技术将全球推向新的经济模式，我们将仅对智能合约，DApp和支持其完整性的验证解决方案提出更多要求。
