注册并分享邀请链接,可获得视频播放与邀请奖励。

ETHTAO
@Ethtao_Ethtao
Initiated by SNZ and key Ethereum ecosystem builders. It is an open community organization, dedicated to promoting Ethereum's values and culture in Asia.
加入 July 2025
224 正在关注    920 粉丝
🗓️ 以太坊日报 2026-09-26 【区块链技术讨论】 1⃣@asn_d6 与 @kevaundray 发布研究,探讨以太坊客户端端到端形式化验证(End-to-End FV)的5种技术路径,包括 Rust 到 Lean 4 转换、验证编译器(Pancake)、RISC-V 汇编等方案,以缩小可信算基础(TCB) [原文] ( [原文] ( 2⃣@fradamt 完成形式化验证协议开发,实现 4-8 倍更快的以太坊最终性(finality),支持快速时隙(fast slots)并为后量子签名做好准备 [原文] ( 3⃣EIP-8198(Quick Slots)正式合并为以太坊共识规范的功能规范,将显著缩短区块时隙时间,提升网络吞吐量 [原文] ( [原文] ( 4⃣@vdWijden 在 ACDE 会议提出 gas 机制设计哲学,强调应避免将不相关的到期点(如 blob 历史与区块历史)合并为单一"旋钮",需将 gas 拆分为执行 gas、状态等多维度以保持未来升级灵活性 [原文] ( 5⃣@barnabemonnot 提出 AI 代理(Agents)时代对以太坊的新需求:代理作为用户委托的协调者,需要以太坊在安全性、成本和延迟方面达到更高标准 [原文] ( 6⃣@ralexstokes 强调可编程区块链(如以太坊)是特定类型创新环境的理想选择 [原文] ( 【行业观点碰撞】 1⃣@TrustlessState 与 @VivekVentures 关注 CFTC 监管新动态:工作人员确认公共无许可链上记录可作为正式记录无需链下副本,且监管行动比国会更快,虽持久性较差但有利于稳定币和 DeFi 收益率传递 [原文] ( [原文] ( 2⃣@BenDiFrancesco 提出协议代币应向持有者返还价值,并预测机构将偏好自托管/本地开源权重模型以避免云服务商突然降级风险 [原文] ( [原文] ( 3⃣@nixorokish 与 @christine_dkim 讨论 EIP-8363 失败原因及以太坊发行政策,强调验证者集必须保持独立以避免金融中介主导共识 [原文] ( [原文] ( 4⃣@intangiblecoins 与 @TrustlessState 关注加密友好专员 Hester Peirce 即将离开 SEC,被视为行业监管环境的重大损失 [原文] ( [原文] ( 【开发者生态】 1⃣@austingriffith 发布 @clawdbotatg 新机制:代币持有者通过质押 $CLAWD 获得 CV(信念值),可用于投票、构建、审计或代表项目发推,探索社区参与新模式 [原文] ( 2⃣@matteoikari 使用 Opus 5.5 AI 工具一小时完成以太坊 RWA(真实世界资产)代币化教育视频制作,展示 AI 辅助内容创作在区块链教育领域的应用 [原文] ( 3⃣@renaissancing_ 为 @EFDevcon Mumbai 制作 Jio World Centre 的 LEGO MOC 模型并将在现场赠送,同时展示与 @gakonst 相关的开发工具实验 [原文] ( [原文] ( 4⃣@_julianma 回顾以太坊账户抽象演进历程:从 2015 年单一私钥处理所有交易功能,到现在签名、支付、提交等职责分离 [原文] (
显示更多
What does end-to-end formal verification of an Ethereum client look like? With @kevaundray, we enumerated the available options, from translating Rust into Lean to verified compilers. As we gear up to commit to an approach, we hope this post serves as a reference and a discussion point.
显示更多