zk_scribble/lib.rs
1//! Trace mutation fuzzer for
2//! the Hekate ZK proving system.
3//!
4//! Tampers valid execution traces
5//! and asserts `hekate_sdk::preflight`
6//! rejects every mutation. Scribble
7//! never invokes the prover or verifier,
8//! preflight (row-by-row constraint evaluation
9//! plus bus multiset checking) is the oracle.
10
11#![forbid(unsafe_code)]
12
13pub mod apply;
14pub mod check;
15pub mod config;
16pub mod mutation;
17pub mod prelude;
18pub mod strategy;
19pub mod target;
20
21pub use prelude::*;