Blockstack首席执行官表示，智能合约实在太局限了

区块链软件公司Blockstack的联合创始人兼首席执行官认为，智能合约的潜在好处和应用远远超出了其名称所暗示的范围。

在6月12日接受Cointelegraph采访时，普林斯顿大学计算机科学博士学位的Muneeb Ali博士说：

就像云计算对广泛的行业产生了影响，而不仅仅是金融，对于智能合约也是如此。它们甚至不应该被称为智能合约，因为这是一个相当有限的名称。这些是可验证的程序，在云计算时代是不存在的。”

Ali博士的评论是在Blockstack决定与权益证明区块链协议Algorand合作，以支持和采用一种称为“ Clarity”的智能合约语言时实现的，该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。 。

“我们的行业需要一种可预测的，安全的，开源的替代方案，以替代诸如Solidity之类的当前方法。尽管我们预计智能合约中锁定的价值最终可能达到数万亿美元，但我们的行业还没有为这种增长做好准备。”阿里博士说。

在Blockstack和Algorand看来，这种缺乏准备的原因是，到目前为止，开发人员“通常一直使用一种不安全的语言，该语言最初是JavaScript的分支，它本身是构建网站的通用语言”。

相比之下，阿里博士说，智能合约旨在通过依靠自动执行的软件代码来克服人类或机构中介机构的弱点，“与典型的计算机程序和网站有很大的不同”。他强调：

“对于高风险的运营，它们需要成为可验证的程序。通用语言在这里可能很危险。”

开发人员的“超级大国”

为了让认真的利益相关者采用智能合约并发挥其潜力，Ali博士指出，“需要一种在智能合约执行之前安全且在数学上可预测的可确定语言”。

他说，一个行业“不太可能通过以不安全的语言编写的智能合约进行高价值交易，”他指出，这种影响远不止于金融服务行业：

“编写可验证代码的能力就像开发人员的超级能力。这可以重塑软件在Internet上的分发和验证方式，开发人员如何为贡献代码而获得报酬，如何实现Internet服务的访问控制，等等。”

利用一种可决定的语言，开发人员可以确切地知道程序将如何执行至其精确的加油费，从而可以自动执行各种Internet应用程序中的功能。

正如Cointelegraph报道的那样，并非所有研究人员都像阿里博士那样看好智能合约技术的潜力。

宾夕法尼亚大学沃顿商学院法学和商业道德教授凯文·沃巴赫（Kevin Warbach）最近发表了一篇文章，指出他认为转向自动化，强制执行代码的决策的隐含“黑暗面”在区块链空间。

—-

原文链接：https://cointelegraph.com/news/smart-contracts-is-too-limiting-a-name-says-blockstack-ceo

原文作者：Cointelegraph By Marie Huillet

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。