Consensus_vrf.Threshold
val f : Bignum.t
val base : Bignum.t
val params : Snarky_taylor.Params.t
val bigint_of_uint64 : Unsigned.UInt64.t -> Bigint.t
val is_satisfied : my_stake:Currency.Balance.Stable.Latest.t -> total_stake:Currency.Amount.Stable.Latest.t -> string -> bool
module Checked : sig ... end