Expand description

Concrete instantiations suitable for v2 primitives.

Type Definitions

Kinds of misbehavior, along with proof.
Signed statements about candidates.
Statements about candidates on the network.
A summary of import of a statement.