Releases · zkemail/zk-regex

26 Jun 03:39

2.1.0

491a2dc

2.1.0 Latest

Latest

Version 2.1.0

This is a full rewrite of the regex compiler in Rust (from Typescript) to support a very broad class of regex syntax. It has been audited once by zksecurity. You can see the report on https://www.zksecurity.xyz/reports/zkemail . Note that zkregex.com is not yet up to date and is still on version 1.2.

We have added:

wasm bindings
an enormous, 100+ test suite to ensure it works for a wide variety of regexes, including dollars, carets, negation, dollars, and international characters

Look at packages/compilers for installation and running instructions.

The regular expressions supported by this compiler have the following limitations:

Regular expressions where the results differ between greedy and lazy matching (e.g., .+, .+?) are not supported.
The beginning anchor ^ must either appear at the beginning of the regular expression or be in the format (|^). Additionally, the section containing this ^ must be non-public (is_public: false).
The end anchor $ must appear at the end of the regular expression.
Regular expressions that, when converted to DFA (Deterministic Finite Automaton), include transitions to the initial state are not supported (e.g., .*).
Regular expressions that, when converted to DFA, have multiple accepting states are not supported.

Full Changelog: 1.1.0...2.1.0

Assets 2