New decider implementation using LegoGroth16

.cargo/config.toml

@@ -0,0 +1,5 @@
+[target.wasm32-unknown-unknown]
+runner = 'wasm-bindgen-test-runner'
+
+[target.wasm32-wasip2]
+runner = 'wasmtime'

.github/workflows/ci.yml

@@ -1,5 +1,6 @@
 name: CI Check
 on:
+  workflow_dispatch:
   merge_group:
   pull_request:
   push:
@@ -36,44 +37,45 @@ concurrency:
 jobs:
   test:
     if: github.event.pull_request.draft == false
-    name: Test
+    name: Test ${{ matrix.target }} (${{ matrix.features }})
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        feature_set: [basic]
         include:
-          - feature_set: basic
-            features: --features default,light-test
+          # x64: both parallel and no-parallel
+          - target: x86_64-unknown-linux-gnu
+            features: parallel
+            args: "--features parallel"
+          - target: x86_64-unknown-linux-gnu
+            features: no-parallel
+            args: ""
+          # wasm: no-parallel only
+          - target: wasm32-unknown-unknown
+            features: no-parallel
+            args: ""
+          - target: wasm32-wasip2
+            features: no-parallel
+            args: ""
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1
-      - uses: noir-lang/noirup@v0.1.3
-        with:
-          toolchain: 0.36.0
-      - name: Download Circom
-        run: |
-          mkdir -p $HOME/bin
-          curl -sSfL https://github.com/iden3/circom/releases/download/v2.1.6/circom-linux-amd64 -o $HOME/bin/circom
-          chmod +x $HOME/bin/circom
-          echo "$HOME/bin" >> $GITHUB_PATH
-      - name: Download solc
-        run: |
-          curl -sSfL https://github.com/ethereum/solidity/releases/download/v0.8.4/solc-static-linux -o /usr/local/bin/solc
-          chmod +x /usr/local/bin/solc
-      - name: Execute compile.sh to generate .r1cs and .wasm from .circom
-        run: ./experimental-frontends/src/circom/test_folder/compile.sh
-      - name: Execute compile.sh to generate .json from noir
-        run: ./experimental-frontends/src/noir/test_folder/compile.sh
-      - name: Run tests
-        uses: actions-rs/cargo@v1
-        with:
-          command: test
-          args: --release --workspace --no-default-features ${{ matrix.features }}
-      - name: Run Doc-tests
-        uses: actions-rs/cargo@v1
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
         with:
-          command: test
-          args: --doc
+          targets: ${{ matrix.target }}
+      - uses: Swatinem/rust-cache@v2
+      - name: Install wasm-bindgen-cli
+        if: matrix.target == 'wasm32-unknown-unknown'
+        run: cargo install wasm-bindgen-cli
+      - name: Install wasmtime-cli
+        if: matrix.target == 'wasm32-wasip2'
+        run: cargo install wasmtime-cli
+      - name: Test sonobe-primitives
+        run: cargo test --release -p sonobe-primitives --target ${{ matrix.target }} ${{ matrix.args }}
+      - name: Test sonobe-fs
+        run: cargo test --release -p sonobe-fs --target ${{ matrix.target }} ${{ matrix.args }}
+      - name: Test sonobe-ivc
+        run: cargo test --release -p sonobe-ivc --target ${{ matrix.target }} ${{ matrix.args }}
+      - name: Test documentation examples
+        run: cargo test --doc --target ${{ matrix.target }} ${{ matrix.args }}
 
   build:
     if: github.event.pull_request.draft == false
@@ -82,121 +84,55 @@ jobs:
     strategy:
       matrix:
         target:
+          - x86_64-unknown-linux-gnu
           - wasm32-unknown-unknown
-          - wasm32-wasip1
-          # Ignoring until clear usage is required
-          # - wasm32-unknown-emscripten
-
-    steps:
-      - uses: actions/checkout@v3
-      - uses: actions-rs/toolchain@v1
-        with:
-          override: false
-          default: true
-      - name: Add target
-        run: rustup target add ${{ matrix.target }}
-      - name: Wasm-compat experimental-frontends build
-        uses: actions-rs/cargo@v1
-        with:
-          command: build
-          args: -p experimental-frontends --no-default-features --target ${{ matrix.target }} --features "wasm, parallel"
-      - name: Wasm-compat folding-schemes build
-        uses: actions-rs/cargo@v1
-        with:
-          command: build
-          args: -p folding-schemes --no-default-features --target ${{ matrix.target }} --features "default,light-test"
-      - name: Run wasm-compat script
-        run: |
-          chmod +x .github/scripts/wasm-target-test-build.sh
-          .github/scripts/wasm-target-test-build.sh
-        shell: bash
-
-  examples:
-    if: github.event.pull_request.draft == false
-    name: Run examples & examples tests
-    runs-on: ubuntu-latest
+          - wasm32-wasip2
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1
-      - uses: noir-lang/noirup@v0.1.3
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
         with:
