dcSparkの共同創設者であるセバスチャン・ギレモは、最初のZK（ゼロ知識）スマートコントラクトがカルダノのメインネットにデプロイされたと述べています。
これは人気のあるブロックチェーンネットワークにおけるZKアプリケーションの時代の始まりを示します。
取引はカルダノの開発者Input Outputによって、ブロックチェーンのメインネットでのZK検証のためにHalo 2の助けを借りて実行されました。
Input Outputによると、最初の取引は資金をロックするためのものでした。Halo2生成のZK証明の検証が必要な2回目の取引は、資金をアンロックするために実行されました。
カード
アンロック取引には、2.03 ADA（$1.9）の手数料が必要であり、Input Outputによると「合理的に低い」とのことです。
Zcashの創設者であるElectric Coin Companyによって作成されたHalo 2 zkSNARK証明システムは、信頼できるセットアップなしで暗号的zk-SNARK証明を作成および検証することを可能にします。
Input Outputは長いソーシャルメディアのスレッドで、計算が正しく実行されたことを詳細を明らかにすることなく証明するHalo 2暗号技術の利点を説明しました。カルダノの開発者は特に、再帰的証明がHalo 2の最も注目すべき機能の1つであることを言及しました。これにより、計算を小さな部分に分解することでスケーラビリティと相互運用性を向上させることが可能になります。
カード
"私たちはまだやるべきことがたくさんあります。しかし、IOリサーチによるこのテストは、カルダノでのゼロ知識証明の使用において重要な前進を示しており、スケーラビリティ、効率、さらなる強化されたセキュリティの強力な組み合わせをもたらします。"とInput Outputは述べました。
