PQ Interop #034
Transcript
Ask about this call
Answered from this call's summary and transcript only.
AI-generated — verify against the recording.
Call summary
Targets
- •This week - DevNet4 client readiness targets across teams — 00:22:11
- •Next few days - WEIR polynomial commitment integration into Plonky3 completion — 00:39:47
Decisions
- •PQ features complete; future work focuses on stabilization, performance, maintainability only — 00:35:34
Highlights
- Documentation:
- ·Hive testing: Adding Zim/Lodestar; coordinating LeanSpec as orchestrator backend with Felix — 00:24:54
- ·Test coverage push: Adding justification/finalization vectors; multiple external contributors joining — 00:36:25
- Client Updates:
- ·Lodestar DevNet4 ready; awaiting attestation bounding spec PR merge for full compatibility — 00:22:02
- ·Zim: DevNet4 key separation implemented; local finalization working, cross-client testing next — 00:23:04
- ·Islamdar: Fixed infinite reprocessing loop, oversized blocks, XMSS window advancement bug — 00:27:17
- ·Grandine: Stabilizing DevNet3 with gossip/backfill improvements; reviewing DevNet4 specs — 00:33:08
- Organizational:
- ·Planning tooling for test pass status dashboard across all clients before DevNets — 00:37:03
- ·DevNet4 scaling experiments: Current config insufficient for aggregator load; testing alternatives — 00:41:14
- Testing Progress:
- ·Emphasizing test suites: clients must pass all tests before joining DevNets — 00:20:49
- ·Recursive signature aggregation complete; expect more stability, less invasive changes ahead — 00:21:17
- ·Merged Poseidon 1, ZK-friendly XMSS encoding, recursive aggregation into spec — 00:32:05
- Fork Status And Schedule:
- ·Cannes event last week: 2-day execution layer focus, 2-day consensus layer/PQ focus — 00:18:30
- ·Feedback from event: DevNet instability due to many joining clients, debugging ongoing — 00:19:02
Action Items
- •Mihir (Lantern) — Submit finalization test vectors to LeanSpec after justification coverage confirmed — 00:30:06
- •EF coordination team (Will, Thomas) — Develop test pass status dashboard for client teams pre-DevNet coordination — 00:37:24
- •Partha, Panda DevOps — Determine optimal DevNet4 configuration; start with 100-validator network then scale — 00:41:28
Meeting chat10
- Mario Havel
gm
- devLuckify | gean
Gm
- Pablo Deymo | Lambda
gm
- mercynaps
- Gajinder Singh
one missing update: we are making zeam shadow compatible to run the simulations
- Kamil Salakhiev
Reacted to "one missing update: ..." with 🎉
- Ruslan Tushov
Reacted to "one missing update: ..." with 🎉
- Gajinder Singh
we might still need multi message aggregation -- devnet5 --
- Parthasarathy Ramanujam
Katya cant join today, I can provide an update on her behalf.
- Jeff Chung
Reacted to "we might still need ..." with 👍
Key decisions
PQ features complete; future work focuses on stabilization, performance, maintainability only
Feature freeze for PQ interop work to focus on stability and performance.Merged Poseidon 1, ZK-friendly XMSS encoding, recursive aggregation into spec
Integration of core PQ components into the specification.Emphasizing test suites: clients must pass all tests before joining DevNets
Requirement for clients to pass test suites before joining DevNets to ensure stability.Determine optimal DevNet4 configuration; start with 100-validator network then scale
DevNet4Scaling strategy for DevNet4 starting with 100 validators due to aggregator load issues.