-          toolchain: 0.36.0
-      - name: Download Circom
-        run: |
-          mkdir -p $HOME/bin
-          curl -sSfL https://github.com/iden3/circom/releases/download/v2.1.6/circom-linux-amd64 -o $HOME/bin/circom
-          chmod +x $HOME/bin/circom
-          echo "$HOME/bin" >> $GITHUB_PATH
-      - name: Download solc
-        run: |
-          curl -sSfL https://github.com/ethereum/solidity/releases/download/v0.8.4/solc-static-linux -o /usr/local/bin/solc
-          chmod +x /usr/local/bin/solc
-      - name: Execute compile.sh to generate .r1cs and .wasm from .circom
-        run: ./experimental-frontends/src/circom/test_folder/compile.sh
-      - name: Execute compile.sh to generate .json from noir
-        run: ./experimental-frontends/src/noir/test_folder/compile.sh
-      - name: Run examples tests
-        run: cargo test --examples
-      - name: Run examples
-        run: cargo run --release --example 2>&1 | grep -E '^ ' | xargs -n1 cargo run --release --example
-
-  # run the benchmarks with the flag `--no-run` to ensure that they compile,
-  # but without executing them.
-  bench:
-    if: github.event.pull_request.draft == false
-    name: Bench compile
-    timeout-minutes: 30
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1
+          targets: ${{ matrix.target }}
       - uses: Swatinem/rust-cache@v2
-      - uses: actions-rs/cargo@v1
-        with:
-          command: bench
-          args: -p folding-schemes --no-run
+      - name: Build sonobe-primitives
+        run: cargo build -p sonobe-primitives --target ${{ matrix.target }}
+      - name: Build sonobe-fs
+        run: cargo build -p sonobe-fs --target ${{ matrix.target }}
+      - name: Build sonobe-ivc
+        run: cargo build -p sonobe-ivc --target ${{ matrix.target }}
 
   fmt:
     if: github.event.pull_request.draft == false
     name: Rustfmt
     timeout-minutes: 30
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1
-      - uses: Swatinem/rust-cache@v2
-      - run: rustup component add rustfmt
-      - uses: actions-rs/cargo@v1
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
         with:
-          command: fmt
-          args: --all --check
+          components: rustfmt
+      - uses: Swatinem/rust-cache@v2
+      - name: Run rustfmt
+        run: cargo fmt --all --check
 
   clippy:
     if: github.event.pull_request.draft == false
-    name: Clippy lint checks
+    name: Clippy (${{ matrix.target }})
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        feature_set: [basic, wasm]
-        include:
-          - feature_set: basic
-            features: --features default
-            # We only want to test `experimental-frontends` package with `wasm` feature.
-          - feature_set: wasm
-            features: -p experimental-frontends --features wasm,parallel --target wasm32-unknown-unknown
+        target:
+          - x86_64-unknown-linux-gnu
+          - wasm32-unknown-unknown
+          - wasm32-wasip2
     steps:
-      - uses: actions/checkout@v2
-      - uses: actions-rs/toolchain@v1
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
         with:
           components: clippy
+          targets: ${{ matrix.target }}
       - uses: Swatinem/rust-cache@v2
-      - name: Add target
-        run: rustup target add wasm32-unknown-unknown
       - name: Run clippy
-        uses: actions-rs/cargo@v1
-        with:
-          command: clippy
-          args: --no-default-features ${{ matrix.features }} -- -D warnings
+        run: cargo clippy --workspace --all-targets --target ${{ matrix.target }} -- -D warnings
 
   typos:
     if: github.event.pull_request.draft == false

.gitignore

@@ -1,18 +1,6 @@
 /target
-Cargo.lock
 
-# Circom generated files
-experimental-frontends/src/circom/test_folder/*_js/
 *.r1cs
 *.sym
-
-# Noir generated files
-experimental-frontends/src/noir/test_folder/*/target/*
-
-# generated contracts data
-solidity-verifiers/generated
-examples/*.sol
-examples/*.calldata
-examples/*.inputs
 *.serialized
 */*.serialized