形式化验证开始从“很强的安全工具”走向日常流程，这次还直接找出了值得研究者处理的差异。以太坊基金会 @ethereumfndn 于北京时间 11 月 11 日 00:43 发文称，Verity 对 EIP-8282 进行了形式化验证；Verity 补充说，验证直接基于字节码完成，并由 Lean 检查。
这件事的看点不只是“验证通过”：基金会提到过程中发现了真实差异，意味着验证工具也能帮助研究者定位需要进一步澄清或处理的问题。对协议开发来说，把这类检查变成常规环节，有望让隐蔽问题更早暴露。
x.com/ethereumfndn/s…
这件事的看点不只是“验证通过”：基金会提到过程中发现了真实差异，意味着验证工具也能帮助研究者定位需要进一步澄清或处理的问题。对协议开发来说，把这类检查变成常规环节，有望让隐蔽问题更早暴露。
x.com/ethereumfndn/s…
We've come a long way in a short time for formal verification—one of our strongest tools for putting the S in CROPS—to become a new normal. Here, verity formally verified EIP-8282 and in doing so found real discrepancies for researchers to address.
Thanks for the work @Veritylab
1
1
7
564
Reactive 的 Omni Buildathon 总奖金 $5,500，我们跟 Reactive 一起开了一期两周中文共学，带大家从零做到提交。
第 1 周学会让合约「自己动」：监听链上事件，自动跨链执行。第 2 周做自己的项目，止损、套利、钱包守护、定投都可以。
有 clone 即用的模板，不需要 Reactive 经验，11/15 截止报名 👇
web3career.build/zh/programs/re…
x.com/0xReactive/sta…
第 1 周学会让合约「自己动」：监听链上事件，自动跨链执行。第 2 周做自己的项目，止损、套利、钱包守护、定投都可以。
有 clone 即用的模板，不需要 Reactive 经验，11/15 截止报名 👇
web3career.build/zh/programs/re…
x.com/0xReactive/sta…
Announcing the Reactive Omni Buildathon!
3 Tracks, $5,500 in prizes, runs Nov 5th-Dec 5th
1. Every Second Counts - Low latency is king
2. Set It and Forget It - RCs as a personal tool
3. Reactive Meets AI - Bringing AI to Reactive
Details/Sign ups 👇 x.com/i/article/2117…
1
5
7
472
一笔交易即使内容是私密的，发送者也可能被网络层信息“认出来”。以太坊基金会 11 月 7 日转发 Nym 的介绍：Nym Mixnet SDK 可在浏览器中运行，无需安装或配置，让钱包和 DApp 能通过 mixnet 转发流量，隐藏是谁在发起请求。Nym 还称其 mixnet 已有 700 多名独立节点运营者。
这提醒开发者，隐私不只关乎链上交易内容，也取决于访问网络时暴露的元数据。SDK 能否顺畅集成、实际保护边界如何，仍值得进一步验证。
<x.com/ethereumfndn/s…>
这提醒开发者，隐私不只关乎链上交易内容，也取决于访问网络时暴露的元数据。SDK 能否顺畅集成、实际保护边界如何，仍值得进一步验证。
<x.com/ethereumfndn/s…>
Even a private transaction can reveal who sent it as access layer traffic can leak network metadata. Nym's SDK runs the mixnet in the browser with no install and no config, so wallets and dapps can tunnel their traffic through it and hide who's sending.
1
0
0
409
交易签名前，钱包能不能告诉你“这笔交易究竟会改变什么”？以太坊基金会 11 月 6 日（北京时间）提到，用户访谈反复显示，大家对签署交易缺乏信心。帖子称，如果 assertions 随 Hegotá 落地，钱包将能展示交易的确切影响，并提供一种保障：要么实现用户预期，要么交易回滚。
这听起来像是把“看不懂就签”变成“先检查结果再确认”。对普通用户是更清楚的签名体验，对钱包和应用开发者则意味着需要把预期效果表达、验证出来。需要注意的是，帖子描述的是“如果随升级推出”的设想，并未给出具体实现、时间表或已定案状态。
x.com/ethereumfndn/s…
这听起来像是把“看不懂就签”变成“先检查结果再确认”。对普通用户是更清楚的签名体验，对钱包和应用开发者则意味着需要把预期效果表达、验证出来。需要注意的是，帖子描述的是“如果随升级推出”的设想，并未给出具体实现、时间表或已定案状态。
x.com/ethereumfndn/s…
User interviews kept surfacing the same thing—people aren't confident when they sign a transaction.
If assertions ship with Hegotá, users get new assurances. Your wallet would show you the exact effects and either what you intended happens or the transaction reverts.
0
1
4
541
以太坊的“去中心化”不只发生在客户端和验证者层面，治理与组织结构也在变化。以太坊基金会 @ethereumfndn 于北京时间 11 月 5 日表示，2026 年以太坊社交层迎来了其历史上“最有意义的一次去中心化”；新组织 @ethlabs_org 等加入，有助于降低单一中心遭到攻破、进而影响以太坊本身的风险。基金会称，新增同行让以太坊受益。
这是一项方向性判断，帖子没有展开组织分工、独立性或具体治理机制。对社区来说，值得继续观察的不是“多了几个组织”本身，而是它们能否形成实质性的能力与决策分散。
x.com/ethereumfndn/s…
这是一项方向性判断，帖子没有展开组织分工、独立性或具体治理机制。对社区来说，值得继续观察的不是“多了几个组织”本身，而是它们能否形成实质性的能力与决策分散。
x.com/ethereumfndn/s…
2026 has seen the most meaningful decentralization of the social layer in Ethereum's history. New orgs like @ethlabs_org can help prevent a central point of failure from risking compromise of Ethereum itself.
We gained new peers, and Ethereum is only better for it.
1
1
4
583
以太坊基金会给出了 Lean Ethereum 的分叉路线图：目标仍是 2029 年完成，但现在每一步要落在哪个升级里，已经有了更清晰的安排。北京时间 11 月 5 日，基金会表示，H* 将是最后一个不包含 lean 特性的分叉；I* 引入 leanVM 和 lean transactions；J* 加入 lean attestations、DA sampling 与 PCS；到 L*，Lean Ethereum 预计完成。
这条路线值得关注的，不只是“2029”这个目标年份，而是精简以太坊的工作开始被拆解为连续升级。对开发者和用户来说，具体收益与兼容性影响，还得看各项特性如何落地；目前这条推文没有展开技术细节，也不应把路线图理解成已经交付。
x.com/ethereumfndn/s…
这条路线值得关注的，不只是“2029”这个目标年份，而是精简以太坊的工作开始被拆解为连续升级。对开发者和用户来说，具体收益与兼容性影响，还得看各项特性如何落地；目前这条推文没有展开技术细节，也不应把路线图理解成已经交付。
x.com/ethereumfndn/s…
The strawmap set a goal of Lean Ethereum by 2029—we now have a fork-by-fork plan to get there.
H* will be the last fork without lean features. I* will ship the leanVM and lean transactions. J* will add lean attestations, DA sampling and PCS. By L*, Lean Ethereum will be complete
0
2
9
1,154
状态树要升级，节点却不必停机——以太坊基金会 11 月 6 日（北京时间）介绍了 I* 正准备进行的以太坊状态结构改造。帖子称，Partitioned Binary Tree（分区二叉树）可缩小状态证明，让钱包能够自行验证，而不是依赖信任；这也为 State Expiry 铺路：节点可以丢弃长期未触及的数据，等用户再次需要时再取回。
如果这条路线走通，轻客户端和钱包验证状态的成本与节点存储负担之间，可能出现新的平衡。不过这仍是进展介绍，不等于改造已经完成；帖子没有列出上线时间、具体参数或数据保留与取回机制的细节。
x.com/ethereumfndn/s…
如果这条路线走通，轻客户端和钱包验证状态的成本与节点存储负担之间，可能出现新的平衡。不过这仍是进展介绍，不等于改造已经完成；帖子没有列出上线时间、具体参数或数据保留与取回机制的细节。
x.com/ethereumfndn/s…
I* is preparing to overhaul Ethereum's state structure with no uptime disruption.
The Partitioned Binary Tree would shrink state proofs until wallets can verify rather than trust. This leads the way to state expiry where nodes drop untouched data until a user asks for it again.
0
1
6
798
如果一个国家的数字身份系统，不是建在某家科技公司的服务器上，而是建在一张不归任何一家公司控制的公共网络上，会是什么样？
以太坊基金会 11 月 3 日上线了一个新网站，专门写给政府、多边组织和 NGO 看，讲以太坊怎样充当数字公共基础设施。里面的案例挺实在：不丹国家数字身份已接入 44.9 万多名用户，链上只负责验证凭证真伪，个人资料不上链；UNICEF CryptoFund 已投出 400 多万美元（含 2,602 ETH）；ITCILO 发出了 20.8 万多份区块链证书。EF 想表达的其实就一句话：大家可以共用一张网，但不必把控制权交给某一家。
x.com/ethereumfndn/s…
以太坊基金会 11 月 3 日上线了一个新网站，专门写给政府、多边组织和 NGO 看，讲以太坊怎样充当数字公共基础设施。里面的案例挺实在：不丹国家数字身份已接入 44.9 万多名用户，链上只负责验证凭证真伪，个人资料不上链；UNICEF CryptoFund 已投出 400 多万美元（含 2,602 ETH）；ITCILO 发出了 20.8 万多份区块链证书。EF 想表达的其实就一句话：大家可以共用一张网，但不必把控制权交给某一家。
x.com/ethereumfndn/s…
As public services become more interconnected, shared infrastructure can create new dependencies when a single provider controls access.
Ethereum offers a different foundation for digital public infrastructure.
We've launched a new resource exploring its potential ↓
2
2
24
2,214
援助机构之间要防止有人重复领取，就得互相核对受助人名单；可名单一共享，最脆弱那群人的隐私也跟着暴露了。这个两难，EF 想用密码学来解。
以太坊基金会 Technical Foundations 团队 11 月 3 日介绍了一个人道援助协调网络的概念验证：个人数据留在链下，资格用零知识证明验证，钱通过一次性 stealth address 发放。他们还做了一个基于 Semaphore 的 ERC-4337 paymaster，能替群组成员代付交易费，却认不出具体是谁。最接地气的数字是：在低端手机上生成一次资格证明大约 8–10 秒，看起来离真实场景已经不远。
x.com/ethereumfndn/s…
以太坊基金会 Technical Foundations 团队 11 月 3 日介绍了一个人道援助协调网络的概念验证：个人数据留在链下，资格用零知识证明验证，钱通过一次性 stealth address 发放。他们还做了一个基于 Semaphore 的 ERC-4337 paymaster，能替群组成员代付交易费，却认不出具体是谁。最接地气的数字是：在低端手机上生成一次资格证明大约 8–10 秒，看起来离真实场景已经不远。
x.com/ethereumfndn/s…
The EF's Technical Foundations team spent the past months with humanitarian organisations building an aid coordination network. Our proof of concept pairs decentralised identity with private payment rails on Ethereum. Four write-ups cover technical details.
publicsector.ethereum.foundation/resources/arti…
0
1
5
472
验证一个以太坊区块，最坏情况下到底要算多少步？听着像纯理论问题，但它关系到普通电脑能不能放心地跑验证。
以太坊基金会 11 月 3 日推出 evm.fast 开放挑战，征集能给出数学保证上界的方案，项目基于 Yukon，与 zksecurity、Veritylab、yukonresearch 合作。现状有点尴尬：现有基线只能证明程序“最终会停下来”，给不出具体步数，所以成绩记为无穷，目前还没有人晋级。评分看经认证的 Flapjack 64 位 RISC-V 模型上的执行步数 K，覆盖 gas limit 不超过 2 亿的输入，步数越少排名越高。
x.com/ethereumfndn/s…
以太坊基金会 11 月 3 日推出 evm.fast 开放挑战，征集能给出数学保证上界的方案，项目基于 Yukon，与 zksecurity、Veritylab、yukonresearch 合作。现状有点尴尬：现有基线只能证明程序“最终会停下来”，给不出具体步数，所以成绩记为无穷，目前还没有人晋级。评分看经认证的 Flapjack 64 位 RISC-V 模型上的执行步数 K，覆盖 gas limit 不超过 2 亿的输入，步数越少排名越高。
x.com/ethereumfndn/s…
What's the most work that could possibly be required to verify an Ethereum block?
Today, we can't prove an answer. All we know is the validator always finishes. evm.fast is an open challenge to change that: contributors compete on a leaderboard to find mathematically guaranteed bounds for verifying Ethereum, no matter what's in a block.
Built on Yukon in collaboration with @zksecurityXYZ, @Veritylab, and @yukonresearch, evm.fast seeks provable limits that keep verification cheap, predictable, and possible on modest hardware.
Try it yourself:
evm.fast
0
1
4
1,108
每周一下午 2 点，Web3Buidler.Tech 联合 @ETHPanda_Org 带来 #以太坊中文周会！
本周会议主要内容：区块链 & AI 快讯、Vitalik: The Cryptographic World Computer、为何越来越多项目从 L2 搬回以太坊主网、谁是代币化股票的龙头？五大公链、六大发行方数据对决，等等。
欢迎参加！
0
0
0
330
每周一下午 2 点，Web3BuidlerTech 联合 @ETHPanda_Org 带来 #以太坊中文周会！
本周会议主要内容：区块链 & AI 快讯、ACDE #248 Glamsterdam 中发现的新安全问题、详解 EIP-8288 未来交易将又快又便宜、亏损 2.8 亿：谁在为 Hyperliquid 增长买单、Robinhood Chain 还行不行，等等。
欢迎参加！
0
1
2
405
ETHPanda retweeted
Meet the people bringing the DeSci Hub at @EFDevcon to life🌍 From those shaping it behind the scenes to those bringing the vision to Mumbai 🧬
It takes a community to build a space like this🫶🏻
#DeSciIndia #DeSciHub #Devcon8 #MeetTheTeam
@jb87ua, @GordaBitcoin, @swiftevo1, i, @aryaagarwaal, @sasha_7zee, @HarshiSehgal6, @Andre_Andrade_6, @Avataris12 @0xChefMike @nonfungibleyash
@DeSciWorld, @DeSciAsia, @DeSciLATAM,@MesoReefDAO, @DesciSeoul, @DeSci_Taiwan, @DeSciTokyo, @CancerDAOxyz, @ETHPanda_Org, @LXDAO_Official
It takes a community to build a space like this🫶🏻
#DeSciIndia #DeSciHub #Devcon8 #MeetTheTeam
@jb87ua, @GordaBitcoin, @swiftevo1, i, @aryaagarwaal, @sasha_7zee, @HarshiSehgal6, @Andre_Andrade_6, @Avataris12 @0xChefMike @nonfungibleyash
@DeSciWorld, @DeSciAsia, @DeSciLATAM,@MesoReefDAO, @DesciSeoul, @DeSci_Taiwan, @DeSciTokyo, @CancerDAOxyz, @ETHPanda_Org, @LXDAO_Official
5
12
49
2,670
ETHPanda retweeted
NOTICE: Lasna testnet will go offline Wed, Oct 7 12:00 UTC for migration to CometBFT.
Up to 3 hours downtime. Transactions, subscriptions, and callbacks won't process. Mainnet is unaffected.
Next stage will be announced soon!
Details 👇 x.com/i/article/2107…
0
6
20
402