Algorand和Blockstack正在构建多链智能合约语言

Algorand和Blockstack正在合作开发一种新的智能合约编程语言，该语言将两家初创公司推向直接的区块链间通信。

两家公司的高管告诉CoinDesk，该项目最终称为Clarity，最终将允许开发人员编写在其两个区块链上执行的智能合约（以及可能决定加入开源计划的其他智能合约），而无需涉及Polkadot等第三方互操作性协议。

直接链间通信的潜力可能与开发人员在两个截然不同的平台上部署智能合约的想法一样无限。 Algorand的权益证明区块链通常可以满足财务用例的需求，而Blockstack即将推出的Stacks 2.0“转移证明”区块链则更广泛地用于分散计算。

“我们相信这是一个多链世界，” Algorand首席执行官Steve Kokinos说。 “人们将为不同的目的使用不同的链，而互操作性将变得至关重要。”

较便宜的智能合约

Blockstack首席执行官Muneeb Ali表示，正是他和Algorand的智能合约设计理念的相似之处将它们融合在一起。

“我们已经在寻找相同的物业，”阿里说。

双方都对部署“非图灵完整”语言非常感兴趣。 Algorand 2.0的TEAL智能合约语言不是图灵完整的，Blockstack的同名Clarity也已经计划在Stacks 2.0上首次亮相。阿里估计一开始这两种语言的共同点是“ 80-90％”。

非图灵完备性在某种程度上意味着某种语言的程序理论上不可能永远运行-实际上，这意味着它的程序比用图灵完备语言编写的程序更具限制性。

但是由于具有相同的特性，非图灵完整的语言也比它们的计算完整的兄弟更不容易出现错误。阿里说，他们的智能合约不需要人工审核。

阅读更多：谁将为图灵完成的智能合约付款？

“一切都可以精确，一切都可以得到验证，”阿里说，将“清晰性”与易于出错的替代语言形成对比，这种替代语言可能使“数亿美元”的智能合约用户资金面临风险。

臭名昭著的DAO hack可能是用图灵完备的语言编写的智能合约存在潜在危险的最著名例子。那次2016年的抢劫案给用户造成了5,000万美元的以太币损失，这全都归功于一个bug。

“这些智能合约的数量问题实际上只是：它们是否精确且安全？”因此，语言必须仅专注于此，这就是我们在这里所做的，”阿里说。

Kokinos表示，Clarity提供了“智能合约在哲学上不同的方法”。

他说，清晰还将使开发者体验更简单。 “我们正在提供人员工具，使他们不必再过多地了解区块链的工作原理以及系统的基础部分，而使人们能够完成工作。”

—-

原文链接：https://www.coindesk.com/algorand-and-blockstack-are-building-a-multi-chain-smart-contract-language

原文作者：Danny Nelson

编译者/作者：wanbizu AI

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