ali

ChainCatcher 消息，Vitalik 在 X 平台发文表示，一种值得尝试的新型“高级编程语言”是编译为 Lean（或 HOL 等）的语言，重点是尽可能让人类更容易阅读定义和定理。 而不是证明，因为证明只要正确即可，关键在于定义和定理本身。 其设想用途是，AI 输出一大段证明，而读者需要尽可能轻松地理解这些输出中实际被证明了哪些精确主张。

ChainCatcher 消息，Vitalik 在 X 平台发文表示，其在 Aztec 上开发了一个“带审核的匿名公告牌”想法的玩具演示版本。该想法来自其此前关于使用 SNARKs 的文章，目前仍处于早期阶段，但已可实现有趣且非平凡的功能。

ChainCatcher 消息，加密创新委员会（CCI）宣布，Etherealize、Hyperliquid Policy Center 和 Tools for Humanity（TFH）正式加入。CCI 表示，新成员将增强其在链上金融、机构金融和数字身份领域的技术专长，以更好支持政策制定。 Etherealize 称，随着以太坊在机构场景中的应用加快，审慎的政策框架对释放下一代金融基础设施潜力具有重要意义。

ChainCatcher 消息，Bitget 旗下持牌 RWA 协议 Reality 发布最新储备金证明（PoR）报告。报告显示，Reality 储备金率达 100%，其发行的代币化股票 rToken 均与底层美股资产 1:1 锚定。 该储备金数据每日更新，并由美国审计机构 The Network Firm 独立审验，资产托管于 FINRA 注册、SIPC 保护的美国证券经纪商 Alpaca Securities LLC，受纽约州法律监管，形成发行、审验与托管三方独立的透明架构。 Reality 发行的美股代币 rToken 已与 Bitget 生态深度整合，可用于统一账户保证金、质押借贷等核心场景。此前数据显示，Bitget 股票代币 rToken 上线一个月后管理资产规模（AUM）突破 1 亿美元。

ChainCatcher 消息，ORANGE JUICE 宣布完成 4000 万美元融资，Mexican billionaire Ricardo Salinas 作为锚定投资者参投。该项目由 Ego Death Capital 合伙人 Jeff Booth、Lyn Alden 等创立，主要业务是收购年现金流为 100 万至 1000 万美元的美国盈利企业，长期持有并改善运营，同时建立比特币储备，并计划组建内部 AI 运营团队以提升被投企业生产力。

ChainCatcher 消息，Vitalik 在 X 平台发文表示，AI 2040 及其批评者在 AI 进展速度和重要性上存在不兼容的世界观。AI 2040 认为，除非采取强力措施完全阻止，否则到 2040 年各种情景都会出现某种形式的超级智能；批评者认为 AI 2040 低估人类协调能力并威胁自由，但未将 ASI 本身视为权力集中风险。 其认为，如果确信当前形式的 AI 只是普通技术，他会更接近批评者阵营；如果确信超级智能默认会在 2030 年到来，他会更接近 AI 2040 阵营。同时，由于存在很大不确定性，他继续对放缓或暂停保持开放态度，并对部分大型 AI 公司和知识分子提出的“开源不利，理想结果是己方掌握全球控制性主导权”立场感到不适。 Vitalik 称，他支持 d/acc 平台的重要原因是，形式化验证、密码学、安全且开放的硬件、疫情抵抗力、防御性生物技术、食品和基础资源安全、公共认知体系以及非权力集中型物理安全等方向，在两种世界观下都值得推进。他还表示，2040 计划已更加支持开源，并纳入“相互确保算力毁灭”设想，这相比让少数参与者选择性剥夺其认定对象的权利是一项改进。 在是否放缓或暂停的问题上不存在规避取舍的方案，Vitalik 认为可以预先设定触发条件，并在特定时间范围内触发足够条件时，对放缓或暂停保持更开放态度。 他还表示，如果自己是 Elon Musk 或 Zuck，会将 Twitter 更大幅度改造为帮助识别并促成这类大型双赢协议的平台，使更多人参与讨论，但他认为这可能也是天真的。目前他看不到任何不天真的 ASI 过渡应对计划，因此倾向于对正在尝试的人给予一定宽容。

