Blockstream在Liquid网络上推出Simplicity,实现比特币基础设施的智能合约可编程化
根据最新公告,这项技术最初由研究员Russell O'Connor于2017年提出。Simplicity被设计为一种全新的智能合约语言,其表达能力优于比特币脚本(Bitcoin Script),同时比通用平台更严谨、更安全。此次发布为开发者提供了在比特币生态中构建金融应用的新途径。
技术特性与优势
公告指出,Simplicity与Solidity或Rust等语言存在本质区别——它并非图灵完备。该语言的程序描述有限功能,排除了无限循环,并避免全局可变状态。这些约束设计旨在实现静态分析,使每条执行路径和费用成本均可预先计算,支持形式化验证,并有利于通过"jets"实现加速的紧凑型程序开发。其核心目标是确保价值合约的可预测性,而非引入潜在风险的开放式计算。
发展阶段与定位
当前Simplicity以测试版形式登陆Liquid网络,开发者将其定位为全面推广前的实践性过渡方案。公告强调,随着比特币采用率的提升,市场对其可编程性需求日益增长,而Liquid致力于提供可部署经审计、高可靠性合约的生产环境。
应用场景展望
官方表示,该技术可支持企业级管控场景下的契约协议、资产库及授权方案。基于此,可实现现金结算衍生品、联合钱包等市场基础功能,甚至能开发无需平台代币的交易所逻辑。考虑到原生Simplicity语言较为底层,官方同步推出了名为SimplicityHL(原Simfony)的类Rust高级语言,使开发者能够编写可读性合约并编译至形式化规范的核心层。
未来规划
根据路线图,下一阶段主要目标是在比特币测试网上激活该功能,在保持主网纯净的同时,推动生态系统向可验证、资源受限的智能合约方向发展。