比特币为世界带给了首个智能合约研发语言——Script，其需要让有所不同的加密货币在有所不同的编程环境下被用于。然而这一概念在极具颠覆性的同时，用于一起却有一定可玩性，特别是在更为简单的花费环境下。无论是撰写更为简单的智能合约，还是检验合约否准确运营其职能，都很更容易经常出现人为错误，在关系到资产安全性的情况下，对于脚本程序运行条件正确性的检验显得尤为重要.在过去的一年中，区块链工程师Andrew Poelstra, Pieter Wuille（比特币核心开发人员、同时也是隔绝亲眼机制SegWit创建者）和Sanket Kanjalkar开始著手改良这一点。

通过将Script语言合并修改，保有其最基本的要素和功能，优化出有了新的编程语言——Miniscript——增加了原编程语言的复杂性，让所有展开比特币编程的人们取得更加安全性、便利的体验。从理论上来讲Miniscript比起Script有了更加多的具体的用于条件和容许，但实质上人们可以用它已完成任何Script足以做到的事情。Blockstream研发主管以及Miniscript牵头设计者Andrew Poelstra回应。SCRIPT我们首先来非常简单理解一下Script语言。

每一笔比特币交易都包括两个主要部分：输出和输入，二者都有自己的代码，输出“关卡”了代币，而输入将代币再度“锁”，并规定了下一次被关卡再度展开交易输出的条件，在这些条件中一般来说还包括一个有效地的加密亲笔签名，更好的有可能条件例如：该比特币必需经过一定的时间后，或必需所含类似的密码才能被用于或花费。交易中的这段代码就是用Script创立的，Script是专门为比特币设计的编程语言。其启发来自于Forth，一种20世纪60年代发明者的编程语言，最初设计用来操作者射电望远镜。

不过，Script在经过调整之后更为与众不同比特币。例如，Script中没使“循环”的操作码：该语言不反对无限次继续执行完全相同的计算出来。

因为在比特币中，没适当无限次地继续执行完全相同的计算出来，因为比特币的节点们实质上并不通过计算出来展开交易——而是检验交易。关于为什么不会经常出现这种情况，Blockstream工程师罗素·奥康纳在三年前就公布了文章:对比特币和以太坊的脚本语言和理念展开较为，其中展开了更为详尽的说明。同时Script并没被“类化”，这意味著计算出来的结果可以以有所不同的方式被注解和用于，荐个很非常简单的例子，一个有效地亲笔签名的结果有可能是“true”,而“true”可以被注解转化成相等数字“1”进而用作数学程式中，true=1，而true+true则可以被看作1+1=2，意味著如果交易最多必须两个有效地亲笔签名展开检验，则其符合了这个条件。

这只不过为我们引进了Script语言中最重要的一个属性——“无法推理小说” 这基本意味著Script的计算结果需要以多种方式被注解转化成，即使一个亲笔签名是违宪的，在Script中其仍可以出于某些原因将其撰写为有效地。在Bitcoin Script中的确有一些运算码在运营时闹荒唐事，例如，将一个亲笔签名说明为真为/假值，在此之后将该布尔值转化成为数字（例如1/0）后编为堆栈索引中，再行根据这一数值将堆栈重新排列，然而在实际运营过程中其明确规则是十分荒谬荒谬的，Poelstra说明道。这样一来在通过Script处置一些问题时会很棘手，特别是在是在花费代币的拒绝显得更为简单时，一笔交易的发起者的代码中可能会无意中包括了容许代币在其他条件下被用于的信息，反过来也就是说，交易的收款方有可能因为没注意到这样的“漏洞”而被找到这样信息的攻击者反击受到损失。

总结来说，当前Bitcoin Script的仅次于问题是在对更为简单的程序展开检验时较为艰难。问题的明确举例关于以上的问题如何容许了Script的实用性，下面我们荐一个明确一些的例子。

Blockstream Green Wallet钱包有一个标准的“联合亲笔签名”设置，钱包用户掌控 2 个密钥中的一个，Blockstream掌控另一个，这样一来钱包中的数字资产需要通过两种方式被用于。用户想用于资产：用户签订了该笔交易并催促Blockstream悉数签订，一般来说Blockstream都会通过继续执行（经过邮箱或短信验证码二次证实后）；但有可能再次发生的一种情况是：Blockstream这一端经常出现了问题——如公司跑路或者遗失了密钥，或出于其他原因无法签订。在这样的情况下，用户必须用于一个可用方案来已完成这笔交易：如在瞄准时间过后，用户可以在预计时间过后已完成该笔交易。

这样的解决方案或许不切实际，但仍不会受到限制，比如用户将无法再行用于任何其他比特币的潜在智能合约，或在其终端减少更加多灵活性可拓展的设置。现在Green有一个限于于所有客户的以备脚本，基本上就是一个非常简单的多重亲笔签名，但是我们并不确实介意脚本谈了什么，我们介意的是，在规定时间内，交易代币否有可能在不必须我们亲笔签名的情况下被交易？如果用户明确提出一些与常人有所不同的拒绝，但只要应以这些拒绝是我们关心和介意的，我们就应当符合和反对。荐个例子，一些用户防止有什么车祸再次发生，期望让他的另一半或家人在一年后需要承继用于这笔资产；或以用户是一家公司为事例，其期望创立一个用于机制，例如必须三分之二或更加多的董事会成员权限才能联合用于资产。当然从技术上来讲，在比特币脚本语言中以上的情况都是可以被构建的，但这将必须用户设计一个自定义程序，而Blockstream（资产托管地方）也必须保证参予其中。

这样就过于简单了，“如果用户给定获取给我们一个脚本语言，我们完全无法确认其否符合了我们所关心介意的那个运营条件，因为所有脚本不道德的人组非常复杂，荐个例子，假如用户获取的一个脚本程序看起来必须一个亲笔签名展开证书，但我们还必须考虑到，如果用户获取了一个non-signiture不会再次发生什么情况？其否不会启动时其他条件使资产需要被调用？等等。”Poelstra说明道。Miniscript在过去的一年中，Poelstra、Blockstream 核心技术工程师Pieter Wuille和Sanket Kanjalkar设计了Miniscript，Miniscript官方并不归属于Blockstream的产品。简而言之，Miniscript是一个“删改版”的Script：从Script工具包Script toolkit中统合自由选择了更为易懂和更容易被检验的工具，而除去极少数基本无人用于的工具外，完全所有Script能干的事Miniscript也能干。

本质上来讲，一行Miniscript的代码仍可以看做相等一行有效地Script代码，只不过Miniscript通过避免代码经常出现意料之外结果而尽量的增加Bug的经常出现。就拿我们上面提及过的问题来说，用户可以利用Miniscript更为更容易地设计出有一个便于Blockstream检验其否符合运营条件的设置，详尽来讲，Blockstream需要更为明晰地明白用户资产的被用于条件，如，要么亲笔签名通过，要么时间到了，不管用户在其自定义程序末端还夹杂着了任何其他附加条件，如额外的时间拒绝、多重亲笔签名等，说白了，用于了Miniscript，在Blockstream末端来看可以免职那些花里胡哨的，有可能影响检验条件或偷换概念的东西，更加干净利落。Miniscript语言十分必要且可预测，其程序总能导向一个决策树，将程序很确切的呈现出出来，就像图像编码，更容易推理小说。

本文来源：JN江南-www.pittsburghpass.com