#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.

2 releases

0.1.7 Jan 18, 2024
0.1.6 Dec 4, 2023

#566 in Math

Download history 68/week @ 2024-01-19 6/week @ 2024-01-26 9/week @ 2024-02-09 15/week @ 2024-02-16 26/week @ 2024-02-23 15/week @ 2024-03-01 34/week @ 2024-03-08 22/week @ 2024-03-15 22/week @ 2024-03-22 53/week @ 2024-03-29 7/week @ 2024-04-05 21/week @ 2024-04-19 24/week @ 2024-04-26 10/week @ 2024-05-03

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

~5–9MB
~176K SLoC