比特币二层协议Liquid的开发者Blockstream,由比特币密码朋克Adam Back领导,推出了一种为比特币设计的新型智能合约语言——Simplicity。

根据分享给Cointelegraph的公告,Simplicity智能合约将被集成到Liquid中。公司表示,此举标志着比特币从安全的价值存储转变为去中心化金融的可编程基础的一个进步。

公司还推出了SimplicityHL,这是一种方便开发的高级实现语言,带来更高的抽象性。

Blockstream的一位代表表示,语言版本已经可用,并提供了基于网络的集成开发环境。

因不同架构而采取不同方法

Simplicity与以太坊的Solidity语言不同,主要因为两者底层架构不同。

比特币使用未花费交易输出(UTXO)架构,而以太坊网络采用全局状态。这一差异决定了Simplicity智能合约的工作方式。

Blockstream研究人员指出,Solidity开发者需要改变习惯,不再依赖全局变量,而是需要在每一步提供所有所需信息。这种方法尽管限制了某些功能,但提高了合约的安全性。

开发者不能使用递归或无限循环,Blockstream声称这些并非链上逻辑所需。

智能合约编程语言的兴起

Simplicity加入了越来越多的领域特定智能合约编程语言。

2022年发布的Noir被2023年即将到来的以隐私优先设计的以太坊二层Aztec采用,并成为专门用于隐私保护应用的编程语言。

另一例子是Leo,致力于隐私及ZK-proof系统的智能合约语言。

以太坊的Vyper是一种兼容EVM的语言,旨在降低攻击面,并被一些领先的以太坊去中心化金融使用。