halo2-regex

Regex verification circuit in halo2.

Disclaimer

DO NOT USE THIS LIBRARY IN PRODUCTION. At this point, this is under development not audited. It has known and unknown bugs and security flaws.

halo2-regex provides a library for a regex verification chip compatible with the halo2 library developed by privacy-scaling-explorations team.

You can install and build our library with the following commands.

git clone https://github.com/zkemail/halo2-regex.git
cd halo2-regex
cargo build --release

You can open the API specification by executing cargo doc --open.

You can run the tests by executing cargo test --release.

Big thank-yous to vivek b and ying tong for helping debug these circuits!