mina_tree::proofs::block::vrf

Function check

Source 
pub fn check(
    m: &InnerCurve<Fp>,
    epoch_ledger: &EpochLedger<Fp>,
    global_slot: &CheckedSlot<Fp>,
    _block_stake_winner: &CompressedPubKey,
    _block_creator: &CompressedPubKey,
    seed: Fp,
    prover_state: &ConsensusStakeProofStableV2,
    w: &mut Witness<Fp>,
) -> Result<(Boolean, Fp, Box<[bool; 253]>, Box<Account>)>