Establish whether graph-traversal order is proposer-independent
Establish whether leaving intra-round block order to graph traversal in Mysticeti is beyond a proposer’s influence, so that the round-only ordering rule cannot be manipulated through the traversal inputs.
References
Round only, with intra-round order left to graph traversal. This measured the fairest of the three rules we ran ($52.7\%$, against $53.7\%$ for the digest rule and $56.3\%$ for production), and it is not grindable through the block digest, because the digest plays no part in it. We stop short of recommending it because we did not establish that traversal order is beyond a proposer’s influence, and an ordering rule is only as good as its worst manipulable input. Establishing that is worthwhile future work.
Defending against silent-except-leader means changing what a leader round is worth, which is a change to the ordering rule (P2) rather than to the tiebreak, and we leave it open.