Vitalik Buterin (@vitalik.eth): [Farcast] @vitalik.eth To do this, we need to move away from optimistic proof systems, which inherently require waiting multiple days to withdraw.

[Farcast] @vitalik.eth To do this, we need to move away from optimistic proof systems, which inherently require waiting multiple days to withdraw. Historically, ZK proof tech has been immature and expensive, which made optimistic proofs the smart and safe choice. But recently, this is changing rapidly. https://ethproofs.org is an excellent place to track the progress of ZK-EVM proofs, which have been improving rapidly. Formal verification on ZK proofs is also advancing. Earlier this year, I proposed a 2-of-3 ZK + OP + TEE proof system strategy that threads the needle between security, speed and maturity: https://ethereum-magicians.org/t/a-simple-l2-security-and-finalization-roadmap/23309 * 2 of 3 systems (ZK, OP) are trustless, so no single actor (incl TEE manufacturer or side channel attacker) can break the proof system by violating a trust assumption * 2 of 3 systems (ZK, TEE) are instant, so you get fast withdrawals in the normal case * 2 of 3 systems (TEE, OP) have been in production in various contexts for years