EIPsInsight

Loading Experience

Preparing your insights...

Loading0%
EIPsInsightEIPsInsight
Sign in
All protocol calls
PreviousNext
PQI2026-05-13_039

PQ Interop #039

2026-05-13 2 decisions 202 transcript lines

Transcript

Ask about this call

Answered from this call's summary and transcript only.

AI-generated — verify against the recording.

Call summary

Targets
  • •DevNet 5 spec PR to be opened by tomorrow (May 14) — 00:12:06
Decisions
  • •Stay on 3SF Mini for now; do not switch to Goldfish until stability is confirmed — 00:22:19
  • •Stabilization phase defined as: scale validators → integrate execution → launch public devnet — 00:23:47
Highlights
  • Documentation:
    • ·New 'Cryptographic Specs' repo created by Justine Traglia to formally verify cryptography (SSZ, Poseidon, XMSS) in Lean with Python bindings — 00:34:37
  • Client Updates:
    • ·Zeam: fixing multi-subnet aggregation issues; scaling to 128 validators next — 00:11:17
    • ·Ream: running bottom-up multi-client devnets; stable to ~4700 slots with 3 clients — 00:12:57
    • ·Ethlambda: new devnet 5 Docker image coming this week; passing most Hive spec tests — 00:17:14
    • ·Grandine: CPU issue fix in progress; ~11 Hive tests will intentionally fail (no DB yet) — 00:19:11
  • Testing Progress:
    • ·Ream, Ethlambda, and Gean have integrated HiveSpec test runner; other clients urged to do the same — 00:12:57
    • ·Multi-subnet devnet running; aggregation not completing within slot interval for some clients (3–4s observed) — 00:37:50
  • Roadmap And Priorities:
    • ·DevNet 5 spec PR expected imminently; focus is recursive aggregation with single on-chain proof — 00:22:06
    • ·Decision to hold on switching from 3SF Mini to Goldfish until stability is confirmed — 00:22:19
    • ·Agreed plan: scale validators first, then integrate execution layer for full validator lifecycle and public devnet — 00:23:47
    • ·LeanVM DevNet 5 branch on Lin Multisig is usable; currently on Cole Albert field, not Goldilocks (2x+ perf penalty) — 00:33:15
Action Items
  • •All lean client teams — All lean clients: integrate HiveSpec spec test runner in Hive — 00:12:57
  • •Thomas Coratger, Gajinder Singh, lean client teams — Agree async on minimum validator count target before proceeding to execution integration — 00:27:24

Meeting chat5

  • Parthasarathy Ramanujam

    @Shariq Naiyer can you pls confirm if you are running these multi client devnets on the same machine? Or is this multi-machine devnet?

  • Shariq Naiyer

    Same machine currently. Will soon be shifted to multi-machines.

  • Parthasarathy Ramanujam

    Replying to "Same machine current..." Ok noted.

  • Parthasarathy Ramanujam

    Reacted to "Same machine current..." with 👍

  • Gajinder Singh

    yea it is sort of stable as such

Key decisions

  • Stay on 3SF Mini for now; do not switch to Goldfish until stability is confirmed

    PFIstability is confirmed

  • Stabilization phase defined as: scale validators → integrate execution → launch public devnet

    SFIscale validators first, then integrate execution layer for full validator lifecycle and public devnet

Links