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

#736 in Math

Download history 36/week @ 2024-07-21 43/week @ 2024-07-28 68/week @ 2024-08-04 74/week @ 2024-08-11 150/week @ 2024-08-18 73/week @ 2024-08-25 30/week @ 2024-09-01 23/week @ 2024-09-08 36/week @ 2024-09-15 40/week @ 2024-09-22 55/week @ 2024-09-29 9/week @ 2024-10-06 17/week @ 2024-10-13 15/week @ 2024-10-20 10/week @ 2024-10-27 8/week @ 2024-11-03

53 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

~6–10MB
~187K SLoC