Genesis returns a stable checkpoint that serves as the starting checkpoint of the first epoch (epoch 0).

NewModule allocates and returns a new instance of the ModuleParams associated with sequence number sn.

StableCheckpointFromPb creates a new StableCheckpoint from its protobuf representation.

ModuleParams represents the state associated with a single instance of the checkpoint protocol (establishing a single stable checkpoint).

The Verifier interface represents a subset of the crypto.Crypto interface that can be used for verifying stable checkpoint certificates.

Certificate represents a certificate of validity of a checkpoint.

StableCheckpoint represents a stable checkpoint.