According to Wu, Web3 security auditing company Certora has announced receiving funding from the Ethereum Foundation to verify the correctness of 'automatic precompiles' (autoprecompiles). This technology, developed by Powdr Labs for the Ethereum Foundation's zkEVM initiative, aims to optimize ZK computation performance and enhance the scalability of the Ethereum network. With this grant, Certora will collaborate with Powdr Labs to develop new verification technologies to ensure the security of the zkEVM execution engine. They also plan to open-source related specifications, proofs, and verification frameworks for all zkEVM implementers and ZK protocol researchers. http://(wublock123.com)/index.php?m=content&c=index&a=show&catid=6&id=56257