SMART CONTRACTS

Verifier

ゼロ知識証明を、対応する回路の検証鍵で検証する。

契約・資格・債務Verifier.sol

役割と使いどころ

証明の生成はアプリケーション側で行い、コントラクトでは公開入力と証明の整合性を検証します。

接続・設定のポイントVerifierは回路ごとに対応が異なります。掲載ソースのverifyProofと、利用する証明の公開入力を照合します。

コントラクトを直接呼び出す場合の主要な入口です。引数・型・アクセス条件は、リンク先の実装と対応するABIで確認できます。

操作	用途
`verifyProof`	証明と公開入力を検証

データの持ち方、処理の順序、SDKコードを通じて、アプリケーションへの組み込み方を確認できます。

掲載するSolidityソースは下記のリビジョンを参照しています。SDKの対応バージョンと、接続先ネットワークの実装アドレス・ABIを合わせて参照できます。

ソースリビジョン: b53a5b5