1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use honggfuzz::fuzz;

use oasis_core_runtime::storage::mkvs::sync::{Proof, ProofVerifier, RawProofEntry};

fn main() {
    loop {
        fuzz!(|entries: Vec<Option<RawProofEntry>>| {
            let proof = Proof {
                entries,
                ..Default::default()
            };

            let pv = ProofVerifier;
            let _ = pv.verify_proof(proof.untrusted_root, &proof);
        });
    }
}