This repo is a for EF PSE acceleration-program: privacy-scaling-explorations/acceleration-program#43

Set up for GitHub

• set up GPG and commit signing: https://docs.github.com/en/authentication/managing-commit-signature-verification/about-commit-signature-verification#about-commit-signature-verification
• getting commit info and signature:

Email verification circuit in halo2.

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-zk-email provides a library and a command-line interface for an email verification circuit compatible with the halo2 library developed by privacy-scaling-explorations team.

• rustc 1.68.0-nightly (0468a00ae 2022-12-17)
• cargo 1.68.0-nightly (cc0a32087 2022-12-14)
• solc 0.8.19+commit.7dd6d404
• anvil 0.1.0 (0d3bd04 2022-11-20T00:11:22.107775Z)

Install solc (Mac instructions):

brew tap ethereum/ethereum
brew install solidity

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

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

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

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

You can install CLI zkemail to prove and verify emails as follows: cargo install --path .

To generate a proof and verify it on EVM, do:

cargo build --release
zkemail gen-params --k 18
zkemail gen-keys
zkemail gen-evm-verifier
zkemail evm-prove
zkemail evm-verify

To generate regex files for a new decomposed regex definition. do:

zkemail gen-regex-files --decomposed-regex-config-path new_regex_file.json --regex-files-prefix new_regex

You can generate a proof on browser with our wasm prover. For more information, please see examples/web-client/README.md.