[chore] separate revm import into separate feature (#44)

* chore: import `ruint` separately to not rely on `revm`

* feat: add feature `revm` to toggle `revm` import

Separates `revm` import, which is only used for testing EVM execution,
from `loader_evm` feature, which is used more broadly for generating
proofs to be sent to on-chain verifier.

* chore: add CI to check `--release` compilation with assembly

* fix: import under revm

.github/workflows/ci.yaml

@@ -27,11 +27,11 @@ jobs:
         run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version
 
       - name: Run test
-        run: cargo test --all -- --nocapture
+        run: cargo test --all --features "revm" -- --nocapture
 
       - name: Run example
         working-directory: "snark-verifier-sdk"
-        run: cargo run --example standard_plonk
+        run: cargo run --example standard_plonk --features "revm"
 
   lint:
     name: Lint

.github/workflows/release.yaml

@@ -0,0 +1,36 @@
+name: CI
+
+on:
+  pull_request:
+    branches:
+      - ["main", "release-*"]
+  push:
+    branches:
+      - main
+
+jobs:
+  test:
+    name: Test assembly release
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Install toolchain
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          override: false
+
+      - uses: Swatinem/rust-cache@v1
+        with:
+          cache-on-failure: true
+
+      - name: Install solc
+        run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version
+
+      - name: Run test
+        run: cargo test --all --features "revm, halo2-base/asm" -- --nocapture
+
+      - name: Run example
+        working-directory: "snark-verifier-sdk"
+        run: cargo run --example standard_plonk --features "revm, halo2-base/asm"

.gitignore

@@ -4,7 +4,7 @@
 /target
 testdata
 
-Cargo.lock
+# Cargo.lock
 params
 agg.pk
-break_points.json
+break_points.json