[Proximity prize] Just updated the proximity-proof repo with: - More illustrations about the proximity gap concept - A complete walkthrough through the unique decoding regime proof using the Berlekamp-Welch decoder and the Polishchuk-Spielman Lemma github.com/tcoratger/prox…

1/ We are releasing the first-ever comp report for Ethereum core devs. Two striking takeaways: ⭐ they pass up at least 50% of their market value to maintain existential industry software ⭐ PG funding helps reduce this gap & retain talent long term ↓ Report & thread ↓

We’re starting a new AI Team at the Ethereum Foundation (the dAI Team). Our mission: make Ethereum the preferred settlement and coordination layer for AIs and the machine economy. The team will focus on two main areas: - AI Economy on Ethereum = giving AI agents and robots ways

Go Ethereum running as a guest program in ZKM's "Ziren" zkvm. We are introducing "Keeper", geth as a zkvm guest program.

Formalizing the cryptography (and interleaved codes in this case) used by zkVMs in ArkLib requires all the help we can get! Progress in AI means we'll be able to focus more on library architecture, foundations, and specifications, without being bottlenecked by missing proofs.

In our latest article about powdr autoprecompiles, we ask ourselves 2 questions: - Can we make manually written precompiles obsolete? - How do autoprecompiles improve the state-of-the-art of ZK proofs for Ethereum block verification? More in the article or below👇

I've joined the Ethereum Foundation as a protocol researcher. It's exciting. I'll be working on fast finality!

group pic...lean in

The Ethereum Foundation is committed to working alongside the ecosystem to make privacy a priority. Privacy is normal. Privacy is for everyone. blog.ethereum.org/2025/10/08/pri…

Succinct always puts security first. In collaboration with Nethermind Security and @EthereumFndn, we’ve formally verified the correctness of RISC-V constraints for SP1 Hypercube.

We are delighted to announce that the Nethermind Security Formal Verification team, led by Petar Maksimović | Nethermind, in tandem with Succinct, and with generous support from Ethereum Foundation, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in

The Ethereum World's Fair of Devconnect ARG - the first Ethereum World’s Fair in Buenos Aires might be the most important Ethereum event ever. Nov 17-22 📆 it is the biggest Ethereum's worldwide gathering. And it will be different from any other event… here's why you need to be at Devconnect in Argentina 👇 1/11

1/🧵 Applications for the EF 2026 Internship Program are now open. A paid, full-time, 12-week opportunity to work directly with the teams advancing the Ethereum protocol and ecosystem.

Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary. In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s.

This is really cool work, and there's now a recorded talk if you want more details about it! youtu.be/qyo3INdLAJk?si…

Formal verification of ZK circuits for precompiles can be complex but critical for the security of zkVMs. Here, we present a method to verify Plonky3 circuits without making changes to the Rust code, while being scalable for the formal verification process. 👇

Ethereum should strive for zero idle resources, at all times. Idle CPU, network bandwidth, memory == wasted potential. Short-term: - Ensure that Ethereum is putting all metal allocated to it to productive use, at every second. - Perf engineering should be a first-class priority

🎉 Ethproofs milestone achieved! We are thrilled to announce: With just over 3 days left in our countdown, ALL zkVMs on Ethproofs have successfully met the deadline—every verifier is now fully open-source! This is a huge win for transparency and verifiability in the zk

We published an article on how we’re approaching zkVM benchmarking for Ethereum: zkevm.ethereum.foundation/blog/benchmark… Hopefully it’s a useful starting point for diving deeper into the technical details of this effort.

LogUp is now available natively in Plonky3! Suggestions/improvements are welcomed! github.com/Plonky3/Plonky…