#zkp #zk-snarks #recursion #proofs #halo

halo2

[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup

3 unstable releases

0.1.0-beta.2 Feb 15, 2022
0.1.0-beta.1 Sep 28, 2021
0.0.0 May 11, 2020

#5 in #halo

Download history 2439/week @ 2024-07-22 2784/week @ 2024-07-29 3590/week @ 2024-08-05 3033/week @ 2024-08-12 2826/week @ 2024-08-19 4285/week @ 2024-08-26 3560/week @ 2024-09-02 3668/week @ 2024-09-09 3315/week @ 2024-09-16 4378/week @ 2024-09-23 8905/week @ 2024-09-30 8824/week @ 2024-10-07 6221/week @ 2024-10-14 6368/week @ 2024-10-21 4937/week @ 2024-10-28 4769/week @ 2024-11-04

22,615 downloads per month
Used in 17 crates (via zkhash)

Custom license

600KB
13K SLoC

halo2 Crates.io

IMPORTANT: This library is in beta, and should not be used in production software.

Documentation

Minimum Supported Rust Version

Requires Rust 1.51 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 currently uses rayon for parallel computation. The RAYON_NUM_THREADS environment variable can be used to set the number of threads.

License

Copyright 2020-2022 The Electric Coin Company.

You may use this package under the Bootstrap Open Source Licence, version 1.0, or at your option, any later version. See the file COPYING for more details, and LICENSE-BOSL for the terms of the Bootstrap Open Source Licence, version 1.0.

The purpose of the BOSL is to allow commercial improvements to the package while ensuring that all improvements are open source. See here for why the BOSL exists.

Dependencies

~2MB
~40K SLoC