Blockstream推出比特币专用智能合约语言Simplicity
由比特币密码朋克亚当·贝克领导的Blockstream公司近日发布了专为比特币设计的新型智能合约语言Simplicity。该公司开发的比特币二层协议Liquid将集成该技术,此举标志着比特币从价值存储工具向去中心化金融可编程基础迈出了重要一步。
架构差异催生新型语言
Simplicity与以太坊Solidity语言存在本质区别,这源于两条区块链底层架构的差异。比特币采用未花费交易输出(UTXO)模型,而以太坊则采用全网状态机制。Blockstream代表指出:"不依赖全局状态的思维方式是重大转变",合约所需的每个状态都必须随交易传递,两个智能合约既不能共享状态也不能引用相同变量。
该公司研究员表示,Solidity开发者需要改变从全局变量读取数据的习惯,转为在每个步骤中提供全部必要信息。虽然这种设计限制了递归和无界循环的使用,但Blockstream强调这类特性在链上逻辑中并非必需,反而能带来安全性提升:"即使出现错误,也只会影响交易图谱中合约的特定部分,这种设计理念最终会产出更安全、更独立的合约。"
领域专用语言的兴起
Simplicity的推出延续了智能合约领域专用语言的发展趋势。2022年发布的零知识证明(ZK-proof)编程语言Noir,已被隐私优先的以太坊二层解决方案Aztec采用;类似案例还有兼顾ZK-proof系统构建与隐私保护的Leo语言;而以太坊的Vyper语言则通过精简特性来减小攻击面,目前已被多个主流DeFi协议采用。
这些专用语言的出现,正推动区块链技术向更垂直、更安全的方向演进。随着Simplicity在比特币生态的落地,开发者将获得更符合UTXO模型的开发工具,为比特币DeFi生态建设提供新动力。