Ethereum researchers propose shrinking the client's trusted base so formal verification can cover what matters · Polylog