Skip to content

Commit

Permalink
Fix bug in FromAddrRegex
Browse files Browse the repository at this point in the history
  • Loading branch information
SoraSuegami committed Oct 14, 2023
1 parent ac91a70 commit be1540a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions packages/circom/circuits/common/from_addr_regex.circom
Original file line number Diff line number Diff line change
Expand Up @@ -18,11 +18,11 @@ template FromAddrRegex(msg_bytes) {

signal emailNameOut;
signal emailNameReveal[msg_bytes];
(emailNameOut, emailNameReveal) <== EmailAddrWithNameRegex(msg_bytes)(msg);
(emailNameOut, emailNameReveal) <== EmailAddrWithNameRegex(msg_bytes)(fromReveal);

signal emailAddrOut;
signal emailAddrReveal[msg_bytes];
(emailAddrOut, emailAddrReveal) <== EmailAddrRegex(msg_bytes)(msg);
(emailAddrOut, emailAddrReveal) <== EmailAddrRegex(msg_bytes)(fromReveal);

out <== MultiOR(2)([emailNameOut, emailAddrOut]);
for(var i=0; i<msg_bytes; i++) {
Expand Down
2 changes: 1 addition & 1 deletion packages/circom/package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "@zk-email/zk-regex-circom",
"version": "1.1.0",
"version": "1.1.1",
"license": "MIT",
"description": "regex verification circuits in circom for common regexes, generated with the compiler in [zk-regex](https://github.com/zkemail/zk-regex/tree/main).",
"contributors": [
Expand Down

0 comments on commit be1540a

Please sign in to comment.