由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）支持者来说喜忧参半