Blockstack的首席执行官：智能合约需要更安全的语言

Blockstack的联合创始人兼首席执行官Muned Ali在接受Cointelegraph的采访时说，智能合约未来将需要一种更安全的开发语言。

他还认为，就像云计算已经影响到许多行业一样，智能合约不仅影响金融行业，而且智能合约的潜在利益和应用远远超出了其名称所暗示的范围。

阿里说：“它甚至不应该被称为智能合约，因为它的名称相当有限。这些是可验证的程序，在云计算时代还不存在。”

Blockstack与基于权益证明的区块链协议Algorand合作，支持并应用了一种称为“ Clarity”的智能合约语言。该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。

他提到：“我们的行业需要一种可预测的，安全的，开放源代码的替代品来替代诸如Solidity之类的当前语言。尽管我们预计，智能合约中锁定的价值最终将达到数万亿美元，但我们的行业尚未为这一增长做好准备。”

在Blockstack和Algorand看来，这种缺乏准备的原因是到目前为止，开发人员“始终使用了不安全的语言”

阿里强调，智能合约旨在通过依靠自动执行的软件代码（与典的计算机程序和网站完全不同）来克服人类或机构中介机构的弱点。

因此他指出：“对于高风险的操作，它们必须是可验证的程序。通用语言在这里可能很危险。”

为了使利益相关者应用智能合约并发挥其潜力，Ali认为“需要一种在执行智能合约之前安全且在数学上可以预测的确定性语言”，因为行业“不太可能采用不安全的语言为高价值而编写的智能合约交易。”

他指出，这种含义的含义远远超出了金融服务业。 Ali补充说：“编写可验证代码的能力就像开发人员的超级能力。这可以重塑软件在Internet上的分发和验证方式，开发人员提供代码以获取报酬的方式，实现对Internet服务的访问控制的方式。等等。”

图像来源：

梁澈

本文来自bitpush.news。重新打印时请注明出处。

免责声明：Bite中的所有文章仅是作者的观点，并不构成投资建议。投资是有风险的，后果自负。