ACDT #89 agenda
13:57.
ACDC #183 and the Glamsterdam timeline
EIP-8141: passkeys and mempool admission
EIP-8141: a canonical P256 sender account for no-simulation admission
(AnkushinDaniil), submitted. 8141's protocol-defined no-simulation admission paths (default code, the canonical paymaster, the expiry verifier) are SECP256K1-only, while passkey/WebAuthn (secp256r1) wallets are a large and growing share of smart accounts; today an EIP-7702-delegated P256 account must go through full validation prefix simulation. The PR adds a canonical P256 sender account recognized by runtime code match, admitted with a code match, one `P256VERIFY` and a scope check.
EIP-8141: allow direct evaluation of protocol-defined validation prefixes
(svlachakis), submitted. Default code, the canonical expiry verifier and the canonical paymaster have no deployed code to discover by execution, so for prefixes made only of them, simulation and direct evaluation are the same computation; the common flows, `self_verify` EOA-style transactions and canonical-paymaster-sponsored transactions, fall into this class.
EIP-8141: specify the APPROVE opcode gas cost
(AnkushinDaniil), submitted, since `APPROVE` (`0xaa`) was the only new frame opcode without a gas cost; bound the fee fields in the static constraints (svlachakis), submitted, since RLP admits arbitrarily long integers while `TXPARAM` pushes fee fields onto the stack, where they might not fit a stack word.
bound the fee fields in the static constraints
EIP-8141: specify the APPROVE opcode gas cost (AnkushinDaniil), submitted, since `APPROVE` (`0xaa`) was the only new frame opcode without a gas cost; bound the fee fields in the static constraints (svlachakis), submitted, since RLP admits arbitrarily long integers while `TXPARAM` pushes fee fields onto the stack, where they might not fit a stack word.
State migration and privacy
New EIP: offline state migration to the PBT
(misilva73), submitted; per Ethereal news #32 it is numbered EIP-8347. State at a finalized anchor block is converted offline from the hexary MPT to the Partitioned Binary Tree (EIP-8297) and distributed as a verifiable snapshot; nodes verify it against the anchor's `stateRoot` and catch up to the tip by replaying BALs (EIP-7928).
EIP-8297: redraw diagram and drop the EIP-7864 changes section
Submitted and merged.
StarkWare: open-sourced the formal verification of the STRK20 privacy pool, with 230+ machine-checked theorems
20:03. Eli Ben-Sasson: a privacy solution must shield funds not only from tracking but also from bugs and threats, 20:20; people are not bullish enough on native account abstraction, 22:45.
Eli Ben-Sasson: a privacy solution must shield funds not only from tracking but also from bugs and threats
StarkWare: open-sourced the formal verification of the STRK20 privacy pool, with 230+ machine-checked theorems, 20:03. Eli Ben-Sasson: a privacy solution must shield funds not only from tracking but also from bugs and threats, 20:20; people are not bullish enough on native account abstraction, 22:45.
people are not bullish enough on native account abstraction
StarkWare: open-sourced the formal verification of the STRK20 privacy pool, with 230+ machine-checked theorems, 20:03. Eli Ben-Sasson: a privacy solution must shield funds not only from tracking but also from bugs and threats, 20:20; people are not bullish enough on native account abstraction, 22:45.
Other updates
ERC-8346: Translation Files for ERC-7730 Descriptors
(forshtat), submitted, laying a foundation for multilingual clear signing; forum, 18:53.
forum
ERC-8346: Translation Files for ERC-7730 Descriptors (forshtat), submitted, laying a foundation for multilingual clear signing; forum, 18:53.
ERC-8348: Financial Lease
(javierpmateos), submitted; forum, 19:29.
forum
ERC-8348: Financial Lease (javierpmateos), submitted; forum, 19:29.
EFDevcon: this year's Devcon program spans 9 tracks
19:45.
Community
ethresear.ch: positive-sum microstructure design is the last bottleneck
05:32; mechanism design failure modes, 04:17.
mechanism design failure modes
Ethresear.ch: positive-sum microstructure design is the last bottleneck, 05:32; mechanism design failure modes, 04:17.
zooko: the Zcash wallet Zodl is communicating well with users about the Ironwood upgrade
00:35.