Alpha_context.Seed
This module re-exports definitions from Seed_repr
and Seed_storage
.
val seed_encoding : seed Mavryk_protocol_environment_alpha.Data_encoding.t
type vdf_solution =
Mavryk_protocol_environment_alpha.Vdf.result
* Mavryk_protocol_environment_alpha.Vdf.proof
val vdf_solution_encoding :
vdf_solution Mavryk_protocol_environment_alpha.Data_encoding.t
val pp_solution :
Mavryk_protocol_environment_alpha.Format.formatter ->
vdf_solution ->
unit
val check_vdf :
context ->
vdf_solution ->
unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.t
val compare_vdf_solution : vdf_solution -> vdf_solution -> int
val compute_randao :
context ->
context Mavryk_protocol_environment_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.t
val get_seed_computation_status :
context ->
seed_computation_status
Mavryk_protocol_environment_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.t