今天,Blockstream 宣布已推出 Simplicity,这是一种为比特币的 Liquid Network 设计的新智能合约语言,具体内容在发给比特币杂志的新闻稿中披露。Simplicity 基于比特币的未花费的交易输出(UTXO)模型,使其与形式认证兼容,允许合约在执行之前进行数学证明以确保正确性。
“简洁性赋予比特币表达智能合约的能力,但没有与基于虚拟机的链相关的安全问题,”Blockstream的联合创始人兼首席执行官Adam Back博士说。“它是从基础构建而成,旨在被正式指定、安全和高效。通过简洁性,我们正在比特币上解锁广泛的创新应用案例。”
简单性避免了高风险特性,例如递归、无限循环和全局变量。这种设计旨在减少可能影响其他智能合约系统的错误和漏洞的可能性。
该语言最初由Blockstream工程师Russell O’Connor博士于2012年提出,随后由该公司的研究团队进行开发。Blockstream以其对比特币基础设施和协议升级的贡献而闻名,包括Taproot。
Simplicity支持多个用例,例如:
可编程保险库。
多用户比特币原生智能银行。
没有包装资产或全球状态的去中心化交易所。
使用签名断言的身份和声誉系统。
使用B-N签名方案的机构托管设置。
具有静态投票规则、定期付款逻辑和访问控制服务的治理和众筹。
“我们设计Simplicity是为了让比特币原
查看原文