We often get asked "wen ZK?"

Little known fact: OP Mainnet is ZK-provable today. 

So... why haven’t we already thrown fault proofs away and turned into a ZK rollup?

I think this is the wrong framing for the question because it focuses on a specific technical architecture rather than the user value:
- Better theoretical security
- Secure low latency bridging

Our goal is to continuously improve the security, speed, reliability that our users receive on a per-cent basis. But ZK is not the only way to do so!

I'd love to switch to ZK one day. But the following must be true for it to be a net-beneficial switch for users:
1. Lindy/ de-risked cryptography
2. Sub-cent transactions
3. EVM equivalent

Til then, we continue to invest in greater security, lower latency, and even more scalable blockspace. Today, that's done with fault proofs. In the future, maybe a combination of fault proofs and zk proofs!

We are certainly investing in both!
(So much gratitude to our brilliant partners at risc0, sp1, and O1 Labs)