使用新的编码语言，编写比特币智能合约将变得更加容易

比特币智能合约是要驯服的棘手难题，但是一种新的语言使它们更易于编写，从某种意义上使它们民主化。

智能合约可以（除其他事项外）允许用户在其比特币上设置额外的规则，要求在解锁资金之前必须满足这些规则。Minsc由比特币开发人员NadavIvgi创建，是一种新的编程语言，使开发人员可以更轻松地创建此类合同，以便他们可以更轻松地将其构建到比特币钱包和其他应用程序中。

Ivgi告诉CoinDesk，Minsc的目标之一是使智能合约“更容易被更多的人使用”。这意味着开发人员和用户都可以利用开发人员构建的工具。

第一级：“脚本”智能合约

智能合约最早是由NickSzabo在1990年代描述的。他提出了一种使人与人之间具有法律约束力的合同自动化的方法。

比特币上智能合约的典型例子包括，直到2021年才允许使用0.1BTC，或者要求多于一个人在一笔交易上签字才能真正动用资金。智能合约还为比特币协议的第二层提供支持，例如闪电网络，这可以帮助比特币扩展以覆盖更多用户。

到目前为止，比特币脚本是使这些合同成为可能的语言。

问题是，使用比特币脚本很难。这与开发人员习惯于使用其他更流行的编程语言不同，这使他们难以集中精力进行编写。这种缺乏了解也使得更容易犯错误，从而可能使比特币面临风险。

比特币脚本的笨拙是导致VitalikButerin首先设计以太坊平台的因素之一。Solidity是以太坊的第一种智能合约语言，旨在使开发人员更容易阅读和使用。而且它得到了回报：以太坊已经发展成为智能合约开发商的首选平台。

第二层：Miniscript

Miniscript由BlockstreamResearch的PieterWuille，AndrewPoelstra和SanketKanjalkar于2019年发布，为比特币解决了这一问题。

“我们无法充分利用Script的全部潜力的一个原因是，实际上为非平凡的任务构建脚本非常麻烦。很难验证它们的正确性和安全性，甚至更难找到最经济的书写方式。”Wuille和Poelstra在去年9月发表的介绍Miniscript的博客文章中写道。

Miniscript提供了一种比Script更易于理解的语言，并具有内置的安全性保证。

此外，如果有两种不同的方法可以在Script中编写同一份合同，则Miniscript能够评估哪种合同“更经济”。

计算机最终将Miniscript编译（或转换）为BitcoinScript，这是最终需要编写这些代码才能成功锁定具有这些额外限制的真实比特币的内容。

第三层：Minsc

Minsc是蛋糕的第三层。它建立在Miniscript之上，充分利用了其安全性，但创建的语言比Miniscript更易于开发人员阅读和思考。

Minsc的重点是可用性，并使用简单且熟悉的语法使其更易于表达，理解和推理脚本。它增加了其他便利功能和“语法糖”，”Ivgi告诉CoinDesk。

“语法糖”是一个编程术语，用于在语言中添加另一种更容易，快捷的方式来执行通常较难编写的任务。

因此Minsc不会在Script中添加任何新内容，而只是使其易于使用。

Ivgi说：“它不允许您执行Miniscript尚未完成的任何事情，类似于Miniscript本身与比特币脚本有关。”

比特币智能合约和Minsc：它们下一步将走向何方？

Minsc可使开发人员更轻松地添加对各种智能合约的支持。Ivgi补充说：“主要的目标受众是希望开发以有趣，高级的方式利用比特币脚本的应用程序的开发人员。”

如果更多的开发人员最终可以添加对这些智能合约的支持，那么更多的用户（也许甚至在不知不觉中）也将能够使用这些更复杂的合约。

“不过，最初，我预计用法主要是实验性和教育性的。Minsc对于希望加深对比特币脚本的了解的人们，以及对比特币技术方面的教育的老师来说，都是一个很好的工具。”Ivgi说。

Ivgi仍在向该语言添加其他功能。比特币的智能签约能力可能会进一步扩大，例如使用Taproot，这可能会提升比特币的发展前景。Minsc将在那里使这些合同的创建更加容易。