The Ethereum Foundation (EF) is committing tens of millions of dollars to the development of Zero-Knowledge Virtual Machines (zkVMs), focusing on key projects such as zkRISC-V formal verification, Poseidon cryptanalysis, and EVM compatibility. This investment aims to enhance the security and scalability of Ethereum's infrastructure, which is seen as critical to the network's roadmap. Additionally, the launch of the first security-focused AVS mainnet by AltLayer, secured by Eigenlayer's restaking mechanism, is expected to provide sophisticated security services for over 12 million wallet users. The advancements in zk technology, particularly on the Starknet platform, include native SNARK verification, which allows for direct proof verification on-chain and is integrated with major tools like Circom. These developments are anticipated to significantly reduce the costs associated with zk proof verification, with reports indicating that zk proofs on Ethereum have recently become 90% cheaper, thereby unlocking greater scalability and composability for the network.