Zum Hauptinhalt springen
Vertrags-Tooling

snark-verifier (Axiom)

ZK-Schaltkreise & Privatsphäre

Auf GitHub ansehen (öffnet in einem neuen Tab)

Nächstes ansehen

Anon Aadhaar

Über 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.

Tags

  • Verifikation
  • Solidity
  • Gasoptimierung

Repositoryaxiom-crypto

Pakethttps:

Info

Typ
ZK-Schaltkreise & Privatsphäre
GitHub-Sterne
106
Lizenz
Apache-2.0
Eintrag überprüft
September 2026

Ähnliche Tools

ZK Email

ZK Email

ZK Email bietet Schaltkreise und SDKs, um Fakten über geschwärzte E-Mail-Transkripte Onchain zu beweisen. Nützlich, wenn Sie datenschutzfreundliche Identitäts- oder Belegprüfungen wünschen, ohne Posteingänge offenzulegen.

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 ist eine domänenspezifische Sprache und ein Compiler zum Schreiben und Kompilieren arithmetischer Schaltkreise, die in Zero-Knowledge-Beweissystemen verwendet werden.