Consensus_vrf (consensus.Consensus

module Scalar : sig ... end

module Group : sig ... end

module Message : sig ... end

val c : [> `Two_to_the of int ]

val c_bias : 'a list -> 'a list

module Output : sig ... end

module Threshold : sig ... end

module Evaluation_hash : sig ... end

module Output_hash : sig ... end

module Integrated : sig ... end

module Standalone (Constraint_constants : sig ... end) : sig ... end

type evaluation =
  ( Pasta_bindings.Pallas.t,
    Pasta_bindings.Fq.t
      Vrf_lib.Standalone.Evaluation.Discrete_log_equality.Poly.t )
    Vrf_lib.Standalone.Evaluation.Poly.t

type context =
  ( ( Unsigned.uint32, Pasta_bindings.Fp.t, int ) Message.t,
    Pasta_bindings.Pallas.t )
    Vrf_lib.Standalone.Context.t

module Layout : sig ... end