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
76 stars 27 forks source link

Try optimizing via O1 and O2 flags from circom #36

Open Divide-By-0 opened 9 months ago

Divide-By-0 commented 9 months ago

Enable --O1 and --O2 flags from circom and see how much constraints go down. If it's significant, make sure unconstrained public variables used in the circuit aren't optimized out (i.e. the unconstrained eth address used for malleability), then update the build scripts.

Divide-By-0 commented 1 month ago

It's been verified by zksecurity that --O2 should be fine.