由Adam Back领导的Blockstream正式推出了比特币原生智能合约编程语言Simplicity，为以太坊的Solidity提供了全新的替代方案。

Blockstream是比特币第二层网络Liquid的开发者，且由比特币加密货币先驱Adam Back领导。该公司目前已推出专为比特币设计的新型智能合约语言Simplicity。

根据Blockstream与Cointelegraph分享的公告，Simplicity智能合约将会被集成至Liquid。这一举措标志着比特币（BTC）从单纯的安全价值存储向可编程的去中心化金融基础迈出了重要一步。

公司还自主推出了SimplicityHL，这是该语言的高级抽象实现，旨在为开发者提供更高层次的开发便利。

Blockstream的一位代表向Cointelegraph表示，该语言版本“现已可用”，并且还提供了基于网页的集成开发环境。

不同架构的差异化路径

Simplicity与以太坊的Solidity语言的差异，主要源于比特币和以太坊网络底层架构的不同。

Solidity是为以太坊虚拟机（EVM）开发的语言，而以太坊的“状态”是指全网在某个特定区块下所有账户余额和存储数据的共识快照。

比特币采用未花费交易输出（UTXO）机制，而以太坊网络则依赖全局统一状态。这一差异在Simplicity智能合约的运行逻辑上得以体现。Blockstream代表指出，“不依赖全局状态是一次重大转变”，“每个合约所需的状态信息必须随交易进行传递。”

Blockstream研究团队表示，Solidity开发者需改变依赖全局变量的开发习惯，并在每个步骤中明确提供所需信息。在这种架构下，两个智能合约之间无法共享状态或引用同一个变量，所有数据必须在交易中明确传递。此外，该设计带来的影响如下：

“即便出现问题，受影响的也只是特定交易图中你的合约部分。这与全局状态的思路截然不同，而最终将使合约设计更加安全，边界更加清晰。”

开发者还无法使用递归或无限循环结构。Blockstream认为，这类机制对于链上逻辑并不是必需的。

专用智能合约编程语言的崛起

Simplicity的推出使专用智能合约编程语言的阵营变得愈加丰富。

2022年发布的Noir编程语言专注于编写和验证零知识证明（ZK-proof），并在2023年被即将上线的以隐私为核心的以太坊第二层网络Aztec的开发者采用。

Noir已经成为专为隐私保护应用设计的智能合约编程语言，其架构深度整合了零知识证明（ZK-proof）。

另一个例子是Leo。这是一种智能合约编程语言，同样支持开发零知识证明系统，其语法设计强调隐私特性。

以太坊的Vyper是一种与以太坊虚拟机（EVM）兼容的语言，旨在减少攻击面，目前已被部分主流以太坊去中心化金融（DeFi）协议所采用。

相关推荐：白宫加密货币报告对比特币（BTC）支持者来说充满喜忧参半的情绪。