Pieter Wuille推出'Miniscript'，一种新的比特币智能合约语言

 
由于着名程序员Pieter Wuille推出了专门为其使用而设计的新编码语言，智能合约可能很快得到比特币的推动。
星期一发布到比特币开发者邮件列表，’Miniscript’语言旨在使程序员更容易写出“智能合约”或花费比特币的条件。 Wuille表示，程序员Wuille，Andrew Poelstra和Sanket Sanjalkar已经为该代码工作了大约一年。
虽然它已经在幕后分享，但是他说他现在将它发布到电子邮件列表中，因为它现在已经达到了“我希望得到更多关注的阶段”。
稍微补充一下，“脚本”是比特币中的智能契约语言，它允许用户指定在比特币可用之前需要满足的某些条件。比如说，资金被锁定，直到它们被用完之前的某个时间。或者，两个人需要在移动资金之前签署交易，这个概念称为“多重签名”。
当涉及到数字货币时，这种可编程性是新颖的，因为在比特币之前，如果不信任银行或中间的类似中介，就不可能实施这样的规则。
另一方面，“Miniscript”建立在这种编程语言之上，并以多种方式改进它。一个是它更容易看和理由，因为Wuille用一个例子说“允许A随时拿走硬币，并且在[一天]之后接受B”。
这就是比特币脚本中这些规则的实现方式：
OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF
然后，在Minscript中同样的事情：
or_d(C：PK(A)，and_v(VC：pk_h(B)，老年(144)))
Miniscript建立在Script之上，能够“编译”为比特币的母语。
这种新语言得到了社区开发者的掌声。例如，Blockstream闪电工程师Rusty Russell在Twitter上写道：“这将是其中之一，’在这之前我们怎么做?”技术。 Unsexy，至关重要。“
正如Eric Lombrozo发推文的那样，有许多潜在的用例，比如在钱包中更容易实现这些复杂的脚本。或者，正如比特币教育家Jimmy Song所描述的那样，它甚至可以用于支撑闪电网络。
在更广泛的区块链语言环境中思考它，Song评论说智能契约语言与以太坊的Solidity语言不同，因为虽然以太坊可以编写更多类型的智能契约，但Miniscript实际上减少了可能性。
Song认为这更好，因为它减少了“复杂性”和“攻击面”。
这个版本中包含两个工作实现，在编程语言C ++和Rust中，Wuille称之为“正在进行的工作”，并补充说：
“通过大规模随机测试，我们相信语言设计和相关证人与现有的共识和标准规则相符。”