We’re proud to announce that CertiK has received two research grants from the @ethereumfndn to advance the formal verification of zkEVM systems. As Ethereum scales with zero-knowledge proofs, formal verification is key to ensuring correctness and security at every layer.