Vai al contenuto principale
Strumenti per contratti

snark-verifier (Axiom)

Circuiti ZK e privacy

Visualizza su GitHub (si apre in una nuova scheda)

Vedi il prossimo

Anon Aadhaar

Informazioni su 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.

Tag

  • Verifica
  • Solidity
  • Ottimizzazione del gas

Repositoryaxiom-crypto

Pacchettohttps:

Info

Tipo
Circuiti ZK e privacy
Stelle su GitHub
106
Licenza
Apache-2.0
Scheda revisionata
settembre 2026

Strumenti simili

ZK Email

ZK Email

ZK Email fornisce circuiti e SDK per provare fatti su trascrizioni di e-mail oscurate onchain. Utile quando desideri controlli dell'identità o delle ricevute che preservino la privacy senza rivelare le caselle di posta.

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 è un linguaggio specifico del dominio e un compilatore per scrivere e compilare circuiti aritmetici utilizzati nei sistemi di prova a conoscenza zero.