Vitalik on Twitter: The “centralized anything is evil by default, use defi and self-custody” ethos did very well this week, but remember that it too has risks: bugs in smart contract code.

The one I worry about most is if we have $10B in a ZK-rollup 2y from now and it gets hacked because of a bug in the circuit constraint code or the EVM wrapper around it.

For the latter, keep it simple and formal-verify. For the former, my best ideas are:t.co/1vr8cAF2Cg

— vitalik.eth (@VitalikButerin) November 16, 2022