Operations for leaders.
Each even round has a globally known leader validator. If a validator (the leader or another) has a certificate at that round that is authored by the leader, that certificate is an anchor, which may be committed (under suitable conditions) to form a block that extends the blockchain. Here we introduce some operations related to leaders.