github/halo2-zk-email

mirror of https://github.com/zkemail/halo2-zk-email.git synced 2026-01-09 13:58:02 -05:00

Go to file

SoraSuegami 4fd5235660 Add invalid Verifier.sol.

2023-04-21 14:02:24 +09:00

Use pse's snark-verifier.

2023-04-21 00:00:42 +09:00

Not use gwc19.

2023-04-20 02:46:50 +09:00

modify fix_verifier_sol.

2023-04-21 12:19:11 +09:00

Add invalid Verifier.sol.

2023-04-21 14:02:24 +09:00

.gitignore

Init a rust project.

2023-03-20 13:12:12 +07:00

Cargo.toml

Use pse's snark-verifier.

2023-04-21 00:00:42 +09:00

README.md

add bh regex

2023-03-24 11:56:27 +07:00

rust-toolchain

define simple test

2023-03-23 23:07:48 +07:00

README.md

halo2-zk-email

Email verification circuit in halo2

Description

Generate regexes by calling the CLI in zk-regex with a specific string, and copying over the halo2_regex_lookup_js.txt file. The first line is total states, second line is accept states.

test_regexes/regex_bh.txt is the body hash regex.