EVM

.github/workflows/ci.yml

@@ -4,6 +4,7 @@ on: [push]
 
 env:
   GO_VERSION: 1.24
+  RUST_VERSION: stable
   RETENTION-DAYS: 1
 
 jobs:
@@ -15,8 +16,30 @@ jobs:
         uses: actions/setup-go@v5
         with:
           go-version: ${{ env.GO_VERSION }}
-      - name: build
+      - name: build (without FFI)
         run: make build
+
+  build-with-ffi:
+    if: false
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup Go ${{ env.GO_VERSION }}
+        uses: actions/setup-go@v5
+        with:
+          go-version: ${{ env.GO_VERSION }}
+      - name: Setup Rust ${{ env.RUST_VERSION }}
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: ${{ env.RUST_VERSION }}
+      - name: Cache Rust dependencies
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            rootchain/consensus/zkverifier/sp1-verifier-ffi
+            rootchain/consensus/zkverifier/light-client-verifier-ffi
+      - name: build (with FFI)
+        run: make build-with-ffi
   test:
     runs-on: ubuntu-latest
     steps:
@@ -25,9 +48,9 @@ jobs:
         uses: actions/setup-go@v5
         with:
           go-version: ${{ env.GO_VERSION }}
-      - name: vet
+      - name: vet (without FFI)
         run: go vet ./...
-      - name: test
+      - name: test (without FFI)
         run: make test
       - name: upload test coverage
         uses: actions/upload-artifact@v4
@@ -36,6 +59,38 @@ jobs:
           path: test-coverage.out
           retention-days: ${{ env.RETENTION-DAYS }}
 
+  test-with-ffi:
+    if: false
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup Go ${{ env.GO_VERSION }}
+        uses: actions/setup-go@v5
+        with:
+          go-version: ${{ env.GO_VERSION }}
+      - name: Setup Rust ${{ env.RUST_VERSION }}
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: ${{ env.RUST_VERSION }}
+      - name: Cache Rust dependencies
+        uses: Swatinem/rust-cache@v2
+        with:
+          workspaces: |
+            rootchain/consensus/zkverifier/sp1-verifier-ffi
+            rootchain/consensus/zkverifier/light-client-verifier-ffi
+      - name: Build Rust FFI libraries
+        run: make build-rust-ffi
+      - name: vet (with FFI)
+        run: go vet -tags zkverifier_ffi ./...
+      - name: test (with FFI)
+        run: make test ZKVERIFIER_FFI=1
+      - name: upload test coverage (with FFI)
+        uses: actions/upload-artifact@v4
+        with:
+          name: test-coverage-ffi
+          path: test-coverage.out
+          retention-days: ${{ env.RETENTION-DAYS }}
+
   analyze:
     runs-on: ubuntu-latest
     continue-on-error: true

.gitignore

@@ -3,6 +3,12 @@
 .DS_Store
 build/
 
+# rust
+target/
+Cargo.lock
+*.pdb
+config.toml
+
 # Test artifacts
 test-coverage.out
 test-coverage-cobertura.xml