Function filecoin_proofs::verify_winning_post

pub fn verify_winning_post<Tree: 'static + MerkleTreeTrait>(
    post_config: &PoStConfig, 
    randomness: &ChallengeSeed, 
    replicas: &[(SectorId, PublicReplicaInfo)], 
    prover_id: ProverId, 
    proof: &[u8]
) -> Result<bool>

Verifies a winning proof-of-spacetime.

The provided replicas must be the same ones as passed to generate_winning_post, and be based on the indices generated by generate_winning_post_sector_challenge. It is the responsibility of the caller to ensure this.