编写智能合约

虽然以太坊有多种高级语言可以编译为 EVM 字节码，但比特币对此的关注较少。尽管可以用比特币脚本构建的系统很复杂，但是合约本身通常很简单。因此，几乎没有必要抽象出底层系统。而且由于比特币合约有大小限制且每增加一个字节的高昂成本，因此保证合约「尽可能小」很重要。

尽管这些高级语言在比特币中不太重要，但它们确实存在。Ivy 是比特币中「最精致」的高级语言，该语言由 Dan Robinson 于 2017 年创建。下图给出了一个用 Ivy 编写的智能合约示例。如果接收者未及时使用该合同，则该合约可用于发送可以由发送者收回的款项。

最近，Blockstream 的几位研究人员发布了 Miniscript，该语言专注于智能合约的分析和可组合性，而不是抽象底层系统。考虑到比特币合约往往缺乏抽象的复杂性，这似乎是正确的道路。

—-

编译者/作者：区块链高级工程师

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。