ChainCatcher 消息，Vitalik Buterin 发文表示，其此前发起的 AI 匿名识别挑战实验已有胜者。该实验中他于 2024 年以中文撰写 EIP-7503（零知识虫洞）修订版，使用 Qwen 2.5 本地翻译后手动修正，试图隐藏作者身份。文中称尽管散文风格被有效模糊，但 AI 通过检测数学和算法解释的独特思维习惯（如具体数值示例和逻辑链条）成功识别，完全绕过其仅针对散文的混淆策略。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发表《The Extremely Lean Chain》提案，展示如何在“精简（Lean）”升级背景下激进压缩以太坊共识链的状态要求。该方案将责任转移给验证者，由其管理并定期通过 ZK 证明其状态，从而消除每 epoch 处理负担，并可能支持数百万验证者规模。核心机制包括：将验证者公钥从链上状态移除，仅存储存款树索引；取消实时奖励和惩罚处理，验证者每日生成 STARK 证明其参与情况并更新余额；验证者身份每日完全重新随机化，通过 ZK-STARK 实现强匿名性，提款地址仅在提款时暴露，不与存款或链上活动公开关联。Vitalik 表示，该方案在单时隙最终性、抗量子签名聚合等升级基础上，可将每验证者状态需求从约 180 字节压缩至 6 字节。单个验证者每日证明成本约需处理 5400 个 Merkle 分支，普通硬件上可在 1 小时内完成，且可通过聚合证明降低链上负担。此外，该设计可“几乎免费”实现单秘密领袖选举功能，1 天为保守周期长度，1 小时为下限。

ChainCatcher 消息，据 Vitalik Buterin 发文，以太坊研究人员近期在柏林召开会议，更新了协议长期发展路线图（strawmap.org）。Vitalik 指出，“Lean Ethereum”并非单次升级，而是将在未来三至四年内分阶段落地的系列改进，其重要程度堪比“合并”，几乎涵盖协议每个核心模块的重构。主要内容包括：验证机制：引入递归 STARKs，取代现有直接重执行方式，成为协议一级核心组件；量子安全：优先级大幅提升，所有量子脆弱组件将被替换，量子安全 Blob 设计已在推进中；共识层：解耦可用链与最终性，实现一至两轮最终性，安全性更优、延迟更低；状态层：现有动态状态保持不变，但将新增可扩展性更强的新型状态（如 UTXO 存储、环形缓冲区等），预计 2030 年以太坊将拥有 2 TB 动态状态 + 100 TB 新型状态，ERC20、NFT 等应用迁移后可实现超 10 倍 Gas 费用降低；隐私：从附加功能升级为一级目标，贯穿 Mempool、状态树等设计；VM：EVM 之外将引入 leanISA 或 RISC-V，长期目标是协议层仅直接。

ChainCatcher 消息，据 Onchain Lens 监测，Vitalik Buterin 刚刚通过隐私协议 RAILGUN 转移 79 枚 ETH，价值 13.7 万美元。

ChainCatcher 消息，Vitalik Buterin 发文《Obfuscation: building the final boss of cryptography (Part I)》，系统梳理混淆协议（iO）主线背后的整个技术树。文章指出，混淆技术可将程序转换为“加密程序”，在隐藏内部逻辑的同时允许对明文输入进行计算，理论上可实现“无需信任的受信第三方”，与区块链结合可构建近乎无需信任的投票系统、拍卖协议等多种应用。然而，当前 iO 方案的运行时间虽然技术上为多项式时间，但实际开销巨大，预计运行时间超过宇宙寿命。文章详细拆解了基于格的 iO 构造流程，涵盖全同态加密（FHE）、基于属性的加密（ABE）、混淆电路、函数加密及 XiO 等原语的堆叠。Vitalik 表示，过去十年该领域已从“不可能”走向“可证明安全”，但距离实际应用仍有巨大鸿沟。他提出了三条未来路径：进一步优化现有格基路线、采用更大胆的密码学假设以简化构造、或探索完全不同于格的全新假设，并强调若任一方向成功，将在很大程度上“解决密码学”，使任何可通过理想受信第三方描述的协议都能安全实现。

