Module Abstractions.Pos

type credential =
| Credential of node_id * block_id * num_selections * priority * params

The type representing a node's credentials, generated by sortition.

and node_id =
| Node of int(*

id of the node

*)
and block_id =
| Block of int(*

block used to run sortition

*)
and num_selections =
| Selections of int(*

number of nodes selected by sortition

*)
and priority =
| Priority of int(*

the priority for this node

*)
and params =
| Params of int list(*

user-defined list of integer parameters used by sortition

*)
module type PoS = sig ... end

Abstraction for common sortition and verification operations in proof of stake protocols.