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

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

根据公司在星期四与Cointelegraph分享的公告，Simplicity智能合约将被集成进Liquid网络。这标志着比特币（BTC）在从安全的价值储存向可编程的去中心化金融基础转型方面迈出了重要一步。

此外，公司还主动发布了SimplicityHL，这是该语言的高级抽象实现，使开发者能够在更高的抽象层级进行开发。

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

针对不同架构的差异化路径

Simplicity与以太坊的Solidity语言之间的差异，主要来源于两者底层网络架构的不同。

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

与此不同的是，比特币采用未花费交易输出（UTXO）机制，而以太坊依赖一个全网统一的状态。这一架构差异在Simplicity智能合约的执行逻辑中体现得尤为明显。Blockstream的代表指出，“不依赖全局状态是一个重大的变革”，“每一份合约所需的状态信息都必须随交易一起传递。”

Blockstream的研究人员表示，Solidity的开发者需要调整其依赖全局变量的开发习惯，而是必须在每个步骤中明确提供所需的信息。在这种架构下，两个智能合约不能共享状态或引用同一变量，所有数据必须在交易中明确传递。公司代表进一步补充道，这样的设计意味着：

“即便出现问题，受影响的仅是你合约在交易图中的特定部分。这与全局状态的思路有着显著不同，但最终能够提升合约设计的安全性，并让边界更加清晰。”

此外，开发者不能使用递归或无限循环的结构。Blockstream认为，这些机制并不是链上逻辑所必需的。

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

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

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

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

另一个案例是Leo，这也是一种智能合约编程语言，支持开发零知识证明系统，并在语法设计上突出了隐私特性。

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

相关推荐：白宫的加密货币报告对比特币（BTC）支持者而言是喜忧参半的消息。