PQ Transaction Signatures #004
Transcript
Ask about this call
Answered from this call's summary and transcript only.
AI-generated — verify against the recording.
Call summary
Targets
- •Frame transactions (EIP-8141) targeting Hegotá fork — 00:26:05
- •Frame transactions testnet deployment: next few weeks — 00:49:15
Decisions
- •Verify frame data aliased from introspection to enable future aggregation — 00:37:40
- •Approve opcode restricted to frame.target caller only — 00:51:10
- •Implicit ordering: sender approval must precede payer approval — 00:51:50
Highlights
- Organizational:
- ·Telegram chat created for ongoing PQTS discussions — 00:14:30
- ·Next call in two weeks: hardware wallet focus — 01:10:06
- Frame Transactions:
- ·Frame transactions (EIP-8141): native account abstraction targeting Hegotá — 00:26:05
- ·Frames enable protocol introspection; three modes: default, verify, sender — 00:28:04
- ·Sender field required in transaction; validation fully user-defined — 00:35:15
- ·Per-frame receipts address 4337 UX complaint of jumbled logs — 00:42:19
- ·Signature aggregation compatibility: verify frame data aliased for future ZK/aggregation — 00:58:15
- Ephemeral Key Rotation:
- ·Ephemeral key rotation via account abstraction: rotate signer per transaction — 00:14:36
- ·Attack window reduced to ~12 seconds (or less on L2s) — 00:16:08
- ·Implementation deployed on Base Sepolia; adds <100K gas overhead — 00:20:58
- ·Live demo available at nicetry.xyz; ERC-7579 modules published — 00:21:45
- Post Quantum Readiness:
- ·Frame transactions agnostic to PQ algorithm; allows user/wallet choice — 00:25:50
- ·Falcon supports key recovery mode (ecrecover-like) per Section 3.12 — 00:35:15
- ·Labrador aggregation for Falcon signatures published today on ethresear.ch — 00:59:16
- ·Hegotá opportunity: bundle PQ precompile with frame transactions — 01:00:41
Action Items
- •Matteo, Alessandro, lightclient — Integrate ephemeral rotation with frame transactions design — 00:23:00
- •lightclient — Frame transaction breakout call planned before next ACD — 00:46:35
- •Danno, lightclient — Review EIP-8197 (CADEX) for signature stripping compatibility — 01:02:27
Meeting chat31
- Fireflies.ai Notetaker Andriia
Andriian invited Fireflies.ai here to record & take notes. By continuing, you agree to https://fireflies.ai/privacy. Type: '/ff pause' - pause recording '/ff leave' - to stop recording View Realtime notes here: https://app.fireflies.ai/live/01KKVTXT6D8KKR9BZD6B8H70PR?ref=live_chat
- Antonio Sanso
- Matteo
- Matteo
- Oleg Lodygensky
The beauté of simplicity 🙂
- Matteo Vicari
Reacted to "The beauté of simpli..." with 😎
- Alessandro Baiocchi
Reacted to "The beauté of simpli..." with ❤️
- Renaud-ZKNOX
It is possible for FALCON to have a recovy like ecrecover
- Antonio Sanso
Reacted to "It is possible for F..." with 🔥
- Benedikt Wagner
Replying to "It is possible for F..." Yes, there is a mode for that. Falcon spec Section 3.12: https://falcon-sign.info/falcon.pdf
- Benedikt Wagner
Reacted to "It is possible for F..." with 👍
- Renaud-ZKNOX
A réagi à "Yes, there is a mo..." avec 👍
- Renaud-ZKNOX
Seems great. It seems lighter and solving a lot of 4337 complexity. Are all bundlers gonna die ? Or move to be broadcasters like ?
- Renaud-ZKNOX
Other question: is there a testnet for this ?
- Giulio
Just vibe code it
- Oleg Lodygensky
Reacted to "Just vibe code it" with 😂
- Renaud-ZKNOX
A réagi à "Just vibe code it" avec 😂
- Shouki Tsuda | Nyx Foundation
Reacted to "Just vibe code it" with 😂
- Simon
Reacted to "Just vibe code it" with 😂
- 4337
D ).
- Giulio
Curiosity: have you found a way to make mempool validation sane since last ACDE?
- Renaud-ZKNOX
Ultimate question: what is the cost of a frame transaction, compared to a 4337 one ?
- alan xu
Will frame tx only increase the nonce of the sender, not the nonce of the payer ?
- Antonio Sanso
I am probably going to move the unanswered questions in the telegram channel (assume we do not have time for all)
- Renaud-ZKNOX
Could you give link to tg plz ?
- Antonio Sanso
- Antonio Sanso
Aggregation wise we released this post today https://ethresear.ch/t/revisiting-falcon-signature-aggregation-for-pq-mempools/24431
- Oleg Lodygensky
Reacted to "Aggregation wise we …" with 👍
- Danno Ferrin - Tectonic.xyz
The validation frame gets the signature in the calldara, correct?
- lightclient
Replying to "The validation frame..." Right now yes
- lightclient
If you frame it right ;)
Key decisions
Verify frame data aliased from introspection to enable future aggregation
to enable future aggregationApprove opcode restricted to frame.target caller only
no further contextImplicit ordering: sender approval must precede payer approval
no further context

