pub fn verify_batch_append_with_proofs(
batch_size: u64,
public_input_hash: [u8; 32],
compressed_proof: &CompressedProof,
) -> Result<(), VerifierError>pub fn verify_batch_append_with_proofs(
batch_size: u64,
public_input_hash: [u8; 32],
compressed_proof: &CompressedProof,
) -> Result<(), VerifierError>