Cardanoはすでに、メインチェーン上でゼロ知識証明の検証をサポートしています。（ZK証明） Plutus V3は、2024年9月のChangアップグレードにより、ネイティブなペアリング操作を導入しました。これにより、スマートコントラクトはGroth16などの互換システムからの証明を検証するための暗号ツールを手に入れました。 証明はブロックチェーン外で生成され、トランザクション検証中にスマートコントラクトによって確認されます。ネットワークは、その証明の背後にあるプライベートな入力が非公開のまま、条件が満たされたことを検証できます。 これにより、開発者はCardano上で、ユーザーが完全な資格情報を公開せずに資格を証明するアプリケーションを構築できます。適切な証明システムを使用すれば、複雑な計算を他の場所で実行し、Cardanoはその結果のコンパクトな証明を検証できます。 検証にはリソースを消費しますが、証明はその回路が実際に検証する内容のみを確立します。私見では、Cardanoではこれによりエコシステム利用者へのさらなる有用性を開く可能性のある、非常に魅力的な応用が可能になります。