最近，Blockstream 的几位研究人员宣布了 Miniscript，该语言专注于智能合约的阐明和可组合性，而不是抽象底层系统。思量到比特币合约往往缺乏抽象的巨大性，这好像是正确的阶梯。
下面包括 CashScript 版本的 Last Will，可是原始版本是由 Spedn 编写的，可以在此处举办查察。
智能合约是什么？用某种或某些条件抉择资产的利用就相当于执行合约，而当合约可完全通过代码无需信任地自动执行，就行成了智能合约。本文作者 Rosco Kalis 系资深技能人员，CashScript 发现者。
要相识比特币现金智能合约的大概性，我们需要查察其半年两次的网络进级。自 2017 年最初的硬分叉以来，每年 5 月和 11 月都将执行这些网络进级。我们出格接头了比拟特币剧本引擎的变动，尽量已举办了其他一些改造，譬喻 Schnorr 签名。
知道担保条约在技能层面上是如何事情的，这很不错，可是 CashScript 已经抽象出了与契约有关的大大都巨大性。利用 CashScript 编写智能合约时，这些字段很容易得到，而无需执行手动验证息争码 Sighash 原图的步调。
编写智能合约
图：P2SH 模式
以太坊是迄今为止最大的智能合约平台，其智能合约利用以太坊虚拟机（EVM）实现，这是一个图灵完备的虚拟机。这意味着只要有足够的资源，EVM 就可以计较任何对象。从观念上讲，这与很多其他通用平台（譬喻 Java 虚拟机 JVM）相似，该平台用于执行 Java 措施。
编写智能合约通过毗连到以太坊节点并利用其 JSON-RPC 接口，可以直接会见所有智能合约。可是，很多智能合约却是通过毗连到节点并打点 ABI 的前端应用措施会见的。这可以通过浩瀚差异的以太坊 SDK（譬喻 web3.js 或 ethers.js）之一来完成，它们可以在靠山挪用 JSON-RPC。这为合约用户提供了更好的体验，相当于最坚苦的部门被形象化了。
上文一方面是以太坊，它可以或许建设很多成果强大且有用的智能合约，这些合约完全存在于以太坊链上，同时，由于其有状态（Stateful）的性质，它还提出了扩展性问题。另一方面，比特币的智能合约无状态（Stateless）模子答允对智能合约生意业务举办独立，简朴的验证，可是其剧本系统限制了条约的实用性。
智能合约间互操纵
尽量这些高级语言在比特币中不太重要，但它们确实存在。Ivy 是比特币中「最精美」的高级语言，该语言由 Dan Robinson 于 2017 年建设。下图给出了一个用 Ivy 编写的智能合约示例。假如吸收者未实时利用该条约，则该合约可用于发送可以由发送者收回的金钱。
图：基于仓库的计较
查察「最后的遗嘱」合约，当条约到位时变动担任者大概很有代价。由于我们可以通过查察当前合约的字节码来强制发送到当前合约，因此我们可以通过稍微变动此字节码来强制发送到稍微差异的合约。可以建设了一个函数，该函数将整个条约的余额发送到具有完全沟通的字节码但具有差异的担任者的合约。
尽量智能合约可以互相交互，可是链上的每个生意业务都必需来自外部帐户。因此，以太坊智能合约间的交互仍然必需由用户通过初始生意业务来触发。在此初始触发之后，合约间的交互雷同于直接会见。
预言机（Oracles）
通过利用该技能，可以在保存合约沟通法则的同时变动合约中的某些变量。我们将其称为「模仿状态」，因为它提供了合约状态的某些长处，而且不存在像以太坊那样有状态（Stateful）的系统的可拓展性问题。由于必需在某处举办衡量，因此此要领尚有其他缺点。
担保条约最初是在题为《Bitcoin Covenants》的论文中提出的，该论文需要一个新的操纵码 OP_CHECKOUTPUTVERIFY。随后提出了其他发起，譬喻 OP_CHECKTEMPLATEVERIFY 或 OP_CHECKSIGFROMSTACK。后者与比特币现金的盟约实施很是相似。可在 Tendo Pein 的文章中进修到担保条约的更多信息。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
