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

#841 in Math

Download history 10/week @ 2024-10-22 12/week @ 2024-10-29 5/week @ 2024-11-05 1/week @ 2024-11-12 18/week @ 2024-11-19 27/week @ 2024-11-26 32/week @ 2024-12-03 50/week @ 2024-12-10 16/week @ 2024-12-17 3/week @ 2024-12-31 11/week @ 2025-01-07 24/week @ 2025-01-14 14/week @ 2025-01-21 6/week @ 2025-01-28 11/week @ 2025-02-04

55 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