Even Lu

🚨 Google has sounded the quantum alarm 🚨 Today, they released groundbreaking progress towards breaking crypto using a quantum computer. TLDR - Existing cryptography is dead. Mempool attacks are real. We must migrate to post-quantum now. Thread 🧵

🚀 New Plonky3 release just dropped. This is probably our most impactful and ambitious release so far: - MUCH faster lookups - High-arity folding - N-ary Merkle trees + Merkle caps - Major Poseidon2 optimizations - Poseidon1 support - And many more… Let’s break it down 👇

OpenClaw安全指南 余弦团队出品，你可以不读，但是得让你的小龙虾读并且部署安全防护。 Github：github.com/slowmist/openc…

1/ Jolt now supports zero-knowledge 🧵 This makes Jolt suitable for privacy applications — no SNARK recursion, no "wrapping", no sacrifice of transparency. Marginal increase in proof size (~3 KB). Prover time is essentially unchanged. a16zcrypto.com/posts/article/…

Some things happening in the Nethermind formal verification team this week: - @fastreedsolomon and I are kicking off formalisation of STIR and WHIR IOPPs as part of ArkLib (github.com/Verified-zkEVM…) - Developing an augmented version of Certiplonk that scales better, we're currently using it to prove the soundness of an implementation of the Poseidon 2 hash in Plonky3 (github.com/NethermindEth/…) - We have proved that probability spaces, PSp, are indeed instances of discrete camera by following the proof described in the Lilac separation logic paper. This is an important milestone in embedding the resource model of Bluebell in Iris Lean, as the model of Bluebell is (essentially) defined to be a permission algebra on top of the ordered resource algebra PSp. (github.com/Verified-zkEVM…) - Implemented a computable implementation of Lagrange interpolation as part of the ArkLib project (github.com/Verified-zkEVM…).

JUNE 2028. The S&P is down 38% from its highs. Unemployment just printed 10.2%. Private credit is unraveling. Prime mortgages are cracking. AI didn’t disappoint. It exceeded every expectation. What happened?​​​​​​​​​​​​​​​​ citriniresearch.com/p/2028gic

Introducing EVMbench—a new benchmark that measures how well AI agents can detect, exploit, and patch high-severity smart contract vulnerabilities. openai.com/index/introduc…

AI can make work faster, but a fear is that relying on it may make it harder to learn new skills on the job. We ran an experiment with software engineers to learn more. Coding with AI led to a decrease in mastery—but this depended on how people used it. anthropic.com/research/AI-as…

Dropping the main programming for Pop-X Kuala Lumpur (Feb 5–8)! 📢Hackers, researchers, builders, founders, marketers👇 A wave of exciting talks + side-events submitted and will be woven into the full Pop-X week (Feb 4–11). ✋ Applications still open: luma.com/7c81mjzl

Today marks an inflection in the Ethereum Foundation's long-term quantum strategy. We've formed a new Post Quantum (PQ) team, led by the brilliant Thomas Coratger (@tcoratger). Joining him is Emile, one of the world-class talents behind leanVM. leanVM is the cryptographic cornerstone of our entire post-quantum strategy. After years of quiet R&D, EF management has officially declared PQ security a top strategic priority. Our journey began in 2019, with the "Eth3.0 Quantum Security" presentation at StarkWare Sessions. Since 2024, PQ has been central to the @leanEthereum vision. The pace of PQ engineering breakthroughs since then has been nothing short of phenomenal. It's now 2026, timelines are accelerating. Time to go full PQ: → PQ ACD: Antonio Sanso (@asanso) kicks off a bi-weekly All Core Devs PQ transactions breakout call next month. These sessions focus on user-facing security, covering dedicated precompiles, account abstraction, and longer-term transaction signature aggregation with leanVM. → PQ foundations: Today we are announcing a $1M Poseidon Prize to harden the Poseidon hash function. We are betting big on hash-based cryptography to enjoy the strongest and leanest cryptographic foundations. Check out our other $1M PQ initiative, the Proximity Prize. → PQ devnets: Multi-client PQ consensus devnets are live! Shoutout to pioneers @zeamETH, @ReamLabs, @PierTwo_com, @geanclient, @ethlambda_lean, as well as established consensus teams Lighthouse, Grandine, and soon Prysm. This incredible teamwork is coordinated by @corcoranwill via weekly PQ interop calls. → PQ workshops: Building on last year's PQ workshop in Cambridge (see photo), the EF is hosting another 3-day PQ event in October. Top experts from around the world will convene. In addition, a PQ day is set for March 29 in Cannes just ahead of EthCC. → PQ FV and AI: Last week Alex Hicks (@alexanderlhicks) ran a specialised maths AI for 8 hours, at a $200 cost. It one-shotted a formal proof one of the hardest lemmas in the foundations of hash-based snarks. Mind-blowing. Applied cryptography will never be the same. → PQ roadmap: A comprehensive breakdown of the EF's proposed PQ strategy will be shared soon™ on pq[.]ethereum[.]org. The roadmap targets a full transition in coming years with zero loss of funds and zero downtime. Stay tuned :) → PQ education: The ZKPodcast (@zeroknowledgefm) is producing a 6-part video series on Ethereum's PQ strategy. EF Enterprise Acceleration is also preparing material for enterprises and nation-states. Finally, Ethereum is now represented on the PQ advisory board that Coinbase announced yesterday. Believe in something. Believe in PQ security.

