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