Blockstream新推出的Simplicity语言将形式化验证的合约带到了比特币的 liquid 网络，为机构提供了一种他们可以信任的新逻辑。通过锚定比特币的UTXO模型，它绕过了基于状态的系统的脆弱性。

摘要

Blockstream 已经推出了 Simplicity，这是一种用于 Bitcoin’s Liquid Network 的新智能合约语言，强调形式验证和安全性。

与以太坊的全局状态模型不同，Simplicity通过设计使用比特币的UTXO结构来避免重入和状态相关的漏洞。

该语言旨在解锁比特币原生用例，例如可编程保险库、无状态去中心化交易所以及无需第三方桥接的机构托管。

在一份7月31日发布的新闻稿中，区块链基础设施公司Blockstream宣布在其联邦比特币侧链Liquid Network上生产部署了Simplicity智能合约语言，该侧链托管了超过32亿美元的总锁定价值。

该发布标志着十二年研究的高潮，这些研究可以追溯到Blockstream数学家Russell O’Connor博士的初步概念，核心开发由负责比特币Taproot升级的同一团队领导。

与以太坊风格的智能合约不同，Simplicity合约在执行前可通过数学方法验证，故意省略容易被利用的功能，并优先考虑正式验证而非灵活性。Blockstream表示，此次发布还包括SimplicityHL的路线图，这是一层更高层次的抽象层，旨在扩大开发者访问权限。

你可能还喜欢：

数据显示，TRON成为Tether的USDT的主要结算层

如何通过Simplicity重新定义比特币合约

当以太坊及其同类依赖于全局状态模型，使整个网络暴露于潜在故障中时，Simplicity 强制采用比特币原生的方法：合约必须自包含，所有必要的数据必须在每次交易中明确传递。通过设计而不是补丁，这种做法消除了从重入攻击到状态损坏的整个类别的漏洞。

机构采用的 implications 是重大的。由于现有智能合约系统的不可预测故障模式，金融公司长期以来一直犹豫于大规模部署区块链解决方案。Simplicity 通过引入形式验证改变了这一计算方式，形式验证是一种在执行之前可以数学上证明合同正确的 方法。

这在像资产代币化这样的高风险应用中尤为重要，因为一个简单的错误都可能导致监管审查或财务损失。

“我们设计了Simplicity，旨在使表达性的比特币原生应用程序在不继承其他智能合约生态系统复杂性和脆弱性的情况下成为可能，” Blockstream的研究总监Andrew Poelstra说。“通过将形式化方法与UTXO模型结合，我们正在为比特币上的安全、可编程金融建立一个基础，这不仅对开发人员，而且对金融机构等实体来说都是可以依赖的。”

Blockstream 所概述的初始使用案例反映了对可靠性的关注。具有时间锁定取款的可编程保险库可以为机构提供可执行的合规控制，而无状态的去中心化交易所可能最终提供一个比当今全球状态平台更符合监管要求的替代方案。

也许最令人信服的是比特币原生托管解决方案的潜力，提供不需要包装资产或信任第三方桥梁的阈值签名方案。

展望未来，Blockstream 计划通过 SimplicityHL 扩展 Simplicity 的可访问性，SimplicityHL 是一个更高级别的抽象层，它将为习惯于更宽松语言的开发人员减少学习曲线。