メインコンテンツへスキップ
コントラクトツール

snark-verifier (Axiom)

ZK回路とプライバシー

GitHubで見る （新しいタブで開きます）

次を見る

Anon Aadhaar

snark-verifier (Axiom) について

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

タグ

  • 検証
  • Solidity
  • ガス最適化

リポジトリaxiom-crypto

パッケージhttps:

情報

タイプ
ZK回路とプライバシー
GitHubのスター数
106
ライセンス
Apache-2.0
掲載情報のレビュー
2026年9月

類似ツール

ZK Email

ZK Email

ZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。

SP1 (Succinct)

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

Circom

Circomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。