Blockstream推出Simplicity智能合约语言
Blockstream是比特币第二层协议Liquid的开发者，由比特币密码朋克亚当·巴克（Adam Back）领导。近日，该公司推出了Simplicity，这是一种专为比特币设计的新智能合约语言。根据周四与Cointelegraph分享的公告，Simplicity智能合约将集成到Liquid中。Blockstream表示，此举标志着比特币从安全的价值储存转变为去中心化金融的可编程基础的又一步。
SimplicityHL的推出
此外，公司还推出了SimplicityHL，这是该语言的高级实现，旨在通过增加抽象层次来简化开发。Blockstream的一位代表告诉Cointelegraph，这个版本的语言“现在已经可以使用”，并且提供了一个基于网页的集成开发环境。
不同架构下的不同方法
Simplicity与以太坊的Solidity语言有所不同，主要是由于两条区块链的底层架构不同。这源于以太坊和比特币网络在方法和架构上的差异，Solidity是为以太坊虚拟机（EVM）开发的。状态是网络在特定区块时所有账户余额和存储数据的公认快照。
比特币采用未花费交易输出（UTXO）架构，而以太坊网络则使用全网状态。这一差异体现在Simplicity智能合约的工作方式上。Blockstream的一位代表表示，“不依赖全局状态是一个重大转变。”他说：“你的合约所需的每一项状态信息都必须随交易一起传递。”
“即使出现问题，只有你合约的特定部分会受到影响。这与全局状态相比是一种不同的思维方式，但最终通过设计使合约更安全、更独立。”
开发者还将无法使用递归或无界循环，Blockstream声称这些在链上逻辑中并不是必需的。
特定领域智能合约编程语言的崛起
Simplicity加入了越来越多的特定领域智能合约编程语言的行列。Noir是一种于2022年发布的编程语言，用于编写和验证零知识证明（ZK证明），在2023年被即将推出的隐私优先以太坊第二层Aztec的开发者采用。Noir已成为专门为隐私保护应用程序构建的智能合约编程语言，深度集成ZK证明于其架构中。
另一个例子是Leo，这是一种智能合约编程语言，也创建了与隐私相关的ZK证明系统，语法紧密相关。以太坊的Vyper是一种与EVM兼容的语言，旨在减少攻击面，现在被一些领先的以太坊去中心化金融（DeFi）协议使用。
