If we ship FOCIL (EIP-7805), Frame Transactions (EIP-8141), Keyed Nonces (EIP-8250) and Recent Roots (EIP-8272) in Hegota, we get native, trustless, censorship resistant private transactions on Ethereum next year.
I’m all for prioritising PQ more, but shipping 4 forks in 2027 (Glamsterdam, Hegotá EL, Hegotá CL, I*) is just not going to happen.
We need concrete, grounded plans that are ambitious and doable. Those take time to put in place, and rushing is always going to be a losing game.
It’s unlikely we’re “pqai” in 2027. Shipping forks is slow and painful, but that’s what it takes to have 100% uptime. The alternative would have to be worse (i.e. ECDSA actually shown to be degraded).
pqai27: Our view on post-quantum and post-AI timelines.
We shared this on Ethereum Magicians as input into the Ethereum governance process.
ethereum-magicians.org/t/pqai27-an-et…
The Cambridge workshops were the best events I’ve been to in years
Spectacular people, and a real sense that we’re accelerating towards post-quantum secure technology unlocked by AI and formal verification
Bullish
a list of all 69 participating orgs:
* 3mi labs
* aarhus university
* aria
* axiom
* aztec foundation
* bar-ilan university
* binius
* blockstream
* carnegie mellon university
* category labs
* cnrs
* complutense university of madrid
* consensys
* epfl
* elte / university of
New post: Exposing an ISA for post-quantum proofs on Ethereum
tldr: With EIP-8288, users can prove private, post-quantum transactions on their own devices, and Ethereum nodes verify those proofs outside the EVM.
Each proof should show that an app's program ran correctly, so