feat: support debugging of recursive circuits in prover_cli (#2217)

## What ❔ * Now prover_cli will also debug recursive circuits (for example recursion tip)
matter-labs · Jun 12, 2024 · 7d2e12d · 7d2e12d
1 parent f529a45
commit 7d2e12d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/prover/Cargo.lock b/prover/Cargo.lock
diff --git a/prover/prover_cli/src/commands/debug_proof.rs b/prover/prover_cli/src/commands/debug_proof.rs
@@ -13,7 +13,7 @@ pub(crate) async fn run(_args: Args) -> anyhow::Result<()> {
     #[cfg(feature = "verbose_circuits")]
     {
         let buffer = std::fs::read(_args.file).unwrap();
-        zkevm_test_harness::debug::debug_basic_circuit(&buffer);
+        zkevm_test_harness::debug::debug_circuit(&buffer);
         Ok(())
     }
 }