分享这篇文章
Adam Back 的 Blockstream 发布基于比特币动力和 Liquid 网络的智能合约
Blockstream由比特币早期贡献者Adam Back联合创立，推出了Simplicity，以解决比特币作为智能合约平台的局限性
在Google上设置我们为首选
需要了解的:
- Simplicity 现已在 Liquid 网络上线，标志着迈向比特币高级智能合约的重要一步。
- 由 Blockstream 开发，该语言强调形式化验证和安全性。
- 它推动了始于 BitVM 的运动，旨在在不损害比特币极简设计的前提下，将丰富的可编程性引入比特币。
比特币开发公司 Blockstream 推出了名为 “Simplicity” 的智能合约编程语言，该语言基于二层网络 Liquid 构建。
Blockstream由密码学家及比特币早期贡献者Adam Back博士共同创立，推出了Simplicity，旨在解决比特币作为智能合约平台的局限性。
故事继续
比特币的简洁性赋予了其强大的智能合约表达能力，但不会带来基于虚拟机链所存在的安全问题，"Back在周四通过电子邮件发布的公告中表示。"它从头开始构建，具有形式化规范、安全且高效的特点。
近年来，比特币原生可编程性的推动力度不断加大，尤其是自 2023年BitVM的引入，一个探索如何在不改变比特币基础协议的前提下，验证复杂计算的框架。
Simplicity 的起源实际上早于 BitVM，由 Blockstream 研究员 Russell O'Connor 博士于 2012 年构想。其设计旨在实现智能合约，摒弃部分 诸如无限循环 可能导致以太坊等网络上的漏洞和利用风险。
相反，Simplicity 采用了比特币的 UTXO 模型，其代币的功能类似于数字现金，用户通过花费特定的币来进行交易，而非更新账户余额。
Simplicity 现已在 Liquid Network 上线，Liquid Network 是一个比特币的二层网络，拥有 超过30亿美元 在总锁定价值（TVL）中的作用，使开发者能够构建许多在支持智能合约的区块链上常见的应用程序，如可编程金库、去中心化交易所、托管服务和治理协议，并以比特币作为结算层。
