Vitalik 提出新型高级编程语言以提升定义和定理可读性

以太坊（ETH）开发者提交了一份草案，旨在将验证人存款合约的结构更改为支持量子安全密钥的形式。虽然质押方式不会立即改变，但这是为了长期替换基于BLS的验证人密钥体系而进行的初步提案。

Vitalik Buterin赞扬Utreexo，这一比特币技术减轻了节点的存储负担，并勾勒出一种混合架构以扩展以太坊。

Zcash（ZEC）公开了超过2700个机器验证证明，涉及新匿名资金池Ironwood的平衡完整性。交易金额和参与者的隐私...

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发表《The Extremely Lean Chain》提案，展示如何在“精简（Lean）”升级背景下激进压缩以太坊共识链的状态要求。该方案将责任转移给验证者，由其管理并定期通过 ZK 证明其状态，从而消除每 epoch 处理负担，并可能支持数百万验证者规模。核心机制包括：将验证者公钥从链上状态移除，仅存储存款树索引；取消实时奖励和惩罚处理，验证者每日生成 STARK 证明其参与情况并更新余额；验证者身份每日完全重新随机化，通过 ZK-STARK 实现强匿名性，提款地址仅在提款时暴露，不与存款或链上活动公开关联。...

ChainCatcher 消息，据 Vitalik Buterin 发文，以太坊研究人员近期在柏林召开会议，更新了协议长期发展路线图（strawmap.org）。Vitalik 指出，“Lean Ethereum”并非单次升级，而是将在未来三至四年内分阶段落地的系列改进，其重要程度堪比“合并”，几乎涵盖协议每个核心模块的重构。主要内容包括：验证机制：引入递归 STARKs，取代现有直接重执行方式，成为协议一级核心组件；量子安全：优先级大幅提升，所有量子脆弱组件将被替换，量子安全 Blob 设计已在推进中；共识层：解耦可用链与最终性，实现一至两轮最终性，安全性更优、延迟更低；状态层：现有动态状态...

ChainCatcher 消息，以太坊基金会发布博客称，已结束长达数月的重组，并裁员 54 人，约占此前人员数的 20%。 此次调整延续了“精简以太坊（Lean Ethereum）”的战略转型，以及 2026 年度发展方向，将以太坊基金会重新定位为更轻量的协议治理与维护者，而非主要的核心建设者。 该变化是在 2025 年 PR&D（研究与开发）重组（员工从 110 多人缩减至 100 人以下）、此前约 19 人的裁员，以及多位高级研究员相继离职的基础上进一步推进的。

Vitalik 阐述他对以太坊基金会转型方向的个人看法：EF 不是"以太坊的中心"，而是众多节点之一。资源有限的 EF 选择长期主义而非铺摊子，专注于那些"没有 EF 就不会发生"的关键任务——可证明无 Bug 的以太坊、高可用共识、中介最小化。以太坊不该在速度上和别人内卷，而要在 CROPS（抗审查、韧性、开放、隐私、安全）维度做到极致。

ChainCatcher 消息，Vitalik Buterin 发文探讨形式化验证（Formal Verification）在区块链安全领域的应用前景。 文章指出，以太坊前沿研发中正兴起一种新范式，直接使用 EVM 字节码、汇编或 Lean 编写代码，并用 Lean 中可自动检查的数学证明验证其正确性，研究者 Yoichi Hirai 将这一范式称为“软件开发的最终形态”。 Vitalik 认为，AI 辅助形式化验证有望同时提升代码效率与安全性，尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。 文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、...

在线购物的兴起减少了跨越边界的优势，但某些产品仍然存在显著差异。

中国的信贷推动力开始下滑，这一信号自2009年以来预示着每一个重大风险周期。而比特币对此却没有反应。

一张归因于英特尔合作伙伴的幻灯片预示着Nova Lake-S将在2026年底进行大规模生产，并将在2027年分阶段发布，尽管该公司尚未确认时间表。

Meta现在必须通过人工智能（照片、习惯）来猜测用户的年龄，这源于其与180亿美元的协议，而法国未能通过法律强制实施。

Revolut待审的美国银行申请突显了OCC快速增长的加密和金融科技特许经营申请管道。

贷款可以融资大部分房产，但买家需要证明有足够的收入来支付贷款。

日元的上涨在各个方面削弱了美元。比特币和黄金因此受益，但套利交易的平仓仍然是一个现实风险。