Przejdź do głównej treści
Narzędzia do kontraktów

snark-verifier (Axiom)

Obwody ZK i prywatność

Zobacz na GitHubie (otwiera się w nowej karcie)

Zobacz następne

Anon Aadhaar

O 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.

Tagi

  • Weryfikacja
  • Solidity
  • Optymalizacja gazu

Repozytoriumaxiom-crypto

Pakiethttps:

Informacje

Typ
Obwody ZK i prywatność
Gwiazdki na GitHubie
106
Licencja
Apache-2.0
Przegląd wpisu
wrzesień 2026

Podobne narzędzia

ZK Email

ZK Email

ZK Email dostarcza obwody i SDK do dowodzenia faktów na temat zredagowanych transkryptów e-mail onchain. Przydatne, gdy chcesz zachować prywatność tożsamości lub sprawdzić pokwitowania bez ujawniania (doxxingu) skrzynek odbiorczych.

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 to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.