ChainCatcher 消息，据 Onchain Lens 监测，一个与 Vitalik 相关的钱包 “0xD04” 向一个新钱包转移了 7000 枚 ETH（价值 1,106 万美元），参考该地址往期交易记录，这笔 ETH 很可能存入 CEX。 此前，它转移了 1,300 枚 ETH（价值 3,160 万美元），随后存入了 Paxo。该钱包目前持有 20,001 枚 ETH（价值 3,160 万美元）。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发文表示，以太坊基金会（Ethereum Foundation, EF）已宣布今年将预算削减约 40%，作为其财政转型计划的一部分。 根据去年发布的资金管理政策，EF 正逐步从“支出型组织”转向“长期捐赠基金（endowment-based）模式”，目标是将年支出比例从此前约 15% 逐步降至 2030 年后的约 5%。在此过程中，基金会强调将接受不可避免的人员与资源调整，并承认部分能力与经验的流失。 本轮重组中，EF 已减少约 54 名员工，约占整体团队的 20%。Vitalik 表示，这些离职成员中许多人未来仍可能以外部形式继续参与以太坊生态建设。与此同时，基金会将战略重心转向更「轻量化」的协议治理与开发路径，包括推进“Strawmap”长期路线图，覆盖共识机制、隐私技术、账户模型与状态结构等核心协议升级，并推动以太坊进入第三阶段演进。 在具体结构调整方面，EF 将弱化“多客户端冗余优先”模式，转向更多基于专业化分工与 AI 辅助形式化验证的开发方式；隐私与扩容研究团队 PSE 将被重组，从探索型研发转向更聚焦的工程落地；Devcon 等生态活动规模也将逐步缩减。 此外，EF 未来将减少跨领域大型项目投入，更强调协议安全性与高价值改进，同时鼓励更多创新工作由生态外部完成。尽管路径更为精简，但以太坊仍将持续强化其作为高抗审查、长期稳定协议的核心定位。

ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 称，近期有声音认为 AI 文本分析将使网络匿名难以为继。 为此，他透露自己在本年代某个时间曾以匿名身份撰写过一篇对以太坊具有中等重要性的公开文档，并估计在以太坊生态中有约 200 至 2000 篇文档重要性不低于该文档。 Vitalik 邀请社区和 AI 工具在这些文档中“找出”这篇匿名作品，以此检验 AI 能否通过文风分析等手段在大规模文本中去匿名作者。

ChainCatcher 消息，Bitget 旗下合规 RWA 发行平台 Reality 今天宣布，其股票代币 rToken 系列资产的管理规模（AUM）已突破 5,000 万美金。 Reality 于今年 5 月正式上线。以字母 r + 股票代码（如英伟达为 rNVDA）为标识的 rToken，通过与合规券商 Alpaca 合作直连纳斯达克、纽交所等全球流动性池。核心特点包括：底层资产 1:1 储备并由持牌托管机构托管，股票股息以代币形式 1:1 派发，拆合股等公司行为同步映射。此外，rToken 持仓已可作为 Bitget 统一账户及 U 本位合约的联合保证金，大大提升跨资产的资金利用率。截止目前，Bitget 已上线超过 500 个由 Reality 发行的股票代币，且 SpaceX、英伟达等部分核心资产已支持周末交易，实现了24/7现货流动性。

ChainCatcher 消息，以太坊基金会首位华裔执行董事 Hsiao-Wei Wang 今日宣布离职。其在公告中表示，“决定优先考虑个人生活和未来方向。现在是退居幕后的合适时机，仍在思考下一步该怎么走”。对此，Vitalik Buterin 发文高度肯定 Hsiao-Wei Wang 的贡献，称其“十年来一直是以太坊生态系统的坚定贡献者”，并表示“期待她接下来的冒险经历”。 2025 年 3 月 10 日，以太坊基金会（EF）宣布王肖薇（Hsiao-Wei Wang，中文本名王筱薇）晋升董事会成员，成为 EF 成立七年来首位从技术基层晋升董事会的华裔领导者。

ChainCatcher 消息，据 CoinDesk 报道，Etherealize 联合创始人 Vivek Raman 表示，以太坊正处于从基础设施建设向大规模应用过渡的关键阶段。尽管链上基础设施已基本完善，但市场尚未充分定价 ETH 作为网络安全资产的长期价值。