zkemail / zk-regex

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex.
GNU General Public License v3.0
79 stars 27 forks source link

Rmacedo/update regex to mindfa #39

Closed bert0RM closed 9 months ago

Divide-By-0 commented 11 months ago

i dont think u have the latest branch right, the "add comments for regex and substrings" one

bert0RM commented 11 months ago

i dont think u have the latest branch right, the "add comments for regex and substrings" one

Added

Divide-By-0 commented 11 months ago

i dont think u have the latest branch right, the "add comments for regex and substrings" one

Added

Looks like it reverted?

Divide-By-0 commented 10 months ago

Can you rebase on main @bert0RM

Divide-By-0 commented 9 months ago

@Bisht13 this is the test I'm taking about

Divide-By-0 commented 9 months ago

I see; since the regexes are now being parsed by Rust, not JS, the simplification to a-z fails.