1 of 11

PQ Interop

2 of 11

pq interop

p2p / 4s slots

3SF

PQ XMSS keys

🐼 / 🐍

tooling

3 of 11

pq interop

p2p / 4s slots

3SF

PQ XMSS keys

🐼 / 🐍

tooling

keygen time / size

keygen lifetime

validator count

multi-client

4 of 11

pq interop

ZEAM

SIMPLICITY

OPTIMALITY

REAM

QUADRIVIUM

NETWORKING RESEARCHERS

CRYPTOGRAPHY RESEARCHERS

CONSENSUS RESEARCHERS

TESTING

& METRICS

SPECIFICATIONS

PQ Interop

5 of 11

pq interop

Eth R&D #post-quantum

#post-quantum

6 of 11

pq interop

PQ Interop

7 of 11

pq interop

leanEthereum

GH Org

leanEthereum org

→ PQ Interop project board

leanEthereum / PM repo

→ PQ Interop meeting minutes

leanEthereum / leanSpec repo

→ specs + subspecs

8 of 11

pq interop

pq call #1— pitches → 1,000 validator multi-client devnet w/ 98% correctness ~Nov.

pq call #2— pm repo + high-level specs (4s slots, static peers, 3SF mini w/ chaining)

pq call #3— barnabas braindump (kurtosis, dora, genesis generator)

pq call #4— aligned specs (removed optionals, used zero hashes) + spec consistency

pq call #5— planned tooling (pre-gen keys, 100 validators) + markdown containers

pq call #6— project board for devnet-0 readiness + devnet-1 spec planning

pq call #7— STF subspec walk-through + agreed on SHA-256 for SSZ

pq call #8— finalizing devnet-0 spec + leanMultisig walk-through

​

9 of 11

pq interop

devnet (clients)

devnet (p2p)

PQ theory

coord

PQ implementooors

jesus college, cambridge, UK

10 of 11

pq interop

#1—lean CL teams + researchers

#2—stable multi-client devnet

#3—XMSS-based pq keygen (w/ 2^32 lifetimes)

#4—PQ sig agg (w/ <2s aggregation)

#5—networking optimizations

#6—tooling readiness

#7—encoding research

#8—WHIR research

#9—formal verification research

#10—leanVM research

#11—finalize competition structure + criteria

PQ devnet

speccing updates

social layer

proximity prize

11 of 11

pq interop

playlist

soonTM