PQ Transaction Signatures #016
Transcript
- Matteo Vena | Riva Labs
Or try this https://excalidraw.com/#room=ce6509e21555e3b01536,JFWJxcjbbM2vWqBOfBQblg
- Stefano
The comma splits the token btw
- Tomás Grüner
Hello. In ethrex we made a prototype of in-mempool aggregation with leanVM: https://github.com/lambdaclass/ethrex/tree/eip-8288
- Tomás Grüner
We also made some benchmarks with it: https://github.com/lambdaclass/ethrex/commit/b5c3a098ce8041c8e38b7ebe22eed83c400ef35c
- Tomás Grüner
Validation and we were working on mempool aggregation
- Gottfried Herold
Does the testnet support recursive aggregation?
- Tomás Grüner
Yes
- Stefano De Angelis
AFAIU (LEANSPHINCS_SCHEME, msghash, pubkey_hash): LeanSPHINCS identifies the signature scheme to use, msghash is the hash of the transaction/message being authorized, and pubkey_hash identifies the public key expected to verify that signature. The dependency is then checked in the VERIFY frame.
- Matteo Vicari
https://excalidraw.com/#room=ce6509e21555e3b01536,JFWJxcjbbM2vWqBOfBQblg
- Matteo Vicari
- Stefano
Reacted to https://github.com/l... with "❤️"
Call summary
Targets
- •Testnet v0.3 — first end-to-end EIP-8288 aggregation with Nethermind or ethrex (timeline TBD, targeting next ~2 weeks) - 00:06:04
Decisions
- •v0.3 testnet will implement aggregation once per block (not every slot) as simplest first end-to-end milestone - 00:47:59
Highlights
- Testnet Status:
- ·Testnet v0.1 (ERC-4337 + Lean SPHINCS variant) and v0.2 (ERC-4337 + native frame tx via EIP-8141) already deployed; v0.3 targeting mempool aggregation - 00:04:49
- ·EIP-8288 (signature aggregation) is next target; LeanVM fork by Emil parameterized to match current devnet; 20 signatures/sec wrapping speed on regular hardware (preliminary) - 00:06:04
- ·Nethermind (and ethrex) to ship embedded LeanVM for native block verification — no precompile or Solidity contract; replaces ECDSA verification path - 00:16:23
- Ethrex Prototype:
- ·lambdaclass ethrex branch eip-8288 has working in-mempool aggregation prototype with LeanVM; benchmarks committed; covers validation and mempool aggregation - 00:21:31
- Eip 8288 Aggregation Design:
- ·Block structure for v0.3: transactions stripped of individual signatures + single constant-size aggregated proof SA produced by LeanVM; size independent of tx count - 00:13:49
- ·Targeting EIP-8288 test case 7 (aggregator = block builder, wraps test case 1 with recursive STARK); wrapper object carries dependency reference + actual Lean SPHINCS signature, decoupled from frame - 00:23:36
- ·Open problem: how receiving Nethermind/ethrex nodes verify the aggregated LeanVM proof natively without precompile; consensus is native integration required, not yet implemented - 00:51:33
Action Items
- •Nethermind / Stefano De Angelis - Stefano De Angelis (Nethermind) to bring concrete test-case-7 solution proposal to next call - 00:55:17
- •Antonio Sanso - Antonio to invite Vitalik / Tomas (EIP-8288 authors) to a future call for design clarification - 00:56:08
Key decisions
v0.3 testnet will implement aggregation once per block (not every slot) as simplest first end-to-end milestone
This decision establishes the scope for the v0.3 testnet to achieve a functional end-to-end milestone for EIP-8288 aggregation.
EIPs discussed
AI Disclaimer: Some content or metadata on EIPsInsight may be AI-inferred or automatically compiled. If you find any discrepancy, please contact us at dev@avarch.org.