Christian Lewe 在 Advancing Bitcoin 2023 大会上介绍了 Simplicity，这是一种新的区块链编程语言，它吸取了 Miniscript 的优点，并具备任意计算和形式化验证能力，旨在解决 Bitcoin Script 的复杂性问题，并支持通用签名哈希模式、零知识证明验证器以及定制化的密码学，最终目标是集成到比特币和 Liquid 网络中。
本文探讨了矿工可提取价值（MEV）在比特币中的潜在风险，分析了透明交易池、智能合约和智能合约表达能力如何催生 MEV。文章还讨论了在比特币中引入可编程货币的几种方案，包括链下合约、限制条款和Simplicity语言，并评估了它们在增加表达能力的同时可能带来的MEV风险，强调了在增强比特币智能合约功能时，应优先考虑安全性及去中心化原则。
Simplicity 是一种用于区块链智能合约的底层编程语言和机器模型，其设计目标是拥有简单的语义，以便进行形式化分析和推理。它旨在解决在表达能力和可靠性之间权衡的问题，允许开发者设计复杂的智能合约并验证其安全性、可靠性和成本。Blockstream 发布了 Simplicity 的源代码，并计划将其集成到 Elements 平台。
本文介绍了Miniscript和Simplicity两种树形结构的编程语言，它们可以用于比特币脚本的编写和分析。
比特币内核的安全模式依赖于这种基本的博弈理论 —— 矿工会拿着自己的电子镐子、无情地追逐利润；并且，正是这种追逐让网络安全。标准的挖矿作业需要生产区块来赚取区块奖励和交易手续费，但你是否想象过矿工可能有别的办法来从区块链中抽取价值？区块链上是否有别的获利机会，是矿工可以凭借自身的优势地位来利用的？
BTCStudy