halo2/halo2_proofs
therealyingtong 162412700d Docfixes and minor refactors 2023-05-02 17:00:21 +02:00
..
benches
examples halo2_proofs::examples::dynamic_lookup: Dynamic lookup example 2023-05-02 17:00:21 +02:00
proptest-regressions/plonk plonk::circuit::ConstraintSystem: compress_dynamic_table_tags() 2023-04-05 17:06:04 +07:00
src Docfixes and minor refactors 2023-05-02 17:00:21 +02:00
tests
CHANGELOG.md Release 0.3.0 of halo2_proofs and halo2_gadgets 2023-03-21 19:35:30 -06:00
Cargo.toml halo2_proofs::examples::dynamic_lookup: Dynamic lookup example 2023-05-02 17:00:21 +02:00
README.md Fix formatting of `halo2_proofs::multicore` comments 2023-02-14 18:53:36 +00:00
katex-header.html

README.md

halo2_proofs Crates.io

Documentation

Minimum Supported Rust Version

Requires Rust 1.60 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.

You can disable rayon by disabling the "multicore" feature. Warning! Halo2 will lose access to parallelism if you disable the "multicore" feature. This will significantly degrade performance.

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.