image/svg+xml
DEFINED
STARTED
LOCKED_IN
ACTIVE
FAILED
starttime <= MTP < timeout
MTP >= timeout
MTP >= timeout
(mod(height, windowsize) = 0) AND(MTP < timeout) AND (threshold reached)
(mod(height, windowsize) = 0) AND (height >= locked_in_height + minlockedblocks) AND (MTP >= locked_in_time + minlockedtime)
(Always)