Eth R&D forum discussion proposes formal verification requirement for client hard fork upgrades
A core developer raises the case for mandating formal verification of execution and consensus client changes before future upgrades, drawing on progress in verification tooling.