fuzz_mkvs_proof/
mkvs_proof.rs

1use honggfuzz::fuzz;
2
3use oasis_core_runtime::storage::mkvs::sync::{Proof, ProofVerifier, RawProofEntry};
4
5fn main() {
6    loop {
7        fuzz!(|entries: Vec<Option<RawProofEntry>>| {
8            let proof = Proof {
9                entries,
10                ..Default::default()
11            };
12
13            let pv = ProofVerifier;
14            let _ = pv.verify_proof(proof.untrusted_root, &proof);
15        });
16    }
17}