股权证明 (Proof-of-stake) 区块链 Algorand 在其 2.0 被本中正式支援智能合约,并强调与其他区块链开创的智能合约存在着后端差异不是错误,而是其功能之一。

在星期 4,Algorand 基金会发布了其区块链草案的更新版本,内容包括增加去中心化金融 (DeFi) 功能以及用户期待已久的智能合约 (Smart Contract)。自 2019 年 6 月被推出以后,这次 Algorand 2.0 更新可算是其网络功能扩展程度最大的一次。

Algorand 的 CEO Steve Kokinos 在一份声明中提到:“这一次释出的此版本附带的新功能和简单的开发人员资源,可以容许区块链在整体上有更多的新用法及得到更广泛的采用。”

此外,在过去数月 Algorand 的员工一直在暗示其进行中的开发 - 智能合约。到了这次更新,可算是 Algorand 首次正式支援智能合约 - 这个以代码驱动 (Code-driven) ,并且可以随着时间推移持续进行追踪和执行正式协议条款的合约。

然而,由于 Algorand 新的内部编程语言 “Transaction Execution Approval Language (TEAL)”尚未做到图灵完整 (Turing-complete),因此 Algorand 的 ASC 智能合约与其他区块链开创的智能合约存在着后端差异 (Back-end Differences)。

注:图灵完整性 (Turing Completeness) 是一种量度的方式,用作测试一个编程语言模拟另一种编程语言并控制其编程指令的能力。

在现代,几乎所有的编程语言都是图灵完整的,但 Algorand 则例外。Algorand 表示 TEAL 不具备图灵完整其不是一种错误,而是它的独特功能。Algorand 认为其 TEAL 智能合约在编写和执行上较其他产品更为安全,尽管它的潜在功能可能较有限,例如 ASC无法在开发人员页面支援递归逻辑 (Recursive Logic)。

对此,Algorand 的产品负责人 Paul Riegle 表示:“我们认为对于大部分的情况来说图灵完整都不是必要的,而相反来说图灵完整也会带来巨大的攻击面,并可能对其效能造成严重的影响。”

Algorand 认为更简单的功能可带来更高的安全性,或者也可以当作是一个更直接的途径确保 ASC 合约的编码人员不会因失误而导致资产损失。同时,根据 Hacker Noon 的看法,智能合约代码的编程语言中没有递归逻辑,将使错误检查变得更容易和更快捷。

除了智能合约外,Algorand 2.0 升级尚有其他的升级项目。

其标准资产证券 (ASA) 功能为 Algorand 带来了大范围的代币化功能,同时这亦是 DeFi 的基本工具之一。在Algorand 基金会的开发人员页面上,任何资产都可以数码化并透过 ASA 进行链上 (On-chain) 存储。此外,Algorand 还通过 Atomic Transfers 功能带来了批量交易功能。

另一方面,透过开发人员页面上的新工具,用户更可以在一次交易中执行如循环交易 (Circular Trades) 和内部账户结算等复杂的代币转移。

最后,基金会表明 Algorand 2.0 的更新其不会对 Algorand 就伊斯兰教法的合法认证带来影响,而且其他重要的功能也会维持现状。

根据 Nomics 的数据,目前 Algorand 的市值约为 $1.08 亿美元,为 CoinMarketCap 内排名第 48 大的区块链。