use cyber_bao::{BlockSize, proof::{ProofVerifier, VerifiedProof}};
pub fn finish(proof: &[u8]) -> VerifiedProof<'_> {
let root = [0xea,0x57,0xb2,0xe6,0xb1,0xec,0x7d,0x2d,0xe1,0x1b,0x15,0xcb,0x6d,0x70,0x60,0xdd,0x61,0xd2,0x47,0xfe,0x0f,0xbf,0x5f,0x7d,0x3f,0xb9,0x7a,0x7b,0xe9,0x32,0x85,0x52];
let mut verifier = ProofVerifier::new(proof, root, 0, BlockSize(0), 0..0).unwrap();
loop { if let Some(view) = verifier.step().unwrap() { return view; } }
}
use ;