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

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