Blockstream 发布比特币原生智能合约语言 Simplicity：Solidity 的新选择？

由 Adam Back 领导的 Blockstream 近日正式发布了比特币原生智能合约编程语言 Simplicity，这无疑为开发者们提供了一个以太坊 Solidity 之外的全新选择。

Blockstream 作为比特币二层网络 Liquid 的开发商，一直走在技术前沿。此次推出的 Simplicity 智能合约将集成到 Liquid 网络中，这被视为比特币从单纯的安全价值存储向可编程去中心化金融基础迈出的重要一步。

为了方便开发者使用，Blockstream 还发布了 SimplicityHL，这是 Simplicity 语言的高级抽象实现，让开发者可以更轻松地进行开发。目前，该版本语言已经可用，并提供网页端集成开发环境。

底层架构差异决定设计思路

Simplicity 与以太坊 Solidity 语言最大的不同，在于它们所服务的底层架构不同。Solidity 是为以太坊虚拟机（EVM）量身定制的，而以太坊采用的是“状态”机制，即全网在某个区块下所有账户余额和存储数据的共识快照。

比特币则采用未花费交易输出（UTXO）机制，这导致 Simplicity 在智能合约的运行逻辑上与 Solidity 有很大差异。Blockstream 的代表指出，“不依赖全局状态是一次重大转变”，这意味着“每一份合约需要的状态信息都必须随交易传递”。

这意味着 Solidity 开发者需要改变依赖全局变量的开发习惯，转而在每个步骤都明确提供所需信息。在这种体系下，两个智能合约无法共享状态或引用同一变量，所有数据都必须在交易中明确传递。

Blockstream 认为，这种设计可以带来更安全的合约设计和更清晰的边界：“即便出现问题，受影响的只是你的合约在交易图中的特定部分。这与全局状态的思路很不同，但最终会让合约设计更安全、边界更清晰。”

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

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

Simplicity 的出现，进一步壮大了专用智能合约编程语言的队伍。

例如，2022 年发布的 Noir 编程语言，专门用于编写和验证零知识证明（ZK-proof），并被即将上线的以隐私为核心的以太坊二层网络 Aztec 开发者采用。Noir 的架构与零知识证明深度融合，使其成为隐私保护型应用的理想选择。

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

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

这些专用智能合约编程语言的出现，反映了区块链技术发展的趋势：针对特定应用场景，选择最合适的工具，才能更好地发挥技术的潜力。