Expand description
Trace mutation fuzzer for the Hekate ZK proving system.
Tampers valid execution traces
and asserts hekate_sdk::preflight
rejects every mutation. Scribble
never invokes the prover or verifier,
preflight (row-by-row constraint evaluation
plus bus multiset checking) is the oracle.
Re-exports§
pub use prelude::*;