多区块访问列表预热

新 EIP：多区块访问列表预热

（nerolation）提交，即 EIP-8289。它加入一个 256 区块的滚动预热访问多重集合，通过区块头中的 SHA-256 SMT 根承诺，使 EIP-2929 访问列表跨区块延续：每区块 gas 中位数约省 14%，节点需多存约 10 MB 状态。

https://github.com/ethereum/EIPs/pull/11776 2026-06-07

隐私系统的形式化验证

Eli Ben-Sasson：Zcash 漏洞促成 Ironwood，对 Orchard 支付电路做形式化验证

21:08，他表示 Starknet 做形式化验证已超过 5 年。Eli：Zcash 对事件的处理负责且专业 14:39。

https://x.com/EliBenSasson/status/2063624173683970311 2026-06-07

Eli：Zcash 对事件的处理负责且专业

Eli Ben-Sasson：Zcash 漏洞促成 Ironwood，对 Orchard 支付电路做形式化验证 21:08，他表示 Starknet 做形式化验证已超过 5 年。Eli：Zcash 对事件的处理负责且专业 14:39。

https://x.com/EliBenSasson/status/2063526237373350379 2026-06-07

fede_intern：隐私和零知识证明应向公众、企业和政府解释清楚

20:17。

https://x.com/fede_intern/status/2063611226425360862 2026-06-07

其他动态

Magicians：AI 代理的执行收据，链下证据、链上根与可验证会话证明

05:40。

https://ethereum-magicians.org/t/execution-receipts-for-ai-agents-off-chain-evidence-on-chain-roots-and-verifiable-session-proofs/28737 2026-06-07

ethresear.ch：以太坊的确定性治理验证

23:52。

https://ethresear.ch/t/deterministic-governance-verification-for-ethereum/25116 2026-06-07

社区讨论

ethresear.ch：合作资本主义是加密仅剩的连贯经济路径

01:37。

https://ethresear.ch/t/cooperative-capitalism-is-the-last-coherent-economic-path-crypto-has-left/25109 2026-06-07