Mopro wasm halo2

.github/workflows/build-and-test.yml

@@ -19,6 +19,7 @@ jobs:
         if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
         steps:
             - uses: actions/checkout@v4
+
             - name: Check formatting
               run: cargo fmt --all -- --check
 
@@ -58,6 +59,77 @@ jobs:
                   override: true
             - name: Run ffi ashlang tests
               run: cd mopro-ffi && cargo test --features ashlang --no-default-features
+    setup-halo2-wasm-env:
+      runs-on: ubuntu-latest
+      if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+      outputs:
+        chrome-dir: ${{ steps.parsed-chrome-chromedriver-dir.outputs.chrome-dir }}
+        chromedriver-dir: ${{ steps.parsed-chrome-chromedriver-dir.outputs.chromedriver-dir }}
+      steps:
+        - uses: actions/checkout@v4
+        - name: Install Rust toolchain
+          uses: actions-rs/toolchain@v1
+          with:
+            toolchain: nightly-2024-07-18
+            override: true
+        - name: Cache wasm-pack
+          id: cache-wasm-pack
+          uses: actions/cache@v4
+          with:
+            path: ~/.cargo/bin/wasm-pack
+            key: ${{ runner.os }}-wasm-pack
+        - name: Install wasm-pack
+          if: steps.cache-wasm-pack.outputs.cache-hit != 'true'
+          run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
+        - name: Setup Chrome and ChromeDriver
+          uses: browser-actions/setup-chrome@v1
+          id: setup-chrome-chromedriver
+          with:
+            chrome-version: 130
+            install-chromedriver: true
+        - name: Parse Chrome and ChromeDriver Directories
+          id: parsed-chrome-chromedriver-dir
+          run: |
+            echo "chrome-dir=$(dirname ${{ steps.setup-chrome-chromedriver.outputs.chrome-path }})" >> $GITHUB_OUTPUT
+            echo "chromedriver-dir=$(dirname ${{ steps.setup-chrome-chromedriver.outputs.chromedriver-path }})" >> $GITHUB_OUTPUT
+        - name: Cache Chrome and ChromeDriver
+          id: cache-chrome-chromedriver
+          uses: actions/cache@v4
+          with:
+            path: |
+              ${{ steps.parsed-chrome-chromedriver-dir.outputs.chrome-dir }}
+              ${{ steps.parsed-chrome-chromedriver-dir.outputs.chromedriver-dir }}
+            key: ${{ runner.os }}-cache-chrome-chromedriver
+
+    test-wasm-halo2:
+        runs-on: ubuntu-latest
+        if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+        needs: setup-halo2-wasm-env
+        env:
+          CHROME_BIN: ${{ needs.setup-halo2-wasm-env.outputs.chrome-dir }}/chrome
+          CHROMEDRIVER_BIN: ${{ needs.setup-halo2-wasm-env.outputs.chromedriver-dir }}/chromedriver
+        steps:
+          - uses: actions/checkout@v4
+          - name: Restore cached wasm-pack
+            uses: actions/cache@v4
+            with:
+              path: ~/.cargo/bin/wasm-pack
+              key: ${{ runner.os }}-wasm-pack
+          - name: Restore cached chrome and chromedriver
+            uses: actions/cache@v4
+            with:
+              path: |
+                ${{ needs.setup-halo2-wasm-env.outputs.chrome-dir }}
+                ${{ needs.setup-halo2-wasm-env.outputs.chromedriver-dir }}
+              key: ${{ runner.os }}-cache-chrome-chromedriver
+          - name: Run wasm halo2 tests
+            run: |
+              echo "Override default chrome path for 'wasm-pack test'"
+              ln -sf $CHROME_BIN /usr/local/bin/google-chrome-stable
+              echo "Check override chrome version"
+              google-chrome-stable --version
+              cd mopro-wasm
+              wasm-pack test --chrome --chromedriver $CHROMEDRIVER_BIN --headless
     test-e2e:
         runs-on: ubuntu-latest
         if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
@@ -192,3 +264,72 @@ jobs:
               uses: android-actions/[email protected]
             - name: Build android app
               run: cd test-e2e/android && ./gradlew build
+    build-halo2-wasm-web:
+      runs-on: ubuntu-latest
+      needs: setup-halo2-wasm-env
+      if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+      steps:
+          - uses: actions/checkout@v4
+          - name: Restore cached wasm-pack
+            uses: actions/cache@v4
+            with:
+              path: ~/.cargo/bin/wasm-pack
+              key: ${{ runner.os }}-wasm-pack
+          - name: Cache halo2 wasm circuit
+            id: cache-halo2-wasm-circuit
+            uses: actions/cache@v4
+            with:
+              path: |
+                test-e2e/web/halo2-plonk-fibonacci
+                test-e2e/web/halo2-hyperplonk-fibonacci
+                test-e2e/web/halo2-gemini-fibonacci
+              key: ${{ runner.os }}-halo2-wasm-circuit-${{ hashFiles('mopro-wasm/**/*') }}
+          - name: Build circuits for Wasm Web app
+            if: steps.cache-halo2-wasm-circuit.outputs.cache-hit != 'true'
+            run: |
+              cd mopro-wasm 
+              wasm-pack build --target web --out-dir ../test-e2e/web/halo2-plonk-fibonacci -- --features plonk
+              wasm-pack build --target web --out-dir ../test-e2e/web/halo2-hyperplonk-fibonacci -- --features hyperplonk
+              wasm-pack build --target web --out-dir ../test-e2e/web/halo2-gemini-fibonacci -- --features gemini
+    test-halo2-wasm-web:
+        runs-on: ubuntu-latest
+        needs:
+          - setup-halo2-wasm-env
+          - build-halo2-wasm-web
+        env:
+          CHROME_BIN: ${{ needs.setup-halo2-wasm-env.outputs.chrome-dir }}/chrome
+          CHROMEDRIVER_BIN: ${{ needs.setup-halo2-wasm-env.outputs.chromedriver-dir }}/chromedriver
+        defaults:
+          run:
+              working-directory: test-e2e/web
+        steps:
+            - uses: actions/checkout@v4
+            - name: Restore cached chrome and chromedriver
+              uses: actions/cache@v4
+              with:
+                path: |
+                  ${{ needs.setup-halo2-wasm-env.outputs.chrome-dir }}
+                  ${{ needs.setup-halo2-wasm-env.outputs.chromedriver-dir }}
+                key: ${{ runner.os }}-cache-chrome-chromedriver
+            - name: Restore cached halo2 wasm circuit
+              uses: actions/cache@v4
+              with:
+                path: |
+                  test-e2e/web/halo2-plonk-fibonacci 
+                  test-e2e/web/halo2-hyperplonk-fibonacci
+                  test-e2e/web/halo2-gemini-fibonacci
+                key: ${{ runner.os }}-halo2-wasm-circuit-${{ hashFiles('mopro-wasm/**/*') }}
+            - name: Install dependencies
+              run: yarn install
+            - name: Run halo2-wasm-app server and test it
+              run: |
+                  nohup yarn start &
+                  for i in {1..30}; do
+                    if curl --silent http://localhost:3000 > /dev/null; then
+                      echo "Server is ready!"
+                      break
+                    fi
+                    echo "Waiting for server..."
+                    sleep 1
+                  done
+                  yarn test

.gitignore

@@ -5,4 +5,5 @@ mopro-example-app
 !templates/mopro-example-app
 graph.bin
 
-*.xcframework/
+*.xcframework/
+node_modules