根据dcSpark联合创始人Sebastien Guillemot的说法，第一个ZK（零知识）智能合约已经在Cardano主网上部署。

这标志着ZK应用在这一流行区块链网络上的时代的开始。

该交易由Cardano开发者Input Output执行，并借助Halo 2进行区块链主网的ZK验证。

HOT Stories Cardano以首个ZK智能合约创造历史 ‘我从很早的时候就拥有并支持加密货币：Jim Cramer Ripple首席执行官获得“60分钟”采访 Shiba Inu（SHIB）突破已确认：接下来会怎样？比特币（BTC）发出隐藏信号，Toncoin（TON）将要暴涨？

Input Output解释说，第一次交易旨在锁定资金。第二次交易需要验证Halo2生成的ZK证明，以解锁资金。

解锁交易需要支付2.03 ADA（1.9美元）的费用，Input Output表示这“相对较低”。

Halo 2 zkSNARK证明系统由Zcash创始公司Electric Coin Company创建，使得在不需要可信设置的情况下创建和验证加密zk-SNARK证明成为可能。

在一条冗长的social media thread中，Input Output解释了Halo 2加密技术的好处，这使得可以证明计算是正确执行的，而无需透露其细节。Cardano开发者特别提到递归证明是Halo 2最显著的特征之一。它们使得通过将计算分解为更小的部分来提高可扩展性和互操作性成为可能。

“我们仍然有更多的工作要做。但IO Research的这一测试代表了在Cardano上使用零知识证明的一个重要进展，带来了可扩展性、效率和进一步增强的安全性这一强大组合，”Input Output表示。

免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。