根据dcSpark联合创始人Sebastien Guillemot的说法，第一个ZK（零知识）智能合约已经在Cardano主网上部署。
这标志著ZK应用在流行区块链网络上的时代的开始。
该交易由Cardano开发者Input Output执行，并借助Halo 2进行区块链主网上的ZK验证。
根据Input Output的解释，第一次交易旨在锁定资金。第二次交易，要求对Halo2生成的ZK证明进行验证，则是为了解锁资金。
卡片
根据Input Output的说法，解锁交易需要2.03 ADA（1.9美元）的手续费，这是"相对低的"。
Halo 2 zkSNARK证明系统是由Zcash创始公司Electric Coin Company创建的，这使得在不需要可信设置的情况下创建和验证加密zk-SNARK证明成为可能。
在一个冗长的社交媒体线程中，Input Output解释了Halo 2加密技术的好处，这使得能够在不透露其细节的情况下证明计算是正确执行的。Cardano开发者特别提到了递归证明是Halo 2最显著的特征之一。这使得通过将计算分解为更小的部分来提高可扩展性和互操作性成为可能。
卡片
"我们仍然有更多工作要做。但IO研究的这次测试在使用零知识证明于Cardano方面代表著一个重要的进步，带来可扩展性、高效率和进一步增强的安全性，"Input Output表示。
