05月14日,星期三 07:00
火讯财经讯,5月14日消息,据以太坊基金会官网显示,区块链安全机构CertiK近日荣获以太坊基金会2025年第一季度两项研究资助,分别聚焦于开发者工具和zkVM电路验证的形式化手段提升: Verus工具评估:CertiK将评估Verus(一种Rust验证工具)在验证用Rust编写的电路及EVM预编译模块方面的实用性。 zkVM电路验证简化:该项目旨在开发策略以简化zkVM电路验证,重点解决模块算术与多个数值打包为单一域元素的情况。 据悉,CertiK的形式化验证技术已广泛应用于zkWasm、TON主链合约、CosmosSDK,以及蚂蚁集团的HyperEnclaveTEE、AsterinasOS等多个顶级Web3项目。