Certora awarded Ethereum Foundation grant to help create a ZK future for EVM

Certora, the full-stack security assurance platform trusted by the most advanced teams in Web3, has been awarded a research grant from the Ethereum Foundation to verify the correctness of autopreco...

By · · 1 min read
Certora awarded Ethereum Foundation grant to help create a ZK future for EVM

Source: Crypto Briefing

Certora, the full-stack security assurance platform trusted by the most advanced teams in Web3, has been awarded a research grant from the Ethereum Foundation to verify the correctness of autoprecompiles.