加密货币，即使是那些不允许智能合约的加密货币，也容易受到漏洞的影响。甚至比特币（衡量其他硬币的基准）也有其份额，就像2010年在74638块中创造了1800亿比特币的溢出漏洞一样。虽然没有任何人获得或丢失硬币，但它很快就被修复了。以太坊用户并非总是那么幸运。诸如DAO，Parity和最近的Bancor之类的事件，其1250万美元的损失归因于他们的智能合约中的许可后门，已经将编码错误的加密数量推向了10亿美元。

作为图灵完整区块链，以太坊虚拟机可用于制定使用极其复杂逻辑的智能合约。麻烦的是，逻辑越复杂，可利用的漏洞就越有可能蔓延。用于编码以太坊智能合约的主要语言Solidity，掌握是非常棘手的。自那以后出现的智能合约启用区块链一直致力于消除此类错误。这需要摆脱Solidity，并经常从图灵完整性出发，转而采用限制性更强，系统误差更小的系统。

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

在阿姆斯特丹的区块链博览会上，news.Bitcoin.com采访了Stratis的智能合约主管Jordan Andrews。他们的平台使用C＃，因为它可以访问“反编译器，优秀的编辑器，Visual Studio中的一个有凝聚力的测试和调试部署套件等众多工具”。这意味着你可以将任何合同从字节码反编译成真正的C＃，“乔丹解释道。他将此与Solidity进行了对比，Solidity处于“一个微妙的发展阶段，你实际上无法很好地反编译许多合同。事实上，您只能审计以太坊上1％的合同是一个问题，因为基本上，反编译器不起作用。“

虽然Stratis主要专注于企业采用，但其他区块链正在为以太坊进行投资，但尚未达到准备状态，他们可以在密码管理系统的事实上的智能合约平台上下手。Tezos将以迈克尔逊（Michelson）的形式对其智能合约进行形式验证，这是一种简单的编程语言，可以通过多功能实现安全性。因此，编码人员创建任意程序应该更加困难，这反过来意味着他们应该更难以引入致命的缺陷。

Stellar提供有限的智能合约能力，以涵盖多重签名，批量和时间限制等问题。Cardano的智能合约必须经过正式验证，以确保它们没有错误，并使用名为IELE的虚拟机运行。EOS智能合约使用C / C ++部署为预编译的Web程序集。与Cardano和Tezos一样，EOS仍处于开发的早期阶段，只有少数开发人员在其协议的基础上进行构建。相比之下，以太坊可以算上35,000名Solidity开发人员，因此仍然是网络上最杰出的智能合约区块链。

正式验证将减少错误

随着区块链技术渗透到每个行业，智能合约在执行决策中的作用将急剧增加。在此过程中，计算机代码将从控制数亿美元到数十亿美元的数字资产。如果智能合约要成为日常业务的一部分，消除错误至关重要。在此之前，由进一步的缺陷引起的代价高昂的错误是不可避免的。以太坊的聪明合同错误已经存在。这只是谁首先发现它们的情况：白帽或黑色。

Stratis的乔丹安德鲁斯相信，越来越多的正式验证将使智能合约变得不那么脆弱：“我认为[Stratis]和Solidity的生态系统将会看到如此多的改进。现在出现的一件事是正式验证，即您可以验证合同将会发挥作用的想法。这显然是一件大事...... Stratis将有可能做到这一点，而且我知道他们也会用以太坊进行调查。”