Function filecoin_proofs::verify_post

pub fn verify_post(
    post_config: PoStConfig, 
    comm_rs: Vec<Commitment>, 
    challenge_seed: ChallengeSeed, 
    proofs: Vec<Vec<u8>>, 
    faults: Vec<u64>
) -> Result<VerifyPoStDynamicSectorsCountOutput>

Verifies a proof-of-spacetime.