Blockstream推出Simplicity：比特币Liquid网络的智能合约语言

Blockstream已在Liquid网络上推出Simplicity，这是一种为形式化验证和安全性设计的智能合约语言。该语言不是图灵完备的，允许开发者构建可靠的金融应用，同时避免常见漏洞。此次发布包括一种更高级的语言SimplicityHL，以提高开发者的可访问性。初期重点是创建可靠的合约，如保险库和去中心化交易所，并计划在比特币测试网络上进行进一步测试。