Ruka hadi maudhui makuu
snark-verifier (Axiom)
Zana za mkataba

snark-verifier (Axiom)

Saketi za ZK na faragha

Uthibitishaji · Solidity · Matumizi bora ya gesi

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.

Rasilimali zinazohusiana