Fix halo2_proofs features for wasm32 build & add ci for wasm build.

Co-authored-by: Greg Pfeil <greg@technomadic.org>

.github/workflows/ci.yml

@@ -22,6 +22,22 @@ jobs:
           command: test
           args: --verbose
 
+  build:
+    name: Build target ${{ matrix.target }}
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        target:
+          - wasm32-wasi
+
+    steps:
+      - uses: actions/checkout@v3
+      - name: Add target
+        run: rustup target add ${{ matrix.target }}
+      - run: cargo fetch
+      - name: Build for ${{ matrix.target }} target
+        run: cargo build --verbose --no-default-features --target ${{ matrix.target }}
+
   bitrot:
     name: Bitrot check
     runs-on: ubuntu-latest

Cargo.toml

@@ -30,7 +30,7 @@ ff = "0.13"
 fpe = "0.5"
 group = { version = "0.13", features = ["wnaf-memuse"] }
 halo2_gadgets = "0.2"
-halo2_proofs = "0.2"
+halo2_proofs = { version = "0.2", default-features = false, features = ["batch"] }
 hex = "0.4"
 lazy_static = "1"
 memuse = { version = "0.2.1", features = ["nonempty"] }
@@ -66,6 +66,9 @@ pprof = { version = "0.9", features = ["criterion", "flamegraph"] } # MSRV 1.56
 bench = false
 
 [features]
+default = ["halo2-batch", "halo2-multicore"]
+halo2-batch = ["halo2_proofs/batch"]
+halo2-multicore = ["halo2_proofs/multicore"]
 dev-graph = ["halo2_proofs/dev-graph", "image", "plotters"]
 test-dependencies = ["proptest"]