pub fn verify_empty_sector_update_proof(
    registered_proof: RegisteredUpdateProof,
    proof: &[u8],
    comm_r_old: Commitment,
    comm_r_new: Commitment,
    comm_d_new: Commitment,
) -> Result<bool>
Expand description

Verify an empty sector update proof provided the proof and new and old commitments.

§Arguments

  • registered_proof - Selected sector update proof.
  • proof - Proof to verify.
  • comm_r_old - Previous replica commitment.
  • comm_r_new - New replica commitment.
  • comm_d_new - New data commitment.

Returns result of proof verification.