@ethereumfndn授予CertiK两项研究资助，以推进zkEVM系统的正式验证。 随着以太坊通过零知识证明进行扩展，确保每一层的正确性变得至关重要。