Ruka hadi maudhui makuu
Zana za mkataba

snark-verifier (Axiom)

Saketi za ZK na faragha

Tazama kwenye GitHub (inafunguka katika kichupo kipya)

Tazama inayofuata

Anon Aadhaar

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

Lebo

  • Uthibitishaji
  • Solidity
  • Matumizi bora ya gesi

Hifadhiaxiom-crypto

Kifurushihttps:

Maelezo

Aina
Saketi za ZK na faragha
Nyota za GitHub
106
Leseni
Apache-2.0
Orodha imekaguliwa
Septemba 2026

Zana zinazofanana

ZK Email

ZK Email

ZK Email hutoa saketi na SDK kwa kuthibitisha ukweli kuhusu nakala za barua pepe zilizohaririwa mnyororoni. Inafaa unapotaka utambulisho unaohifadhi faragha au ukaguzi wa stakabadhi bila kufichua visanduku pokezi.

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 ni lugha maalum ya kikoa na kikusanyaji kwa ajili ya kuandika na kukusanya saketi za hesabu zinazotumika katika mifumo ya uthibitisho wa maarifa-sifuri.