IOHK官网博客:智能合约–它来了!

image
原文来自IOHK Olga Hryniuk,由卡尔达诺大使陈哲Anson翻译

Alonzo将基于Cardano的代币升级,为开发人员提供制作业务应用程序的工具

3月初,我们实施了Mary multi多资产协议升级,该升级使用户可以为Cardano上的交易创建唯一的代币。随着交易元数据的引入,12月与Allegra的代币锁定以及原生代币的创建,我们为将Cardano确立为领先的智能合约平台奠定了基础。

我们的下一个协议升级Alonzo将基于这些功能。通过使用我们的硬叉合并器技术,Alonzo将在大约四个月后为Cardano增加对智能合约(数字协议)的支持。它会通过允许创建智能合约和去中心化金融(DeFi)的去中心化应用程序(DApps),为企业和开发人员创造机会。

在命名这些升级时,我们选择Allegra(拜伦勋爵的女儿)进行代币锁定,并选择Mary(Shelley的小说家和妻子)进行多资产支持。阿隆佐(Alonzo)来自更现代的人物阿隆佐教堂(Alonzo Church,1903-95)。丘奇(Church)是一位美国数学家和逻辑学家,致力于逻辑和理论计算机科学的基础。他还以发明lambda演算(一种用于证明Entscheidungs问题的不可解决性的正式系统)而闻名。后来,在与数学家阿兰·图灵(Alan Turing)合作时,他们发现lambda演算和图灵机的功能相同,展示了各种用于计算的机械过程。在Church之后命名我们的智能合约升级的原因之一是Plutus Core(卡尔达诺智能合约语言)是lambda演算的变体。

为什么选择智能合约?

智能合约标志着卡尔达诺作为全球分布式账本的发展的下一阶段。在支持日常业务时,区块链必须保证个人可以安全地转移资金并购买产品。

智能合约可用于结算复杂交易,将资金保留在托管状态以及在预定条件下保护资金的流动。卡尔达诺将允许DApp与分类账进行交互,以记录其活动并执行智能合约。这些数字协议表达了交易的故事,指定了资金的去向以及在什么条件下将其发送,仅在满足所有条件时才执行交易。 Alonzo将为Cardano支持此类应用奠定基础。

使用Alonzo满足业务需求

虽然多资产支持允许用户创建满足业务需求的独特货币,但Alonzo引入了用于构建智能合约的多功能平台。例如,可以与收藏品,众筹或拍卖进行合作。

探索领域可能包括部署基于托管的去中心化式加密货币交易所(DEX),或创建支持集中式稳定币的复杂应用程序(例如,供应链中产品来源的跟踪应用程序)。使用代币锁定,用户将能够在归属期间发行实用程序代币,这意味着可以锁定或冻结多个代币,以便在特定时间后释放。

Plutus Core的脚本编写能力

借助Alonzo,我们正在添加必要的工具和基础结构,以允许使用Plutus平台进行应用程序开发。

Alonzo采用基于形式化方法和验证的严格方法,扩展了Cardano Shelley中使用的基本多签名脚本语言(multisig)。 Multisig将升级为Plutus Core语言,以提供更强大和安全的脚本选项。 Alonzo分类帐使用Plutus Core提供强大的脚本,实现了扩展的未用交易输出(EUTXO)会计模型。

智能合约平台必须既安全又可靠。因此,我们选择Haskell作为编写Plutus Core智能合约的基础。 Haskell是一种高级语言,开发人员将使用它来编写代码,然后将其编译为Plutus Core。

Haskell自1987年以来一直存在,以其高度信任而在其他编程语言中脱颖而出。用Haskell编写可确保对智能合约进行编程以使其完全符合预期,并可在实施之前对其准确性进行测试。这意味着建立在Cardano上的智能合约将简单明了并且可以抵御漏洞,这对于处理自动交易或大笔资金交易的应用程序至关重要。

工具和API

开发人员将具有功能性工具,可在Cardano上进行实验和自定义交易验证。 API库将得到扩展,以在与钱包和分类帐交互时在Cardano上部署和操作Plutus Core代码。

部署Alonzo是一个复杂的过程。一旦功能性智能合约在主网上运行,我们将继续改进脱链基础架构,以交付软件开发工具包。

我们现在进行到哪一步了?


图1. Alonzo路线图。该代码将在发布前冻结四周

在整个三月和四月,IO Global团队已逐渐将Alonzo规则与Cardano节点和分类帐代码结合在一起。与节点的Alonzo集成完成后,Cardano将提供有效的API工具和命令行界面(CLI)支持。

从4月中旬到5月初,团队将继续致力于Plutus开发,以启动私有测试网。在此阶段,我们的合作伙伴(高级开发人员)将测试平台,创建并部署在Cardano上运行智能合约的不可替代代币(NFT),市场或DApp。这个过程将重点逐步进行改进,以确保一切均有效进行。

5月,我们将开始与Plutus开拓者合作。这些经过认证的计划培训生将通过编写Plutus应用程序并将其投入DApps和DeFi的生产,继续测试该平台。在此阶段,团队将执行分类帐,节点和钱包后端集成。我们还将准备和发布文档,包括规范示例和开发人员指南。

5月和6月将是对用户进行质量保证和测试的时候,其后的功能冻结将持续四个星期。这将为加密交易所和钱包提供升级和为Alonzo协议更新做准备的时间。我们预计Alonzo升级(硬分叉)将在夏末进行,我们将在4月的Cardano360展会上宣布确定的日期。

有关更详细的路线图,请查看Charles Hoskinson的3月Cardano360演示。

这是一段激动人心的时刻,我们鼓励您继续关注。下一篇博客文章将探讨支撑Alonzo开发的Plutus概念之间的关系。同时,开发人员的网站上有更多有关使用Plutus,Marlowe和Glow进行编程的信息。

原文链接:https://iohk.io/zh-CN/blog/posts/2021/04/08/smart-contracts-–-here-we-come/