Blockstream新推出的Simplicity语言为比特币的Liquid Network带来了正式可验证的合同，为机构提供了他们可以信任的新逻辑。通过锚定比特币的UTXO模型，它回避了困扰国家系统的脆弱性。
总结- Blockstream推出了Simplicity，这是比特币Liquid Network的一种新智能合约语言，强调形式验证和安全性。
- 与以太坊的全球状态模型不同，Simplicity使用比特币的UTXO结构来通过设计避免可重入性和基于状态的漏洞。
- 该语言旨在解锁比特币原生用例，例如可编程金库、无状态DEC和无需第三方桥梁的机构托管。
在7月31日的新闻稿中，区块链基础设施公司Blockstream宣布在Liquid Network上生产部署Simplicity智能合约语言，Liquid Network是其联合比特币侧链，其锁定总价值超过32亿美元。
此次发布达到了Blockstream数学家Russell O ' Connor博士从最初概念开始的十二年研究的高潮，核心开发由比特币Taproot升级背后的同一个团队领导。
与以太坊风格的智能合约不同，Simplicity合约在执行之前是数学上可验证的，故意省略了容易被利用的功能，并倾向于形式验证而不是灵活性。Blockstream表示，该版本还包括SimplicityHL的路线图，SimplicityHL是一个旨在扩大开发人员访问权限的更高级别抽象层。
Simplicity如何重塑比特币合约
虽然以太坊及其同行依赖于将整个网络暴露于潜在故障的全局状态模型，但Simplicity强制执行比特币原生方法：合约必须是自包含的，所有必要的数据都显式地传递到每个交易中。这通过设计而不是通过补丁消除了整个类别的漏洞，从可重入攻击到国家腐败。
这对机构采用的影响是重大的。由于现有智能合同系统不可预测的故障模式，金融公司长期以来一直对大规模部署区块链解决方案犹豫不决。简单性通过引入形式验证改变了这种演算，这种方法可以在执行之前通过数学证明合同是正确的。
这对于资产代币化等高风险应用尤其重要，其中一个错误可能会引发监管审查或财务损失。
Blockstream研究总监Andrew Poelstra表示：“我们设计Simplicity是为了支持富有表现力的比特币原生应用程序，而不会继承其他智能合约生态系统的复杂性和脆弱性。”“通过将正式方法与UTXO模型相结合，我们正在为比特币上的安全、可编程金融创建一个基础，开发人员和金融机构等实体都可以依赖该基础。”
Blockstream概述的初始用例反映了对可靠性的关注。具有定时提款的可编程金库可以为机构提供可执行的合规控制，而无国籍去中心化交易所最终可能会为当今全球国家平台提供一种监管友好的替代方案。
也许最引人注目的是比特币原生托管解决方案的潜力，提供不需要包装资产或信任第三方桥梁的阈值签名方案。
展望未来，Blockstream计划通过SimplicityHL扩展Simplicity的可访问性，SimplicityHL是一个更高级的抽象层，将缩短习惯于更宽松语言的开发人员的学习曲线。