We formalized FRI soundness in Lean, using @HarmonicMath and Claude Code. - FRI analysis by @nico_mnbl and collaborators - turned into a Lean proof by @pirapira 🔥

Happy new year🎄 Dec 2025 in Ethereum: - AI agents from Japan found protocol bugs @NyxFoundation - JPMorgan launched a tokenized money-market fund on Ethereum - The new Ethereum hub opened in Lagos @Web3Bridge Excited to see what builders ship next.✨ localethereum.substack.com/p/local-ethere…

1/2 As of Q3 2025, the fastest client-side-feasible ZK-SNARK (@aztecnetwork's Barretenberg) is ~4x faster than the fastest *ZK* VM (@ligero_inc's Ligetron). The fastest non-ZK SNARK (@IrreducibleHW's Binius64) is ~36x faster than the fastest non-ZK VM (@KakarotZkEvm's Cairo-M).

从缫丝业到AI、区块链：如何用科技史思维看 Web3 上篇文章发表之后，很多朋友问我：为什么那么多 Web3 项目，看起来很“对”，却最终失败？ 答案，其实早在科技史里就有。 从中国缫丝业的机械化，到早期互联网，再到 AI 的兴衰，历史一再告诉我——技术能否成功，关键不在它有多先进，而在系统能否吸收它。 我对 Web3 的判断，并不仅仅来自区块链， 而是来自一门几乎没人会和 Web3 联系在一起的学科：科技史。 它教会我的，不是技术会不会赢，而是——什么时候赢、为什么赢，以及为什么大多数“看起来正确”的项目会死。 在清华科技史训练中，我真正内化了两个非常反直觉的认知。 它们直接影响我判断 Web3 的技术周期、项目时机，以及系统性风险。 这些认知不是书本理论，而是我看一个技术会不会成功、什么时候成功、为什么失败的行动指南。 一、技术先进 ≠ 成功，系统吸收才是关键 科技史里有一个经常被忽视、但极其重要的结论： 很多技术失败，不是方向错，而是时间错。 这种模式，在历史中反复出现。 互联网是一个非常典型的例子。 从技术上看，今天互联网的核心骨架，其实在 70–80 年代就已经基本完成： - 1969 年：ARPANET 上线 - 1974 年：TCP/IP 被正式提出（Cerf & Kahn） - 1983 年：ARPANET 全面切换到 TCP/IP - 同期出现 Email、DNS 等关键基础设施 但在接下来的十多年里，互联网仍停留在科研机构和少数技术人员之间，并没有真正普及。 真正的转折，并不是“网络变得更快”，而是协作系统被重构了： 1989–1991 年：HTTP、HTML、URL 被提出 1993 年：Mosaic 浏览器，让普通人第一次“看懂”互联网 1994–1995 年：商业 ISP、广告、电商和用户教育逐步成型 互联网爆发，本质上不是技术突破，而是可用性、标准化和商业机制同时就绪。 AI 的历史路径几乎一模一样。 从思想层面看，AI 非常早熟： 1950 年：图灵测试 1956 年：达特茅斯会议，“Artificial Intelligence”正式提出 1960s：符号推理、搜索算法、早期神经网络出现 但接下来的几十年，AI 长期停留在实验室和小规模演示中。 原因并不复杂，也不是方向问题，而是系统条件严重不匹配： - 算力不足（没有 GPU，极其昂贵的并行计算） - 数据稀缺（没有互联网、没有日志体系） - 存储和部署成本过高 结果就是两次著名的 AI Winter（1970s、1980s）。 不是 AI 不行，而是现实世界还无法承载它。 还有一个我在清华学科学史时印象非常深刻的一个案例，缫丝业进入中国。 上海开始引入机械化缫丝设备时，遭遇了工人的强烈抵制。问题并不在于技术不先进，而在于“技术进步”直接整体替代了原有工人，原本的协作系统无法吸收这次变化。 后来发现广东之前的引进却很成功，秘诀是在广东采取了一种看似“技术退步”的方式： - 机器只负责关键控制环节 - 大量工序重新交还人工。 结果反而更快被接受，并实现规模化扩散。 科技史反复告诉我一件事： 真正的技术爆发，从来不是“更聪明”，而是更可用、更便宜、更容易嵌入既有协作系统。 在 Web3 上，这套认知也非常适用： 上半场失败的很多 Web3 项目，并不是方向错，而是系统条件尚未成熟。 真正重要的，从来不是“去中心化有多彻底”，而是： - 监管是否准备好 - 用户心智是否成熟 - 成本结构是否合理 - 协作方式是否兼容 很多项目死于典型问题：技术是对的，但系统不兼容，当时的用户还完全没有准备好。 预测市场就是一个典型例子。 - 2018 年，以太坊上已经出现了去中心化预测市场 Augur； - 但真正的爆发，却发生在多年之后的 Polymarket，踩中了美国大选这一极其特殊的时间窗口。 这也是为什么我认为：Web3 正在从技术先行期进入系统吸收期。 合规、基础设施稳定性和真实使用场景，比理念纯度更重要。交易所用脚投票选择合规上岸，可见一斑。 二、技术变革是权力与协作的渐进重组 科技史带给我的第二个核心判断是： 大多数技术变革，并不是突然的革命， 而是一个渐进替代、持续重组权力和协作关系的过程。 库恩在《科学革命的结构》中提出“范式转移”，但现实几乎从不干净利落： - 旧体系抵抗 - 新旧体系并存 - 灰色地带与过渡形态 真正的赢家，并不是最激进推翻旧体系的人，而是最早理解新范式、并围绕它重组协作结构的人。 把这个判断放到 Web3 中，其实非常清晰。 Web3 的价值并不在于“去中心化更酷”，而在于它是否真正重塑生产关系和分配机制。 从科技史的视角看，Web3 不会一步到位替代 Web2， 而更可能从边缘但真实的场景开始生长，比如： - 跨境支付与结算 - 高杠杆、全球化金融衍生品 - 原生数字资产与开放金融基础设施 Web3 从小众走向大众，本质上不是技术问题，而是制度逐步吸收新技术的过程。 美国、韩国、新加坡、迪拜对 Web3 的态度，就是制度吸收新技术的经典案例。 对 Web3 从业者来说， 理解监管节奏、制度博弈、过渡形态， 往往比写更激进的代码更重要。 正因为有科技史的训练，我在Web3的投资、创业和参与项目时，会反复问自己三个问题： 1. 这个项目是否处在“对的时间”，而不仅是理想主义？ 2. 它是否真正降低了协作成本，而不是只提升局部性能？ 3. 它是否能被现有制度、用户和市场逐步吸收，而不是一次性颠覆一切？ 因此，我倾向关注那些： - 能形成真实价值闭环的产品 - 能在现实世界落地，而不仅在白皮书里 - 能在旧体系与新体系之间找到可行过渡路径 科技史让我明白：真正改变世界的技术，从来不是最激进的，而是最早被系统吸收、并重塑协作方式的。 这就是我理解和参与Web3的最新想法，欢迎大家一起交流。

.@ethereumfndn refocuses to security over speed – sets strict 128-bit rule for 2026 via @pelicamatos cryptoslate.com/ethereum-found…