zk-regex-circom

Circom circuits for regex verification in zk-regex. This package contains circom circuits and decomposed regex definitions for common regexes in ./circuits/common folder.

Note

Our email_domain_regex.circom circuit cannot capture an email address that contains "@" in the name part before the domain part, e.g., "[email protected]@dummy.com", due to limitation of our circuit construction. For example, when "[email protected]@dummy.com" is given, that circuit outputs not "dummy.com" but "[email protected]" as an exposed substring for the domain. However, an adversary cannot exploit this feature to expose a fake domain since the true domain at the end will also be revealed along with it.