耗资数十亿美元填补合同漏洞

漏洞花费了很多人大量的加密

加密货币，即使是那些不允许智能合约的加密货币，也容易受到漏洞的攻击。 即使是衡量其他硬币的基准的比特币也有其份额，例如 2010 年的一个漏洞比特币协议漏洞，该漏洞在区块 74,638 中创造了 1800 亿个比特币。 虽然它很快就修好了，但没有人得到或丢失硬币。 以太坊用户从未如此幸运。 像 The DAO 和最近的 Bancor（其 1250 万美元的损失归因于他们的智能合约所允许的）这样的事件已经将加密货币损失的金额推高至 10 亿美元。

作为图灵完备的区块链，以太坊虚拟机可以使用极其复杂的逻辑来制定智能合约。 问题是逻辑越复杂，就越有可能出现可利用的错误。 Solidity 是用于编写以太坊智能合约代码的主要语言，很难掌握。 此后出现的智能协议区块链致力于消除此类错误。 这需要我们从实体开始，通常是从图灵完备性开始，到具有更小误差范围的更受约束的系统。

新区块链如何接近智能合约

news.Bitcoin.com 在阿姆斯特丹区块链博览会上采访了安德鲁斯。 他们的平台使用 C#，因为 C# 提供对许多工具的访问，例如反编译器、优秀的编辑器、Visual Studio 中的内聚测试和调试部署套件。 这意味着您可以分解从字节码到真正 C# 的任何契约。 他将此与处于微妙发展阶段的稳固性进行了对比，在这个阶段你无法很好地分解许多合同。 事实上，你只能审计大约 1% 的以太坊合约是一个问题，因为反编译器基本上不起作用。

虽然分层主要侧重于企业采用，但其他区块链正在武装以太坊比特币协议漏洞，但尚未达到准备状态。 Tezos 将以 Michelson 的形式对其智能合约进行正式验证，Michelson 是一种简单的编程语言，重视安全性而非多功能性。 因此，程序员应该更难创建任意程序，这反过来意味着他们应该更难引入致命缺陷。

Stellar 提供有限的智能合约功能来解决时间限制等问题。 Cardano 的智能合约必须经过正式验证以确保它们没有错误，并使用称为 IELE 的虚拟机运行。 使用 C/C++ 将 EOS 智能合约部署为预编译的 Web 程序集。 与 Cardano 和 Tezos 一样，EOS 仍处于开发的早期阶段，只有少数开发人员在其协议上进行构建。 相比之下，以太坊达到了 35,000 个可靠标准，因此仍然保留了网络卓越的智能合约区块链。

形式验证减少错误

Stratis Andrews 相信，随着正式认证的增加，智能合约将变得更加脆弱：“我认为 [Stratis] 和实体生态系统都会有很多改进。 经常出现的一件事是形式验证，您可以验证合约的行为。 显然，这是一件非常重要的事情，分层会有这样的潜力，而且我知道他们也在用以太币进行研究。”

随着区块链技术渗透到每个行业，智能合约在执行决策中的作用将显着增加。 在此过程中，计算机代码将从控制数亿美元到数十亿美元的数字资产。 如果智能合约要成为日常业务的一部分，消除错误是必不可少的。 在那之前，由更多缺陷造成的代价高昂的错误是不可避免的。 以太坊的智能合约漏洞已经存在。 这只是谁先找到它们的一个例子。