ETHGlobal Lisbon 2026 公布决赛入围项目名单
By: x.com|2026/07/27 03:16:25
0
分享
设为Google首选来源
ETHGlobal Lisbon 2026 公布决赛入围项目名单，包括 x402 支付追踪仪表盘 Glassbox402、链上机械臂预订协议 Hands Unchained、加密 KOL 责任层 KOLlateral、社交活动应用 Happy Hour、加速以太坊证明生成的物理芯片原型 Lean Silicon、房屋抵押稳定币协议 explorador、代理开发者钱包及工具包 ethui agentic wallet、隐私聊天插件 Lortnoc Tahc、链上订单簿 ArcBook 及智能钱包恢复应用 Carte Bleue
-- 价格
--
--
--
本内容仅供参考，不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息，不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性，存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。
猜你喜欢
以太坊存款合约草案发布，支持量子安全密钥
以太坊（ETH）开发者提交了一份草案，旨在将验证人存款合约的结构更改为支持量子安全密钥的形式。虽然质押方式不会立即改变，但这是为了长期替换基于BLS的验证人密钥体系而进行的初步提案。
以太坊：Vitalik Buterin希望引入Utreexo，反对比特币存储的策略
Vitalik Buterin赞扬Utreexo，这一比特币技术减轻了节点的存储负担，并勾勒出一种混合架构以扩展以太坊。
以太坊启动AI代理安全提升竞赛
以太坊基金会启动“Better Codes”后量子研究挑战赛，奖金池100万美元
以太坊的Vitalik支持比特币启发的扩展模型
“人工智能比我更优秀”：一位研究者面对Claude和ChatGPT的眩晕
Anthropic未发布模型在黎曼猜想研究中取得进展
Zcash公开2700个验证，尝试增强供应信任
Zcash（ZEC）公开了超过2700个机器验证证明，涉及新匿名资金池Ironwood的平衡完整性。交易金额和参与者的隐私...
维塔利克·布特林提出了一种新的编程语言用于人工智能
Vitalik 提出新型高级编程语言以提升定义和定理可读性
「台湾加密新法」的幕后，欧德丽·唐×葛如钧对谈｜WebX2026
Vitalik 提出“极致精简链”方案，验证者每日提交 STARK 证明，状态存储压缩至 6 字节
ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 发表《The Extremely Lean Chain》提案，展示如何在“精简（Lean）”升级背景下激进压缩以太坊共识链的状态要求。该方案将责任转移给验证者，由其管理并定期通过 ZK 证明其状态，从而消除每 epoch 处理负担，并可能支持数百万验证者规模。核心机制包括：将验证者公钥从链上状态移除，仅存储存款树索引；取消实时奖励和惩罚处理，验证者每日生成 STARK 证明其参与情况并更新余额；验证者身份每日完全重新随机化，通过 ZK-STARK 实现强匿名性，提款地址仅在提款时暴露，不与存款或链上活动公开关联。...
Vitalik 发文概述以太坊长期路线图，Lean Ethereum 将成第三次重大迭代
ChainCatcher 消息，据 Vitalik Buterin 发文，以太坊研究人员近期在柏林召开会议，更新了协议长期发展路线图（strawmap.org）。Vitalik 指出，“Lean Ethereum”并非单次升级，而是将在未来三至四年内分阶段落地的系列改进，其重要程度堪比“合并”，几乎涵盖协议每个核心模块的重构。主要内容包括：验证机制：引入递归 STARKs，取代现有直接重执行方式，成为协议一级核心组件；量子安全：优先级大幅提升，所有量子脆弱组件将被替换，量子安全 Blob 设计已在推进中；共识层：解耦可用链与最终性，实现一至两轮最终性，安全性更优、延迟更低；状态层：现有动态状态...
以太坊基金会宣布重组并裁员 20%
ChainCatcher 消息，以太坊基金会发布博客称，已结束长达数月的重组，并裁员 54 人，约占此前人员数的 20%。
此次调整延续了“精简以太坊（Lean Ethereum）”的战略转型，以及 2026 年度发展方向，将以太坊基金会重新定位为更轻量的协议治理与维护者，而非主要的核心建设者。
该变化是在 2025 年 PR&D（研究与开发）重组（员工从 110 多人缩减至 100 人以下）、此前约 19 人的裁员，以及多位高级研究员相继离职的基础上进一步推进的。
Vitalik 谈以太坊基金会的未来：一艘更小、更鲜明、却更长久的船
Vitalik 阐述他对以太坊基金会转型方向的个人看法：EF 不是"以太坊的中心"，而是众多节点之一。资源有限的 EF 选择长期主义而非铺摊子，专注于那些"没有 EF 就不会发生"的关键任务——可证明无 Bug 的以太坊、高可用共识、中介最小化。以太坊不该在速度上和别人内卷，而要在 CROPS（抗审查、韧性、开放、隐私、安全）维度做到极致。
Vitalik：AI 辅助形式化验证有望同时提升代码效率与安全性
ChainCatcher 消息，Vitalik Buterin 发文探讨形式化验证（Formal Verification）在区块链安全领域的应用前景。
文章指出，以太坊前沿研发中正兴起一种新范式，直接使用 EVM 字节码、汇编或 Lean 编写代码，并用 Lean 中可自动检查的数学证明验证其正确性，研究者 Yoichi Hirai 将这一范式称为“软件开发的最终形态”。
Vitalik 认为，AI 辅助形式化验证有望同时提升代码效率与安全性，尤其适用于 STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。
文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、...
Hyperliquid Strategies将股票融资额度增至25亿美元（向SEC提交追加申请）
1万亿欧元的沉睡储蓄：欧盟想对您的钱做什么
冯·德莱恩希望动员1万亿欧元的欧洲存款。征用？不。这篇演讲真正说了什么。
国际清算银行研究人员测试XRP账本以进行数据检查
高概率关闭部分餐厅
2026 最野 DeFi 收益策略：不赌暴涨，吃尽链上投机手续费
贝森特提到数字资产可能成为对伊朗制裁的新目标
以太坊与索拉纳：哪个L1能捕获更多价值？
Fables 积分十月收官，「短平快」美股做市协议值得参与吗？
Robinhood Chain 热度持续爆发，微软首度单列 Azure 营收｜WEEX TradFi 每日市场简报（2026年9月3日）
本篇简报聚焦 Robinhood Chain 链上交易热度持续升温及其对 Arbitrum 生态收入的直接传导，微软提升 Azure 与 AI 基础设施收入透明度，以及博通在 AI 半导体高增长背景下面临的预期博弈。同时，市场也将把关注点转向美国8月非农就业报告与 Ciena 财报对宏观利率路径和光通信景气度的进一步验证。
股票代币化究竟还面临着哪些挑战？
x402 上线以来：1.5 亿笔交易、结算额与真实使用场景回顾
周五非农前瞻：就业降温遇上通胀反弹，美联储如何选择？
Arc 主网倒计时，第一批流量会流向哪里？
伦敦证券交易所与Payward达成合作，计划将100只英国股票进行代币化
以太坊存款合约草案发布，支持量子安全密钥
以太坊（ETH）开发者提交了一份草案，旨在将验证人存款合约的结构更改为支持量子安全密钥的形式。虽然质押方式不会立即改变，但这是为了长期替换基于BLS的验证人密钥体系而进行的初步提案。
以太坊：Vitalik Buterin希望引入Utreexo，反对比特币存储的策略
Vitalik Buterin赞扬Utreexo，这一比特币技术减轻了节点的存储负担，并勾勒出一种混合架构以扩展以太坊。
以太坊启动AI代理安全提升竞赛
以太坊基金会启动“Better Codes”后量子研究挑战赛，奖金池100万美元
以太坊的Vitalik支持比特币启发的扩展模型
“人工智能比我更优秀”：一位研究者面对Claude和ChatGPT的眩晕
...
