本站消息,10 月 20 日,以太坊创始人 Vitalik Buterin 今晨发文介绍 GKR 协议。GKR 是实现 ZK-EVM、zk-ML 等快速证明的核心协议,适配「多层低阶处理 + 大量重复函数应用」的计算(如哈希、神经网络),无需对中间层承诺,仅需承诺输入输出,大幅提升效率。通过减少 sumcheck 每轮计算量(如 Gruen's trick)、Poseidon2 批量处理等优化,
理论上证明 Poseidon 哈希开销仅 15x(传统 STARKs 为 100x),实际可低于 10x,且数据量越大开销越趋近于零。
编者按:本文介绍了一种基于 Claude Code 与 Obsidian 搭建的个人知识系统,其核心不再是传统 RAG 模式下每次查询、临时检索的用法,而是尝试让 AI 持续构建并维护一个可演化的知识库(Wiki)。从结构上看,该系统可以拆...
编者按:当 AI 能力开始逼近通用工具的边界,网络安全的含义也在发生变化。它不再只是针对黑客、病毒或数据泄露的防御问题,而正在演变为一场能力不对称的博弈。随着 Anthropic 推出的 Claude Mythos 展现出接近顶级专家的漏洞...
编者按:从石器时代的威胁,到两周停火的迅速落地,这场围绕伊朗的冲突在短时间内经历了急剧转折。表面上看,局势降温、市场反弹,但更深层的结构性问题并未因此得到解决。一方面,Donald Trump 在政治与经济压力下选择下台阶,通过停火暂时缓解...
编者按:近日,《The New York Times》发布长篇调查报道,重新追问一个困扰加密行业 17 年的问题:中本聪究竟是谁?不同于以往基于零散爆料或单一线索的猜测,这篇报道沿着 Cypherpunks 历史档案展开,通过技术路径、写作...