[WIP] Sora: Feat/integrate halo2 regex

.github/workflows/test.yaml

@@ -5,14 +5,18 @@ on: [push]
 jobs:
   build:
     runs-on: ubuntu-latest
-
     steps:
       - name: Checkout code
         uses: actions/checkout@v2
       - name: Setup Node.js
         uses: actions/setup-node@v2
         with:
-          node-version: 14
+          node-version: 18
+      - name: "Setup Rust"
+        uses: ATiltedTree/setup-rust@v1
+        with:
+          rust-version: nightly
+          components: clippy
       - name: Download circom
         run: wget https://github.com/iden3/circom/releases/latest/download/circom-linux-amd64 -O /usr/local/bin/circom
       - name: Update permission
@@ -23,7 +27,7 @@ jobs:
         run: yarn
       # - name: Create build folder
       #   run: mkdir build
-      - name: Run Linters
-        run: yarn lint
+      # - name: Run Linters
+      #   run: yarn lint
       - name: Run tests
         run: yarn test

.gitignore

@@ -106,3 +106,8 @@ dist
 .vscode
 build/*
 !build/.placeholder
+
+target
+
+index.node
+Cargo.lock

Cargo.toml

@@ -0,0 +1,9 @@
+[workspace]
+members = ["packages/*"]
+exclude = ["packages/circom", "test"]
+
+# [patch."https://github.com/stalwartlabs/mail-builder"]
+# mail-builder = { version = "0.2.5", git = "https://github.com/stalwartlabs//mail-builder", tag = "0.2.5" }
+
+# [patch."https://github.com/stalwartlabs/mail-parser"]
+# mail-parser = { version = "0.8", git = "https://github.com/stalwartlabs//mail-parser", tag = "0.8.0" }

README.md

@@ -1,10 +1,10 @@
 # zk-regex
 
-A library to do regex verification in circom, adapted from the original zk-email. Also spits out a halo2 lookup table for [halo2-regex](https://github.com/zkemail/halo2-regex) parsing. Note that you need to add valid accept states and substring definitions yourself. Releasing a tool to do this soon.
+A library to do regex verification in circom and [halo2-regex](https://github.com/zkemail/halo2-regex).
 
-We've forked [min-dfa into a UI here](https://mindfa.onrender.com/min_dfa) to create a UI that converts existing regexes with [] support, as well as escapes \_, and the character classes a-z, A-Z, and 0-9. It also shows the DFA states very clearly so you can choose accept states easily. This should make converting regexes into DFA form way cleaner.
+<!-- We've forked [min-dfa into a UI here](https://mindfa.onrender.com/min_dfa) to create a UI that converts existing regexes with [] support, as well as escapes \_, and the character classes a-z, A-Z, and 0-9. It also shows the DFA states very clearly so you can choose accept states easily. This should make converting regexes into DFA form way cleaner. -->
 
-## introduction
+## Introduction
 
 The compilation command generates a circom file at build/compiled.circom. This code is a JS adaptation of the Python regex-to-circom work done by [sampriti](https://github.com/sampritipanda/) and [yush_g](https://twitter.com/yush_g) at https://github.com/zk-email-verify/zk-email-verify/tree/main/regex_to_circom.
 

babel.config.js

@@ -0,0 +1,11 @@
+module.exports = {
+    presets: [
+        ['@babel/preset-env', { targets: { node: 'current' } }],
+        '@babel/preset-typescript',
+        ['@babel/preset-react', { "runtime": "automatic" }],
+        ['jest']
+    ],
+    plugins: [
+        '@babel/plugin-transform-modules-commonjs',
+    ]
+};