research @ethereum, protocol architecture
Montréal, Canada
Joined June 2013
- Tweets2.2K
- Following575
- Followers4.8K
- Likes5.8K
Pinned Tweet
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.
soispoke.eth retweeted
How high can EIP-8141's frame validation cap go without excessive block delay under mempool DoS?
We ran an attack campaign to find out.
The result: 300k gas (vs. 100k today) looks viable with in-client defenses -- making room for privacy transfers and PQ signatures.
soispoke.eth retweeted
Devcon 9 is coming to Lisbon! 🇵🇹
October 11–13, 2027
Building on Mumbai, we're bringing Ethereum's builders together with more friends and allies working toward a freer, more open internet.
soispoke.eth retweeted
Quantum computing poses a serious threat to the cryptography blockchains currently rely on, while advances in AI compress best estimates for the threat's timeline.
That's why experts gathered in Cambridge to coordinate research upgrading our cryptography to be quantum-resistant.
soispoke.eth retweeted
This weekend we launched EthLib, a Lean4 library for Ethereum!
The goal is to bring Ethereum's primitives, specifications and theorems into one place, building a shared foundation for formally specifying and proving things about Ethereum.
github.com/ethereum/EthLib
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 birmingham
* etherealize
* ethereum foundation
* ethlabs
* ideal
* imperial college london
* inria
* ku leuven
* lambdaclass
* ledger
* lfg labs
* lirmm / university of montpellier
* math, inc.
* mavan / bitmine
* microsoft research
* miden
* mit / nyu
* nethermind
* nvidia
* nyx foundation
* offchain labs (prysm)
* onetimelabs
* pauli group
* powdr labs
* project eleven
* ream
* riva labs
* seoul national university
* shielded labs
* silence laboratories
* stellar development foundation
* succinct
* symbolic software
* tachyon foundation
* technical university of munich
* technion
* tel aviv university
* trail of bits
* uc san diego
* universite de rouen normandie
* university of cambridge
* university of luxembourg / layerzero labs
* university of minnesota
* university of pennsylvania
* university of warwick
* veridise
* world foundation
* xi'an jiaotong-liverpool university
* zcash
* zero latency labs
* zisk
* zksecurity
* zodl
* a16z
* 20squares
* zero knowledge podcast
thank you all for taking time away from your lives to come and share your brilliance with us
soispoke.eth retweeted
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 birmingham
* etherealize
* ethereum foundation
* ethlabs
* ideal
* imperial college london
* inria
* ku leuven
* lambdaclass
* ledger
* lfg labs
* lirmm / university of montpellier
* math, inc.
* mavan / bitmine
* microsoft research
* miden
* mit / nyu
* nethermind
* nvidia
* nyx foundation
* offchain labs (prysm)
* onetimelabs
* pauli group
* powdr labs
* project eleven
* ream
* riva labs
* seoul national university
* shielded labs
* silence laboratories
* stellar development foundation
* succinct
* symbolic software
* tachyon foundation
* technical university of munich
* technion
* tel aviv university
* trail of bits
* uc san diego
* universite de rouen normandie
* university of cambridge
* university of luxembourg / layerzero labs
* university of minnesota
* university of pennsylvania
* university of warwick
* veridise
* world foundation
* xi'an jiaotong-liverpool university
* zcash
* zero latency labs
* zisk
* zksecurity
* zodl
* a16z
* 20squares
* zero knowledge podcast
thank you all for taking time away from your lives to come and share your brilliance with us
soispoke.eth retweeted
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 Ethereum has to pick the instruction set (ISA) those programs run on and support it for as long as smart contracts depend on it.
The choice comes down to tradeoffs between proving speed, developer tooling, time to ship, and protocol complexity.
Which ISA should Ethereum pick?
soispoke.eth retweeted
Privacy apps on Ethereum face a looming quantum threat.
A compromised BN254 curve means forged proofs and stolen funds.
n a new EthResearch post, @soispoke outlines EIP-8288: a path to scalable, post-quantum proofs via an exposed Instruction Set Architecture (ISA). 🧵👇
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 Ethereum has to pick the instruction set (ISA) those programs run on and support it for as long as smart contracts depend on it.
The choice comes down to tradeoffs between proving speed, developer tooling, time to ship, and protocol complexity.
Which ISA should Ethereum pick?
Full post: ethresear.ch/t/exposing-an-i…
Thanks to @drakefjustin, @VitalikButerin, @kevaundray, @alexanderlhicks, @TauLepton_and @ignaciohagopian for discussions, feedback and comments
Full post: ethresear.ch/t/exposing-an-i…
Thanks to @drakefjustin, @VitalikButerin, @kevaundray, @alexanderlhicks, @TauLepton_ and @ignaciohagopian
for discussions, feedback and comments
2
104
soispoke.eth retweeted
announcing nativerollups.fyi, a closed devnet based on frames-devnet-0 running a (half mocked) native rollup on top
a native rollup is an L2 that inherits L1's STF directly, greatly reducing complexity, governance and bug risks. here's how it works 🧵
soispoke.eth retweeted
1/ How I infiltrated a Chinese organized crime syndicate that has laundered $1B+ across multiple exploits for Lazarus Group.
Posing as a client, I gathered intel that helped action freezes for the Feb 2025 Bybit exploit and attribute illicit activity onchain.
soispoke.eth retweeted
Excited that zkAPI is out and live!
Great joint effort with @VitalikButerin on our initial design, @curryrasul and @kenziyuliu + OA team on implementation, and the amazing push from @VittoStack on the dAI team to bring this out.
If you want to implement private payments on Ethereum for your API, check the post and repo.
We have more things coming out to enhance user sovereignty and privacy in the age of AI.
soispoke.eth retweeted
Finally, FOCIL devnet-0. It took around 5 years to go from an insightful idea to an actual devnet. Advancing the most decentralized network takes a tremendous amount of work: exploring the design space to find a solution that solves the problem without sacrificing the properties Ethereum cares about, writing down the specification and building a prototype, iterating to improve the design, finding and handling edge cases, and the list goes on.
Just like being able to travel across a country using only cash, we sometimes take things for granted and forget that they might not be guaranteed. But we shouldn't. You should be able to do what matters most using only the protocol’s most basic functions.
FOCIL strengthens Ethereum as a freedom technology. It’s a big step forward but not a silver bullet. More features are in the pipeline.
🤖 Made with AI
