EIPsInsight

Loading Experience

Preparing your insights...

Loading0%
EIPsInsightEIPsInsight
Sign in
All protocol calls
PreviousNext
PQI2026-06-17_044

PQ Interop #044

2026-06-17 1 decision 255 transcript lines

Transcript

Ask about this call

Answered from this call's summary and transcript only.

AI-generated — verify against the recording.

Call summary

Decisions
  • •lean spec PR #791 (optimized block building) will not be merged into spec as-is; clients encouraged to use it as implementation guidance; may be added as a separate named optional function — 00:37:30
Highlights
  • Documentation:
    • ·lean spec simplification nearly complete: unused functions removed, documentation condensed, more tests added; slides being prepared to share with EF this week — 00:30:36
    • ·Plonky3: multilinear proving system skeleton merged; incremental push toward multilinear backend alongside existing univariate FRI system — 00:32:43
  • Client Updates:
    • ·Zeam: proof merging taking too long on normal hardware; i7 (20-core/28-thread) meets 0.4–0.5s target; optimizations and early type-1 aggregation in previous slot being explored — 00:10:51
    • ·Ream: excessive memory usage (up to 28 GB) on DevNet 4; new allocator, improved pruning, and block processing fixes underway before moving to DevNet 5 — 00:15:52
    • ·Lantern: snappy decoding error root cause found and fixed; block building averages 0.9s (aggregation only, excludes final block proof) — 00:17:29
    • ·Ethlambda: unified branch sync, fork-choice/finality alignment with lean spec; Gloas prototype started for DevNet 6 proposal — 00:21:08
  • Testing Progress:
    • ·DevNet 5: type-2 final block proof taking 2.5–2.6s on normal machines; exceeds 4s slot budget for 35% of Grandine's builds, causing late proposals and bumpy finalization — 00:24:10
    • ·Three options discussed to address proof timing: bump machine specs to i7-class, increase slot time to 12s, or optimize type-2 proving; optimization headroom uncertain — 00:26:07
    • ·Current DevNet 5 branch uses full-size XMSS signatures; smaller XMSS variant in progress may improve proving times — 00:29:12
  • Eip Proposals Devnet6:
    • ·Ethlambda proposing Gloas prototype for DevNet 6 consideration — 00:22:00
Action Items
  • •All lean client teams — Client teams review lean spec PR #791 (block building algorithm) for implementation guidance on attestation scoring and proof-aware block construction — 00:35:10
  • •Thomas Coratger — Post async message to channel for Emil on type-2 proof optimization headroom and slot timing options — 00:29:53

Meeting chat5

  • Gajinder Singh

    this on devnet4 or 5?

  • Mega | Lambda

    We got this PR in the spec, changing the block building algorithm: https://github.com/leanEthereum/leanSpec/pull/791

  • Gajinder Singh

    Replying to "We got this PR in th..." Anshal @Parthasarathy Ramanujam @281165273grape@gmail.com  can we review this deeply

  • Boma

    We do 4 for max but going below that bites

  • Parthasarathy Ramanujam

    Reacted to "Anshal @Parthasarath..." with 👍

Key decisions

  • lean spec PR #791 (optimized block building) will not be merged into spec as-is; clients encouraged to use it as implementation guidance; may be added as a separate named optional function

    clients will use PR #791 as implementation guidance

Links