1-OFF2026-06-30_001
Subroutines for the EVM #1
2026-06-30 1 decision 573 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
- •Subroutines EIP (EIP-8173) is PFI for Hegota; Greg to identify current CFI process owners and pursue next step — 00:49:14
Highlights
- Documentation:
- ·EIP needs clarification: behavior of RETURNSUB with empty return stack in non-validated (legacy) code; Ben Adams offered to open a PR — 00:47:21
- ·EIP-8173 rollup/ZK advantages section flagged as uncertain; Vyper validation contract (AI-generated) needs review by a Vyper reader — 00:51:39
- Organizational:
- ·Related PR #11800 (set-code-from) proposed: lets a new contract inherit an existing contract's code hash, enabling on-chain libraries without delegatecall overhead — 01:00:55
- Eip Proposals Hegota:
- ·Greg Colvin presenting subroutines EIP (CALLSUB/RETURNSUB/ENTERSUB): adds return stack, minimal client debt; opcodes backwards-compatible outside validated magic-header contracts — 00:06:50
- ·Validation runs once at create time via on-chain Vyper contract; replaces per-call jumpdest analysis; one-pass algorithm on 64KB contracts is negligible overhead — 00:09:39
- ·Magic header points to on-chain validation function, enabling simple client interpreters without bespoke validation logic; validation algorithm is upgradeable over time — 00:19:32
- ·Validated contracts enable one-pass CFG/AST extraction and static analysis; key downstream benefit for auditors and formal verification tools that currently cannot handle dynamic jumps — 00:36:58
- ·EIP currently PFI for Hegota; Greg seeking path to CFI and unsure of current process owners after EF departures — 00:49:14
Action Items
- •Ben Adams — Open PR clarifying RETURNSUB/CALLSUB behavior in non-validated legacy code (treat as jump per yellow paper rules) — 00:47:21
- •Kev (async, via note-taker summary) — Review EIP-8173 Vyper validation contract and ZK/rollup advantages section for correctness — 00:51:39
- •Greg Colvin — Contact EELS/steel group to integrate validation algorithm into executable spec — 00:53:20
Meeting chat5
- luc.eth
different luc is here👋
- lightclient
sorry i need to drop to another call. i think i’m worried about the validation phase of this
- Luis Pinto | Besu
Claude can
- Luis Pinto | Besu
Sounds good to me
- Ben Adams
Key decisions
Subroutines EIP (EIP-8173) is PFI for Hegota; Greg to identify current CFI process owners and pursue next step