2017年,Blockstream着手开发一种智能合约语言,旨在超越Bitcoin Script和EVM,提供更强的表达能力和更强的安全保障。八年后,我们相信我们做到了。 介绍Simplicity。🧵
Simplicity 并不像 Solidity 或大多数现代编程语言那样是图灵完备的。相反,这种语言的设计旨在表达任何有限的函数,同时避免与无界循环和全局状态相关的风险。
简单性使开发者对他们的应用程序充满信心,让他们在执行之前了解所有潜在的结果和费用成本。 最近的Bybit黑客事件说明了包含递归和全局状态等功能的风险。
随着Simplicity的到来,我们首次拥有了一个干净的基础,用于严肃的金融应用,而不再是定义了DeFi最后一个时代的复杂性和风险拼凑。
想要构建契约、保险库和委托方案吗?现在你可以在 @Liquid_BTC 上实现。想要创建衍生品、池化钱包或无代币的去中心化交易所吗?这也可以。
在@Liquid_BTC上的简单性仅仅是个开始。通过社区反馈、实际使用以及更多的工具、文档、钱包支持和示例合约,我们下一个主要目标是在比特币测试网络上激活。 今天就开始吧。
130.9K