Block proposer elected
Validator re-execution
header
is validtransaction
(s) are valid by their validity rulesgasLimit
(s) do not exceed the block gasLimit
stateRoot
matches a local stateRoot
after executing all transactionstxsRoot
, withdrawalsHash
, ommersHash
, and other checksAchieving consensus
Symphony reduces replicated execution
Resonance enables user preference