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

fn main() { let _ = cyber_bao::proof::VerifiedProof::new(&[], [0; 32], 0, cyber_bao::BlockSize(0), 0..0); }