Ethereum

Another milestone for Ethereum developer tooling! 🧱

@rv-inc has completed their KEVM upgrade to support the Pectra hardfork. See the details and dive into the tech 👇

1/ We've completed our KEVM upgrade supporting Ethereum's Pectra Hardfork ⚒️

Special thanks to the @EF_ESP for supporting our continued efforts to improve Ethereum's security and development through easy-to-use and free formal verification. https://t.co/MM7dieq2fP

Runtime Vеrification

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

Another milestone for Ethereum developer tooling! 🧱

@rv-inc has completed their KEVM upgrade to support the Pectra hardfork. See the details and dive into the tech 👇

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