#halo #proofs #zkp #zk-snar-ks

halo2_proofs

Fast PLONK-based zero-knowledge proving system with no trusted setup

6 releases

Uses new Rust 2021

0.2.0 Jun 23, 2022
0.1.0 May 10, 2022
0.1.0-beta.4 Apr 6, 2022
0.1.0-beta.3 Mar 22, 2022
0.0.0 Jan 20, 2022

#187 in Cryptography

Download history 204/week @ 2022-03-11 603/week @ 2022-03-18 1246/week @ 2022-03-25 1510/week @ 2022-04-01 1365/week @ 2022-04-08 1270/week @ 2022-04-15 1843/week @ 2022-04-22 1713/week @ 2022-04-29 1758/week @ 2022-05-06 1644/week @ 2022-05-13 1660/week @ 2022-05-20 1494/week @ 2022-05-27 973/week @ 2022-06-03 2414/week @ 2022-06-10 4089/week @ 2022-06-17 4857/week @ 2022-06-24

12,507 downloads per month
Used in 5 crates (2 directly)

MIT/Apache

565KB
12K SLoC

halo2_proofs Crates.io

Documentation

Minimum Supported Rust Version

Requires Rust 1.56.1 or higher.

Minimum supported Rust version can be changed in the future, but it will be done with a minor version bump.

Controlling parallelism

halo2_proofs currently uses rayon for parallel computation. The RAYON_NUM_THREADS environment variable can be used to set the number of threads.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~2.3–7MB
~100K SLoC