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

#824 in Math

Download history 37/week @ 2024-09-18 44/week @ 2024-09-25 34/week @ 2024-10-02 18/week @ 2024-10-09 13/week @ 2024-10-16 12/week @ 2024-10-23 10/week @ 2024-10-30 4/week @ 2024-11-06 4/week @ 2024-11-13 20/week @ 2024-11-20 26/week @ 2024-11-27 38/week @ 2024-12-04 43/week @ 2024-12-11 13/week @ 2024-12-18 5/week @ 2025-01-01

71 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
~188K SLoC