Is ZK enabling Ethereum to eat Solana’s lunch?

Technically, zero-knowledge proofs and co-processors significantly expand Ethereum's design space toward what Solana offers, but the article argues that Ethereum's social consensus challenges keep key features like shared liquidity and pre-confirmations a long way off. It says ZK compute's slowdown factor has fallen from 5-6 to 3-4, and that proof creation time dropped 400x between 2017 and 2022, to 170 milliseconds. It cites RISC Zero's Bonsai, used by Eclipse and Citrea, and Axiom as leading ZK co-processor examples. It also notes that Ethereum supports only the BN-254 elliptic curve cost-effectively, and that roll-ups with their own tokens and brands may be reluctant to share state.