负责开发Cardano(ADA)的公司Input Output Hong Kong(IOHK)最近发布了一份正式协议，将在Cardano的下一个开发阶段(Goguen)实施智能合约。卡尔达诺目前正处于雪莱的第二阶段。Shelley提供放样功能，旨在为网络去**化奠定基础。
第三阶段，Goguen，将增加基于Cardano开发智能合约和去**化应用(dApps)的能力。新论文的发布是Cardano智能合同语言普路托斯使用的模型的形式化，该模型自2018年12卡尔达诺展示了用于智能合约的模型月起在测试平台上可用。
全球第二家加密货币交易所，注册即可获得**￥3000的数字盲盒，该节点注册费用**10%。
卡尔达诺的混合使用比特币和以太坊的总账模型
比特币和以太坊这两种**的加密货币使用两种不同的账本模型，分别称为UTXO模型(比特币)和账户模型(以太坊)。正如IOHK在论文中所写的，这两种模式都有特定的优势，这就是为什么Cardano会同时使用这两种模式。
原则上，以太坊的账户模型更适合启用智能合约。另一方面，比特币的UTXO是一个语义模型，在复杂的分布式环境中保持简单，需要的资源更少。所以IOHK设计了扩展UTXO(EUTXO)模型，是比特币UTXO模型的扩展。
对于比特币来说，每一次交易都是基于输出和输入的概念，也就是某些BTC量的表示。对于交易，选择各种输入形式的比特币，形成输出。所以比特币的输出不是单个数据字节。而是算**提取多个比特币来满足输出要求。例如，BTC的交易(产出)可以采取3种投入的形式(0.3 BTC，0.3 BTC和0.4 BTC)。将更改发送到UTXO数据库。
卡尔达诺的研究人员解释说，尽管这种模型“与区块链的并发和分布特性结合得很好”，但它对可编程性有严格的限制，这使得它对于大多数智能合约来说不切实际。相比之下，以太坊基于账户的账本允许复杂的计算，但必须引入“共同状态”，即所有交易和契约的集体记忆。该文件指出:
然而，由于val-idator概念实现的可编程性有限，UTXO模型(尤其是比特币)通常会受到批评。特别是，以太坊的基于账户的分类账和相关的合同账户概念是由克服这些限制的愿望所驱动的。
回顾一周的环比数据:XRP活跃地址下降67%，USDT波场利用率上升。
区块链数据分析机构CoinMetrics最近发布了关于链上数据的**报告。其中谈到了比特币、以太坊、Ripple等加密货币在过去一周的链条数据，并对各链条中Tether(USDT)的发展提出了见解。
不幸的是，它是通过引入共享可变状态的概念来实现的，这使得契约代码的语义变得非常复杂。特别是，合同作者需要知道这种引入安全问题的语义风险的微妙之处。
这也是cardano的EUTXO模型更好的原因。
Cardano的EUTXO模型可以在多个交易中执行智能合约。每个交易输出都有一个数据字段，其中可以包含与特定智能合约相关的**信息:
**个变化是我们允许事务输出携带一个带有验证器的数据值，该值在验证期间作为一个附加参数传入。这允许契约在不改变其“代码”(验证者)的情况下携带某个状态(数据)。我们将用它来承载状态机的状态。
此外，系统确保给定的输出链使用相同的合同代码——一个称为合同连续性的概念:
6 Chakravarty等第二个变化是验证者接收到一些关于被验证交易的信息。该信息作为typeTxInfo的附加参数传入。额外的信息使验证者能够实施比裸UTXO模型更强的条件——特别是，它可以检查当前事务的输出，这对于确保契约的连续性是必不可少的。
第三个变化是IOHK通过“增加交易有效期”来“留出一些时间”。
虽然Shelley和Goguen目前正在并行开发，但还不清楚这两个阶段何时转移到Mainnet。最近，查尔斯·霍金森(Charles Hoskinson)表示，雪莱应该会在2020年**季度完工。按照卡尔达诺的路线图，戈根也应该在2020年完工。但由于卡尔达诺路线图的延迟，发布日期仍不确定。
郑重声明:本文版权归原作者所有。转载文章只是为了传播更多的信息。如作者信息标注有误，请**时间联系我们修改或删除。谢谢你。
Blockchain.com是**一个为支持加密货币的**推出法定货币渠道的平台。