Merging Oles changes that add compression and snark generation (#7)

Co-authored-by: olesHolem <[email protected]>

Author: mm-zk

.github/workflows/ci.yml

@@ -22,4 +22,4 @@ jobs:
         run: cargo build --verbose
       - name: tests
         # We need to increase the stack size for the tests (due to quotient computation)
-        run:  RUST_MIN_STACK=67108864 cargo test --release -- --nocapture
+        run:  RUST_MIN_STACK=67108864 cargo test --release -- --nocapture --test-threads=1

Cargo.toml

@@ -15,8 +15,13 @@ path = "src/main.rs"
 [dependencies]
 boojum = { git = "https://github.com/matter-labs/zksync-crypto.git", package="boojum", branch = "oh_mersenne_field" }
 # boojum = { path = "../zksync-crypto/crates/boojum"}
-zkos_verifier = {git="https://github.com/matter-labs/air_compiler.git", package="verifier", branch="oh_for_zkos_wrapper", features=["proof_utils"]}
-# zkos_verifier = {path="../air_compiler/verifier", package="verifier", features=["proof_utils"]}
+bellman = { git = "https://github.com/matter-labs/zksync-crypto.git", package="zksync_bellman", branch = "oh_mersenne_field" }
+rescue_poseidon = { git = "https://github.com/matter-labs/zksync-crypto.git", package="rescue_poseidon", branch = "oh_mersenne_field" }
+# rescue_poseidon = { path = "../zksync-crypto/crates/rescue-poseidon"}
+snark_wrapper = { git = "https://github.com/matter-labs/zksync-crypto.git", package="snark_wrapper", branch = "oh_mersenne_field" }
+# snark_wrapper = { path = "../zksync-crypto/crates/snark-wrapper"}
+risc_verifier = {git="https://github.com/matter-labs/air_compiler.git", package="reduced_machine_for_wrapper_verifier", features=["proof_utils"], branch="oh_for_zkos_wrapper"}
+# risc_verifier = {path="../air_compiler/circuit_defs/reduced_machine_for_wrapper/verifier", package="reduced_machine_for_wrapper_verifier", features=["proof_utils"]}
 serde_json = { version = "*" }
 serde = { version = "1", default-features = false, features = ["derive", "alloc"]}
 clap = { version = "4.5.21", features = ["derive"] }

README.md

@@ -3,10 +3,10 @@ Library for verifying zkos with boojum
 
 It takes the zkos proof (in json format), and returns the boojum proof.
 
-Currently working only on the zkos delegation proofs.
+Currently it also requires you to provide the file with final register inputs.
 
 You can use it as a library, or as a cli tool:
 
 ```
-cargo run --release -- --input delegation_proof --output boojum_proof.json
+cargo run --release -- --input testing_data/risc_proof  --registers-input testing_data/register_final_values --output tmp.json
 ```