使用智能合约消除十亿美元的计算错误

加密货币,即使是那些不允许智能合约的加密货币,也容易受到漏洞的影响。甚至比特币(衡量其他硬币的基准)也有其份额,就像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将有可能做到这一点,而且我知道他们也会用以太坊进行调查。”

发表评论
留言与评论(共有 0 条评论)
   
验证码:

相关文章

推荐文章

'); })();