zkemail/zk-regex

Fix Accept States for Group Match Tests

Divide-By-0 opened this issue · 0 comments

          > Whats up with the "// todo TOFIX" section?

In some regex, such as 1=(a|b) (2=(b|c)+ )+, which doesn't have other characters appended the last group, the generated circuit seems no able to properly calculate the data points. But when it has something appended, such as 1=(a|b) (2=(b|c)+ )+d, it works as expected. For now, I reckon this is an issue originating from the lexical.js.

Originally posted by @katat in #6 (comment)