to
defensive acceleration
Justin Drake
Workshop
2nd Annual Post-Quantum Research Workshop
Cambridge, UK · October 10–12, 2026
This workshop has taken place. The agenda remains below for reference.
Agenda
3 days · Elena Hall & Sibilla Room
All times are local Cambridge time (Europe/London).
No sessions match your search on this day.
Day 1Saturday 10 October
Elena Hall Performance
Sibilla Room Privacy
to
Doors open
to
𝔹itℤ are all you need
Albert Garreta, Remco Bloemen
to
fast binary field RISC-V proving
Srinath Setty
to
PQ Tachyon
Ulrich Habock (moderator)
to
binary field RISC-V zkVMs
Emile (moderator)
to
Lunch
to
binary field NVIDIA instructions
Jean-Luc Watson
to
essentially free zero knowledge?
Emile
to
algebraic geometry for SNARKs
Rahul Dalal
to
Ethereum privacy
Thomas Thiery
to
faster Merkleisation
Eylon Yogev, Thomas Coratger
to
Zcash quantum recoverability
Pierre Daix-Moreux, Derek Sorensen
to
Coffee
to
ZisK recursion in Lean 4
Héctor Masip
to
Provekit local proving
Remco Bloemen
to
recursion.fast
Alex Hicks (moderator)
to
BTC, ETH, WLD, ZEC privacy
Ying Tong Lai (moderator)
to
Walk to Westminster College
to
(Westminster College) assembly room
drinks reception
to
(Westminster College) main hall
dinner
to
qday
Steve Brierly
to
open multiplayer research
Sreeram Kannan
Day 2Sunday 11 October
Elena Hall Signatures
Sibilla Room Security
to
Doors open
to
day 1 learnings
to
constrained signing
Matteo Vena, Antonio Sanso
to
MPC signing
Yash Kondi
to
Fiat-Shamir
Giacomo Fenzi
to
threshold signing
Conor Deegan (moderator)
to
recursion security
Ron Rothblum (moderator), Benedikt Wagner (intro)
to
A
to
ROM lower bounds
Iftach Haitner
to
unifying succinct arguments
Nico Mohnblatt
to
QROM Grover barrier
Ziyi Guan
to
hash-based proofs without hashes
Ron Rothblum
to
1.5-time signatures and more
Mikhail Kudinov
to
Ethena cryptanalysis, BLAKE3 tweak
Adrian Hamelink
to
Coffee & group photo
to
leanXMSS/leanSPHINCS in Lean 4
Benedikt Wagner
to
introducing hashsma.sh
Zooko Wilcox
to
sig.golf
Nico Consigny (moderator)
to
Ethereum hash decision tree
Dmitry Khovratovich (moderator)
to
Dinner (self-organised)
Day 3Monday 12 October
Elena Hall Succinctness
Sibilla Room Development
to
Doors open
to
day 2 learnings
to
optimised Merkle caps
Pratyush Mishra
to
leanSPHINCS roadmapping
KFC
to
soundness with collisions?
Eylon Yogev
to
Ethereum PQ integration
Kev Wedderburn
to
<100KiB 128-bit proofs
Albert Garreta (moderator)
to
Ethereum specs in Lean 4
Thomas Coratger (moderator)
to
Lunch
to
proximity prize
Giacomo Fenzi
to
leanDA and da.fast
Francesco Risitano
to
digesting better.codes
Ariel Gabizon
to
Ethlambda experiments
Tomás "Mega" Grüner
to
binary counterexamples
Quang Dao
to
digesting snark.fast
Thomas Coratger
to
Coffee
to
better.codes
Angus Gruen (moderator)
to
leanVM in Lean 4
Nic Schleicher
to
RISC-V zkVMs in Lean 4
George Kadianakis (moderator)
to
generative cryptography
Nicola Greco
to
Dinner · Murray Edwards College
About the workshop
Building on the success of the inaugural workshop, we are convening researchers, developers, and institutional stakeholders for a focused week of collaboration on post-quantum cryptography and its implications for decentralized systems.
For questions or to discuss the workshop, contact will@ethereum.org.