pub fn verify_proof( proof: &UnrolledProgramProof, vk: &UnifiedVk, expected_app_bin_hash: Option<[u8; 32]>, expected_output: Option<&dyn Commit>, ) -> Result<()>