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

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

此次交易由Cardano开发者Input Output进行，并借助Halo 2实现主网的ZK验证。

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

解锁交易的费用为2.03 ADA（约合1.9美元），根据Input Output的说法，这是一个“相对较低”的费用。

Halo 2 zkSNARK证明系统由Zcash创建者Electric Coin Company开发，使得在无需信任设置的情况下，可以创建和验证加密的zk-SNARKs证明。

在一篇较长的 社交媒体线程中，Input Output解释了Halo 2加密技术的好处，该技术使得可以证明某项计算是正确执行而不暴露其细节。Cardano开发者特别提到递归证明是Halo 2的最显著特征之一。通过将计算拆分为更小的部分，它们使得可扩展性和互操作性得以提升。

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