扫码下载 APP
qrCode
更多下载方式
今天不再提醒

今天,Blockstream 宣布已推出 Simplicity,这是一种为比特币的 Liquid Network 设计的新智能合约语言,具体内容在发给比特币杂志的新闻稿中披露。Simplicity 基于比特币的未花费的交易输出(UTXO)模型,使其与形式认证兼容,允许合约在执行之前进行数学证明以确保正确性。



“简洁性赋予比特币表达智能合约的能力,但没有与基于虚拟机的链相关的安全问题,”Blockstream的联合创始人兼首席执行官Adam Back博士说。“它是从基础构建而成,旨在被正式指定、安全和高效。通过简洁性,我们正在比特币上解锁广泛的创新应用案例。”

简单性避免了高风险特性,例如递归、无限循环和全局变量。这种设计旨在减少可能影响其他智能合约系统的错误和漏洞的可能性。

该语言最初由Blockstream工程师Russell O’Connor博士于2012年提出,随后由该公司的研究团队进行开发。Blockstream以其对比特币基础设施和协议升级的贡献而闻名,包括Taproot。

Simplicity支持多个用例,例如:

可编程保险库。
多用户比特币原生智能银行。
没有包装资产或全球状态的去中心化交易所。
使用签名断言的身份和声誉系统。
使用B-N签名方案的机构托管设置。
具有静态投票规则、定期付款逻辑和访问控制服务的治理和众筹。
“我们设计Simplicity是为了让比特币原生应用更加灵活,而不必承受其他智能合约生态系统的复杂性和脆弱性,”Blockstream的研究总监Andrew Poelstra表示。“通过将形式化方法与未花费的交易输出(UTXO)模型相结合,我们正在为比特币上安全、可编程的金融奠定基础,开发者和金融机构等实体都可以依赖这一基础。”

Liquid Network 目前在锁定总价值上超过 32.7 亿美元(TVL),主要是比特币和发行的资产。Simplicity 在这个环境中的集成旨在为希望在比特币生态系统内构建应用程序的组织提供新工具。
#bitcoin
#btc
#CandyDrop Airdrop Event 6.0
#Join Alpha RION Airdrop to Earn $40
#White House Crypto Report
BTC-0.88%
查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)