Justin Drake: The Ethereum Foundation is investing tens of millions of dollars into zkVM (Zero-Knowledge Virtual Machine), currently including three projects:
🔍 Focused on zkRISC-V formal verification
🔐 Poseidon cryptographic analysis
📊 L2beat for zkVM
Some zkVMs are designed to be compatible with EVM, allowing developers to directly port existing smart contracts.