卡尔达诺展示了用于智能合约的EUTXO模型

负责开发Cardano（ADA）的公司Input Output Hong Kong（IOHK）最近发布了形式化的正式协议，该协议将在Cardano的下一个开发阶段（Goguen）中实施智能合约。卡尔达诺目前处于第二阶段，雪莱。 Shelley提供了放样功能，旨在为网络分散化打下基础。

第三阶段，Goguen，将增加基于Cardano开发智能合约和去中心化应用程序（dApps）的能力。新论文的发布是Cardano智能合约语言Plutus使用的模型的形式化，该模型自2018年12月起在测试平台上可用。

卡尔达诺混合使用比特币和以太坊的分类账模型

两种领先的加密货币比特币和以太坊使用两种不同的分类账模型，分别称为UTXO模型（Bitcoin）和账户模型（以太坊）。正如IOHK在论文中写道，这两种模式都具有特定的优势，这就是为什么Cardano会同时使用这两种模式。

原则上，以太坊的账户模型更适合于启用智能合约。另一方面，比特币的UTXO是一种语义模型，在复杂的分布式环境中保持简单，所需资源更少。因此，IOHK设计了扩展UTXO（EUTXO）模型，它是比特币UTXO模型的扩展。

对于比特币，每笔交易都基于输出和输入的概念，即某些BTC数量的表示。对于交易，选择各种输入形式的比特币并将其形成输出。因此，比特币的输出不是单个数据字节。取而代之的是，该算法会提取多个比特币，以满足输出要求。例如，来自BTC的交易（输出）可以采用3个输入（0.3 BTC，0.3 BTC和0.4 BTC）的形式。更改将发送到UTXO数据库。

卡尔达诺的研究人员解释说，尽管该模型“与区块链的并发和分布式特性很好地结合在一起”，但是它在可编程性上有严格的限制，这使得它对于大多数智能合约都不切实际。相比之下，以太坊基于账户的分类账允许进行复杂的计算，但必须引入“共同状态”，即对所有交易和合同的集体记忆。该文件指出：

然而，由于val-idator概念所实现的可编程性有限，通常对UTXO模型（尤其是比特币）进行了批评。尤其是，以太坊基于账户的分类账和相关的合同账户概念是由克服这些限制的愿望所驱动的。

不幸的是，它是通过引入共享可变状态的概念来实现的，这使合同代码的语义大大复杂化。特别是，合同作者需要了解引入安全问题的这种语义风险的微妙之处。

这就是卡尔达诺的EUTXO模型更好的原因

卡尔达诺的EUTXO模型可以在几笔交易中执行智能合约。每个交易输出将具有一个数据字段，该数据字段可以包含与特定智能合约相关的任何信息：

第一个变化是，我们允许事务输出携带带有验证器的数据值，该数据在验证期间作为附加参数传入。这允许合同携带某种状态（数据），而无需更改其“代码”（验证器）。我们将使用它来承载状态机的状态。

此外，该系统确保给定的输出链使用相同的合同代码-一种称为合同连续性的概念：

6 Chakravarty等人。第二个变化是验证器收到一些有关正在验证的交易的信息。此信息作为typeTxInfo的附加参数传入。附加信息使验证者可以比裸UTXO模型强制执行更强的条件-特别是，它可以检查当前交易的输出，这对于确保合同的连续性至关重要。

第三个变化是，IOHK通过“为交易增加有效期”“将允许一些时间”。

尽管目前正在并行开发Shelley和Goguen，但对于这两个阶段，尚不清楚何时转移到Mainnet。最近，查尔斯·霍斯金森（Charles Hoskinson）表示，雪莱（Shelley）应该在2020年第一季度完成。根据卡尔达诺的路线图，戈根（Goguen）也应该在2020年完成。但是，由于卡尔达诺过去遇到的延误，发行日期仍然不确定。

在Facebook和Twitter上关注我们，不要再错过任何热门新闻！您喜欢我们的价格指数吗？

上次更新时间：2020年1月29日

—-

原文链接：https://www.crypto-news-flash.com/cardano-presents-eutxo-model-for-smart-contracts/?utm_source=rss&utm_medium=rss&utm_campaign=cardano-presents-eutxo-model-for-smart-contracts

原文作者：Jake Simmons

编译者/作者：wanbizu AI

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