Pinned post
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.
Latest posts 5
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
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 usView quoted post on X
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?
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?
