Certora, a Web3 security firm, has received research funding from the Ethereum Foundation to collaborate with Powdr Labs on optimizing Ethereum’s zkEVM technology through formal verification of automatic pre-compilation.
Certora, a Web3 security firm, has received research funding from the Ethereum Foundation to collaborate with Powdr Labs on optimizing Ethereum’s zkEVM technology through formal verification of automatic pre-compilation.
Leave a Reply