目录

?由adam back领军的blockstream正式推出了专为比特币设计的原生智能合约语言simplicity，为以太坊的solidity提供了全新的竞争选择。

作为比特币二层网络Liquid的缔造者，Blockstream在加密领域拥有深厚背景，其领导者Adam Back更是比特币发展史上的关键人物。此次发布的Simplicity语言，旨在为比特币生态引入更强的可编程能力。

根据该公司周四向Cointelegraph透露的消息，Simplicity将被整合进Liquid网络。此举被视为比特币（BTC）从单纯的“数字黄金”角色，迈向支持复杂去中心化金融应用的重要一步。

此外，Blockstream还同步推出了SimplicityHL——该语言的高级抽象版本，使开发者能够在更高层次上构建智能合约，提升开发效率与可读性。

据Blockstream代表透露，目前该语言“已正式开放使用”，并配套推出了基于浏览器的集成开发环境（IDE），便于开发者快速上手。

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

Simplicity与以太坊广泛使用的Solidity语言存在本质区别，这源于比特币与以太坊底层架构的根本差异。

Solidity专为以太坊虚拟机（EVM）打造，依赖于网络维护的全局状态模型。这一“状态”记录了所有账户余额与合约存储的实时快照。

而比特币采用的是UTXO（未花费交易输出）模型，不具备全网统一的状态视图。这一架构差异直接影响了Simplicity的设计逻辑。Blockstream方面指出：“摒弃对全局状态的依赖是一项关键革新。”这意味着，“合约执行所需的所有状态数据，必须由交易本身携带并明确传递。”

研究人员强调，Solidity开发者在转向Simplicity时需调整思维模式：不能再默认访问全局变量，而必须在每一步操作中显式传入所需数据。在此机制下，智能合约之间无法共享状态或共用变量，所有信息交互都必须通过交易完成。公司代表解释称：

同时，Simplicity不支持递归和无限循环结构。Blockstream认为，这类功能在区块链环境中并非必要，反而可能引入不可预测的风险。

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

Simplicity的发布，标志着专用型智能合约语言生态的进一步扩展。

2022年问世的Noir语言，专注于零知识证明（ZK-proof）的编写与验证，已在2023年被主打隐私保护的以太坊二层网络Aztec采纳为官方开发语言。

如今，Noir已成为面向隐私优先型应用的重要工具，其架构深度集成了零知识密码学特性。

另一个代表性语言是Leo，同样专注于构建零知识证明系统，语法设计充分体现了对隐私保护的支持。

此外，以太坊生态中的Vyper语言也值得一提。它兼容EVM，但设计上更注重安全性与简洁性，致力于减少潜在攻击面。目前已被多个主流去中心化金融（DeFi）项目采用。