Merge pull request #18 from lambdaclass/witness

Witness generation for KZG proving

.github/workflows/ci.yaml

@@ -8,20 +8,20 @@ on:
 jobs:
   kzg_prover:
     name: KZG Prover
-    uses: lambdaclass/mina_bridge/.github/workflows/rust_ci.yaml@main
+    uses: ./.github/workflows/rust_ci.yaml
     with:
       directory: kzg_prover
       skip_run: true
 
   public_input_gen:
     name: Public input generation
-    uses: lambdaclass/mina_bridge/.github/workflows/rust_ci.yaml@main
+    uses: ./.github/workflows/rust_ci.yaml
     with:
       directory: public_input_gen
 
   verify_circuit_tests:
     name: Verifying circuit Rust tests
-    uses: lambdaclass/mina_bridge/.github/workflows/rust_ci.yaml@main
+    uses: ./.github/workflows/rust_ci.yaml
     with:
       directory: verify_circuit_tests
 

.github/workflows/rust_ci.yaml

@@ -33,6 +33,9 @@ jobs:
 
       - name: Set up cargo cache
         uses: Swatinem/rust-cache@v2
+
+      - name: Clone Mina monorepo
+        run: sh ../evm_bridge/scripts/preinstall.sh
 
       - name: Run cargo check
         run: cargo check --workspace

.gitignore

@@ -0,0 +1,3 @@
+# Generated on EVM Bridge preinstall
+mina_monorepo
+

README.md

@@ -76,3 +76,4 @@ make
 ```
 
 This will create the constraint system of the verification of a proof with fixed values.
+This will also clone the Monorepo version of Mina so that the bridge uses o1js from there.