Lib.rs

› Science › Math
#verifier #halo2 #snark #evm #generic #fork #nark

snark-verifier

Generic (S)NARK verifier for Rust, halo2, and EVM. This is a fork of PSE's version.

by jonathanpwang, Han, Privacy Scaling Explorations Team (5 contributors)

2 releases

0.1.7 Jan 18, 2024
0.1.6 Dec 4, 2023

#540 in Math

Download history 92/week @ 2024-01-15 23/week @ 2024-01-22 13/week @ 2024-02-12 16/week @ 2024-02-19 30/week @ 2024-02-26 28/week @ 2024-03-04 17/week @ 2024-03-11 22/week @ 2024-03-18 21/week @ 2024-03-25 56/week @ 2024-04-01

119 downloads per month
Used in 9 crates (3 directly)

MIT license

310KB
8K SLoC

SNARK Verifier

Generic (S)NARK verifier.

lib.rs:

Generic (S)NARK verifier.

Dependencies

~5–9MB
~176K SLoC