fn verify_seal(vi: &SealVerifyInfo) -> Result<(), Box<dyn StdError>> {
        let commr = cid_to_replica_commitment_v1(&vi.sealed_cid)?;
        let commd = cid_to_data_commitment_v1(&vi.unsealed_cid)?;
        let prover_id = prover_id_from_u64(vi.sector_id.miner);

        if !proofs_verify_seal(
            vi.registered_proof.try_into()?,
            commr,
            commd,
            prover_id,
            SectorId::from(vi.sector_id.number),
            vi.randomness.0,
            vi.interactive_randomness.0,
            &vi.proof,
        )? {
            Err("Invalid Seal proof".into())
        } else {
            Ok(())
        }
    }
/// Verify seal proof for sectors. This proof verifies that a sector was sealed by the miner.
Verify seal proof for sectors. This proof verifies that a sector was sealed by the miner.
Verify seal proof for sectors . This proof verifies that a sector was sealed by the miner .
fn verify_seal(vi: &SealVerifyInfo) -> Result<(), Box<dyn StdError>> {
        let commr = cid_to_replica_commitment_v1(&vi.sealed_cid)?;
        let commd = cid_to_data_commitment_v1(&vi.unsealed_cid)?;
        let prover_id = prover_id_from_u64(vi.sector_id.miner);
        if !proofs_verify_seal(
            vi.registered_proof.try_into()?,
            commr,
            commd,
            prover_id,
            SectorId::from(vi.sector_id.number),
            vi.randomness.0,
            vi.interactive_randomness.0,
            &vi.proof,
        )? {
            Err("Invalid Seal proof".into())
        } else {
            Ok(())
        }
    }
fn verify_seal ( vi : & SealVerifyInfo ) -> Result < ( ) , Box < dyn StdError > > { let commr = cid_to_replica_commitment_v1 ( & vi . sealed_cid ) ? ; let commd = cid_to_data_commitment_v1 ( & vi . unsealed_cid ) ? ; let prover_id = prover_id_from_u64 ( vi . sector_id . miner ) ; if ! proofs_verify_seal ( vi . registered_proof . try_into ( ) ? , commr , commd , prover_id , SectorId :: from ( vi . sector_id . number ) , vi . randomness . 0 , vi . interactive_randomness . 0 , & vi . proof , ) ? { Err ( " " . into ( ) ) } else { Ok ( ( ) ) } }
Verify seal proof for sectors.
Verify seal proof for sectors .
vi
&SealVerifyInfo