Blockstream通过Liquid网络上的Simplicity实现比特币智能合约可编程性

CHAINTT • 22小时前 • 资讯 • 阅读 15

Blockstream在Liquid网络上推出Simplicity，实现了比特币基础设施上的智能合约可编程性。

根据 7月31日的公告，该构想最初由研究员Russell O’Connor于2017年提出。Simplicity被设计为一种全新的智能合约语言，比比特币脚本更具表现力，同时比通用平台更简洁、更安全。

通过此次发布，开发者获得了在比特币网络上构建金融应用的新途径。

公告指出，Simplicity与Solidity或Rust等语言不同，因为它不是图灵完备的。

程序描述有限函数，排除无限循环，并避免全局可变状态。这些限制是刻意为之，旨在实现静态分析，以便提前了解每个执行路径和费用成本，支持形式化验证，并倾向于可以通过实现”jets”加速的紧凑程序。

其目标是为保障真实价值的合约提供可预测的行为，而不是引入隐藏边缘案例的开放式计算。

该功能以alpha阶段登陆Liquid网络，Blockstream将其视为全面推广的务实垫脚石。

公告称，随着比特币的广泛采用，对其可编程性的需求正在上升，Liquid旨在提供一个生产环境，以交付经过审计的高保证合约。

高级语言

该公司还表示，Simplicity可以为企业控制提供契约、保险库和委托方案。因此，它支持现金结算衍生品、池化钱包等市场原语，甚至支持避免平台代币的交换逻辑。

由于原始Simplicity是刻意保持低级的，Blockstream正在推出一种类似Rust的高级语言，从Simfony更名为SimplicityHL，以便开发者可以编写可读的合约，这些合约可以编译为正式指定的核心。

此外，路线图强调，下一个主要目标是在比特币测试网络上激活，将实验保持在主网之外，同时引导生态系统朝着可验证、资源受限的智能合约方向发展。