PQ Interop #037
Transcript
Ask about this call
Answered from this call's summary and transcript only.
AI-generated — verify against the recording.
Call summary
Targets
- •Next week - Devnet 5 specification and implementation begin — 00:31:02
- •This week - Lean spec test assets Hive integration — 00:12:42
Decisions
- •Devnet 5: Add PQ heartbeat (Goldfish) + meta-aggregated proofs — 00:31:47
- •Binary tree propagation design replaced by proof disaggregation approach — 00:29:17
Highlights
- Client Updates:
- ·Leem optimizing aggregator flows for minimal thread locking — 00:06:41
- ·Prysm: Devnet 3 retired, devnet 5 scaffolding ready — 00:08:01
- ·Kuleen: Debug mode fork of Lean Multisig for low-resource testing — 00:14:06
- ·Grandine: Switching CPU tasks from Tokio to dedicated executor — 00:19:54
- Devnet 5 Design:
- ·Devnet 5: Fold 8 attestation proofs + block sig into single on-chain proof — 00:23:27
- ·Multi-message proof disaggregation confirmed possible; removes binary tree complexity — 00:28:26
- ·PQ heartbeat (Goldfish availability protocol) proposed for devnet 5 — 00:32:02
- Devnet 4 Progress:
- ·Multiple subnet testing launched; clients debugging interop issues — 00:06:18
- ·Hive testing infrastructure live with client interop matrix visualization — 00:09:26
- ·Lean spec test integration coming this week — 00:12:42
- Specification Updates:
- ·Multi-fork architecture PR ready for review — 00:40:53
- ·LeanVM: 25% performance improvement from new memory allocator — 00:43:00
- Testing Infrastructure:
- ·Client interop tests show Leem incompatible with Lintern/Kuleen — 00:10:04
- ·Grafana Loki logs available at metrics.leanroadmap.org — 00:46:39
Action Items
- •All client teams — Submit bug reports with logs to LeanSpec for spec-level issues — 00:21:10
- •All client teams — Review multi-fork architecture PR on LeanSpec — 00:40:53
- •Lambda team (Emil) — Implement Type 1/Type 2 proof disaggregation in Lean Multisig — 00:48:43
Meeting chat25
- Gajinder Singh
this is very useful, great work!
- Gajinder Singh
in 2 subnet devnet system, zeam and ethlambda are aggregators on separate subnets. - just a small nit
- Gajinder Singh
aim is to have each client as an aggregator on one subnet - but multiple subnets in parallel which should be next step
- Gajinder Singh
yes with "deconstruction" things look good to me to repack attestations
- unnawut
Do we have some rough idea the time it takes to split a proof? Is it similar to the original aggregation time?
- Mercy Boma Naps-Nkari
Replying to "Do we have some roug..." Benchmark should also be helpful
- Parthasarathy Ramanujam
So the chain will not be stalled in case an aggregator of a subnet is down?
- Yann Vonlanthen
Reacted to "So the chain will no..." with 👍
- Gajinder Singh
Replying to "So the chain will no..." justification will stall but not the targets
- Parthasarathy Ramanujam
Replying to "So the chain will no..." Ah ok. Noted.
- Yann Vonlanthen
Replying to "So the chain will no..." Exactly, running only the PQ heartbeat would remove justification / finalization, instead the heartbeat gives a confirmation signal, that works even if a majority of clients is offline.
- Gajinder Singh
Replying to "So the chain will no..." we will put up the spec PR for this
- Yann Vonlanthen
Reacted to "we will put up the s..." with 👍
- Gajinder Singh
Replying to "So the chain will no..." this will solve the target regression issue quite a bit cc @Anshal @Parthasarathy Ramanujam
- unnawut
@Thomas Coratger In addition to grafana, is this something you might be looking for? https://observatory.leanroadmap.org/
- Thomas Coratger
Répondre à "@Thomas Coratger I..." Yeah exactly what we want, is it constantly maintained and up to date with latest devnets? I remember you presented this but not sure if this was an experiment or something designed to be maintained long term
- T. Wambsgans
+ and implement type1 type2 in leanMultisig
- Gajinder Singh
Reacted to "+ and implement type..." with 😃
- Thomas Coratger
A réagi à "+ and implement ty..." avec ❤️
- unnawut
Replying to "@Thomas Coratger In ..." Yeah there’s a daily job that crawls data from the prometheus instance that Katya/Partha setup
- Mercy Boma Naps-Nkari
Reacted to "@Thomas Coratger In ..." with 🔥
- Gajinder Singh
Replying to "@Thomas Coratger In ..." we/Katya/Partha is also working to have zclawz (our bot) put AI summaries of current devnet status
- T. Wambsgans
I have to go, bye everybody
- Parthasarathy Ramanujam
metrics.leanroadmap.org
- Mihir Faujdar
Reacted to "metrics.leanroadmap...." with 👍
Key decisions
Devnet 5: Add PQ heartbeat (Goldfish) + meta-aggregated proofs
devnet 5Inclusion of PQ heartbeat (Goldfish) and meta-aggregated proofs in the Devnet 5 specification.Binary tree propagation design replaced by proof disaggregation approach
The team decided to move away from binary tree complexity in favor of a multi-message proof disaggregation approach.