pub fn generate_empty_sector_update_proof_with_vanilla(
    registered_proof: RegisteredUpdateProof,
    vanilla_proofs: Vec<PartitionProofBytes>,
    comm_r_old: Commitment,
    comm_r_new: Commitment,
    comm_d_new: Commitment,
) -> Result<EmptySectorUpdateProof>
Expand description

Generate updated proof from an empty sector provided the vanilla proof and new commitment.

§Arguments

  • registered_proof - Selected sector update proof.
  • vanilla_proofs - Vanilla Merkle tree proof for updated sector.
  • comm_r_old - Previous replica commitment.
  • comm_r_new - New replica commitment.
  • comm_d_new - New data commitment.

Returns new EmptySectorUpdateProof.