From 576b33df82a3c6ddc6c394a87a5f00d7ab6c53a6 Mon Sep 17 00:00:00 2001 From: "sm.wu" Date: Mon, 23 Sep 2024 16:49:54 +0800 Subject: [PATCH] mockprover error hint --- ceno_zkvm/src/scheme/mock_prover.rs | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/ceno_zkvm/src/scheme/mock_prover.rs b/ceno_zkvm/src/scheme/mock_prover.rs index 899708a7a..9f460bbbf 100644 --- a/ceno_zkvm/src/scheme/mock_prover.rs +++ b/ceno_zkvm/src/scheme/mock_prover.rs @@ -548,6 +548,15 @@ impl<'a, E: ExtensionField + Hash> MockProver { println!("======================================================"); println!("Error: {} constraints not satisfied", errors.len()); + println!( + r"Hints: + - If you encounter a constraint error that sporadically occurs in different environments + (e.g., passes locally but fails in CI), + this often points to unassigned witnesses during the assignment phase. + Accessing these cells before they are properly written leads to undefined behavior. + " + ); + for error in errors { error.print(wits_in, &cb.cs.witin_namespace_map); }