Certic 荣获以太坊基金会两项资助……证明其在 zkEVM 良好格式验证领域的“领导者”地位

近日，全球最大的Web3安全公司CertiK在以太坊基金会2025年第一季度研究资助名单中荣获两项研究资助。
他获得了一大笔财富。这是zkEVM（零知识以太坊虚拟机）规范验证领域的一项成就，也是以太坊可扩展性战略的关键里程碑。
这再次彰显了CertiK在零知识证明（ZKP）系统形式化验证领域的全球技术领先地位。
此次获奖的核心是Certic差异化的“高级常规验证”技术。这
该技术相对于传统方法有四大创新。首先，它直接检查实际代码，而不是抽象模型。第二，代码的特殊性超出了其一般特征
深入检查第三的属性，自动化框架执行难以手动处理的复杂验证。第四，它可以超越学术层面立即应用到大规模的现实服务环境中。
具有能剧的力量。值得注意的是，Certic 自成立以来就以格式验证为核心技术，致力于将学术研究成果转化为实际 Web3 项目的高可靠安全服务。
重点是它已经增加了。这些技术优势使得 Certic 在验证复杂的零知识证明系统方面特别强大。例如，去年 Satik
我们成功完成了业界首次m电路的完整整形验证，证明了对复杂零知识电路进行全面整形验证是可能的。
此外，Satick 的格式验证技术已应用于 zkWasm、TON 主网合约和 Cosmo
s SDK 和各种 Web3 核心项目、蚂蚁集团的 HyperEnclave TEE、Asterinas OS、SGX TRTS
它被广泛应用于SDK等核心基础设施，证明了该技术的广泛适用性和高可靠性。
zkEVM 是一种利用零知识证明来彻底改变以太坊可扩展性的技术。交易计算
通过链下处理交易并使用简单的证明来验证其有效性，可以降低成本并提高吞吐量。然而，zkEVM的复杂性带来了新的安全风险。
格式验证是遏制、解决这些问题以及确保准确性和安全性的重要工具。固定验证使用数学方法来证明系统在所有可预见的条件下都能正常运行。
证明这一点可以防止漏洞和意外行为。随着区块链技术，特别是零知识证明系统的快速发展和普及，良好格式验证的重要性将变得更加重要。
大概吧。 Satik 的成果不仅有助于进一步增强以太坊生态系统的可扩展性和安全性，也为其他区块链项目提供了清晰的公平性验证方法。
预计这将成为制定明确标准的一个里程碑。