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

#630 in Math

Download history 17/week @ 2024-03-13 20/week @ 2024-03-20 31/week @ 2024-03-27 39/week @ 2024-04-03 14/week @ 2024-04-17 27/week @ 2024-04-24 11/week @ 2024-05-01 10/week @ 2024-05-08 52/week @ 2024-05-15 43/week @ 2024-05-22 40/week @ 2024-05-29 45/week @ 2024-06-05 67/week @ 2024-06-12 72/week @ 2024-06-19 49/week @ 2024-06-26

235 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
~177K SLoC