search

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

Add tests #35

Closed Divide-By-0 closed 8 months ago

Divide-By-0 commented 11 months ago

For the regex generation flow, add a few sample regexes or regex configs, then generate a final circom file and use circom-tester to ensure that it in fact correctly matches that regex and reveals the right group. This will be needed to merge in #31.

SoraSuegami commented 11 months ago

The generated circuits are already tested here. https://github.com/zkemail/zk-regex/tree/main/packages/circom/tests Those tests automatically generate the circom circuits for the regexes in the circom package and check the revealed substrings.