Verifier
https://docs.hazbase.com/smart-contracts/contracts/verifier/

SMART CONTRACTS
 ← コントラクト一覧 Verifier
 ゼロ知識証明を、対応する回路の検証鍵で検証する。
 全体像 コントラクト一覧 用途から選ぶ 権限・運用設計 契約・資格・債務 Verifier .sol 
 役割と使いどころ
 証明の生成はアプリケーション側で行い、コントラクトでは公開入力と証明の整合性を検証します。
 接続・設定のポイント Verifierは回路ごとに対応が異なります。掲載ソースのverifyProofと、利用する証明の公開入力を照合します。

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

 証明生成・ZKのSDK仕様 
 組み合わせるコントラクト
 MultiTrustCredential 参加者の評価指標・資格情報と証明を管理する。
 Whitelist トークンの保有・移転に利用する参加許可情報を管理する。

 実装につなげる
 証明・情報開示
 データの持ち方、処理の順序、SDKコードを通じて、アプリケーションへの組み込み方を確認できます。
 実装パターンを読む 
 仕様とソースコード
 掲載するSolidityソースは下記のリビジョンを参照しています。SDKの対応バージョンと、接続先ネットワークの実装アドレス・ABIを合わせて参照できます。
 verifier/contracts/Verifier.sol ソースリビジョン : b53a5b5 

 ← コントラクト一覧に戻る 権限・運用設計