Simplicity 是一种用于区块链智能合约的底层编程语言和机器模型，其设计目标是拥有简单的语义，以便进行形式化分析和推理。它旨在解决在表达能力和可靠性之间权衡的问题，允许开发者设计复杂的智能合约并验证其安全性、可靠性和成本。Blockstream 发布了 Simplicity 的源代码，并计划将其集成到 Elements 平台。
BTCStudy