New EIP: Recent Roots for Frame Transactions
(soispoke), submitted as EIP-8272.
Privacy primitives: EIP-8272
Censorship resistance and consensus
ethresear.ch: Formalizing FOCIL in Lean 4
21:56 (rahul). FOCIL (EIP-7805) is the censorship resistance headliner for Hegotá, and its selling point is "1-out-of-N honesty among IL committee members": one non-equivocating member listing a transaction is enough to force its inclusion; the post examines that claim in Lean 4.
EIP-8243: Batching Attestations at Source discussion thread
21:17 (raul), letting operators running several validators in the same slot committee publish one pre-aggregated attestation instead of N.
Other updates
vdWijden: people focus on the CR, OS and privacy parts of CROPS, but security matters most; without a secure L1 none of it makes sense
04:04.
StarkWare: STRK20s launch fully in June
18:57.
ERC-7930: define the "Chain Identifier" term for zero-length-address IAs
Merged; ERC-8126: move to Final, submitted.
ERC-8126: move to Final
ERC-7930: define the "Chain Identifier" term for zero-length-address IAs, merged; ERC-8126: move to Final, submitted.
Community
Eli Ben-Sasson: the next season after privacy will be post-quantum security
21:25.
trent_vanepps: the EF is one of many orgs shipping protocol features; current models speed up some work, but core protocol changes still take time
21:10.