soft3/radio/audit/2026-10-12-bao-bounded-proof/seals/src/bin/mutate_proof.rs

fn main() {
    let mut proof = vec![0u8; 8];
    let view = bao_proof_seal_probes::finish(&proof);
    proof[0] = 1;
    let _ = view.size();
}