Ethereum

🎊 Grant Announcement: Upgrading KEVM for Pectra Hardfork by @rv-inc!

Check out how the team is implementing the EIPs introduced under Pectra in KEVM, updating its semantics, execution layer, and conformance testing infrastructure.

1/ Big thanks to the @EF_ESP for our recently received grant to upgrade our KEVM and Kontrol tools for Ethereum's Pectra network upgrade🛠️

The KEVM upgrade will help us keep Ethereum secure and robust as it evolves 👇 https://t.co/8JfGWW2uvw

Runtime Vеrification

We apply formal methods to improve the safety, reliability and correctness of computing systems for blockchain, auto and space.

🎊 Grant Announcement: Upgrading KEVM for Pectra Hardfork by @rv-inc!

Check out how the team is implementing the EIPs introduced under Pectra in KEVM, updating its semantics, execution layer, and conformance testing infrastructure.

https://x.com/rv_inc/status/1920504113462161847