tracking relations

starkware-libs · Dec 5, 2024 · 60dfca9 · 60dfca9
1 parent 63b2358
commit 60dfca9
Show file tree

Hide file tree

Showing 6 changed files with 633 additions and 32 deletions.
diff --git a/stwo_cairo_prover/Cargo.lock b/stwo_cairo_prover/Cargo.lock
diff --git a/stwo_cairo_prover/Cargo.toml b/stwo_cairo_prover/Cargo.toml
@@ -30,7 +30,7 @@ serde = "1.0.207"
 serde_json = "1.0.1"
 sonic-rs = "0.3.10"
 # TODO(ShaharS): take stwo version from the source repository.
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "6e7d2aa6", features = [
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "76af3c6", features = [
     "parallel",
 ] }
 thiserror = "1.0.63"

diff --git a/stwo_cairo_prover/crates/adapted_prover/src/main.rs b/stwo_cairo_prover/crates/adapted_prover/src/main.rs
@@ -26,6 +26,8 @@ struct Args {
     priv_json: PathBuf,
     #[structopt(long = "proof_path")]
     proof_path: PathBuf,
+    #[structopt(long = "debug_lookup")]
+    debug_lookup: bool,
 }
 
 #[derive(Debug, Error)]
@@ -67,7 +69,7 @@ fn run(args: impl Iterator<Item = String>) -> Result<CairoProof<Blake2sMerkleHas
     let casm_states_by_opcode_count = &vm_output.state_transitions.casm_states_by_opcode.counts();
     log::info!("Casm states by opcode count: {casm_states_by_opcode_count:?}");
 
-    let proof = prove_cairo(vm_output)?;
+    let proof = prove_cairo(vm_output, args.debug_lookup)?;
 
     // TODO(yuval): This is just some serialization for the sake of serialization. Find the right
     // way to serialize the proof.