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:https://t.co/1vr8cAF2Cg
— vitalik.eth (@VitalikButerin) November 16, 2022
Got a news tip or correction? Let us know
If you got something out of this, please chip in to keep this site running, or subscribe to go ad-free.
0 views