Přejít na hlavní obsah
Nástroje pro kontrakty

snark-verifier (Axiom)

ZK obvody a soukromí

Zobrazit na GitHubu (otevře se v nové záložce)

Zobrazit další

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.

Štítky

  • Verifikace
  • Solidity
  • Optimalizace plynu

Repozitářaxiom-crypto

Balíčekhttps:

Informace

Typ
ZK obvody a soukromí
Hvězdičky na GitHubu
106
Licence
Apache-2.0
Záznam zkontrolován
září 2026

Podobné nástroje

ZK Email

ZK Email

ZK Email poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

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 je doménově specifický jazyk a kompilátor pro psaní a kompilaci aritmetických obvodů používaných v systémech důkazů s nulovou znalostí.