The @ethereumfndn has awarded CertiK with two research grants to advance formal verification of zkEVM systems. As Ethereum scales through zero-knowledge proofs, ensuring correctness at every layer becomes critical.