我们很自豪地宣布，CertiK已获得@ethereumfndn的两项研究资助，以推进zkEVM系统的正式验证。 随着以太坊以零已知证明进行扩展，正式验证是确保每一层正确性和安全性的关键。