本站消息，11 月 17 日，据官方消息，Brevis 发布 ProverNet 白皮书，提出用于零知识证明生成的去中心化市场机制，利用真实在线双向拍卖（Truthful Online Double Auction）在多样化计算任务与专用证明硬件之间实现高效匹配。
ProverNet 基于在 PancakeSwap、Uniswap、Euler、Linea、MetaMask 等项目中的合作经验，针对性解决了现有证明基础设施的核心痛点。据悉，ProverNet 将运行于专用 rollup Brevis Chain 之上，官方计划在 2025 年底前正式启动。Brevis 表示，该机制将推动零知识证明服务从中心化单一供应商模式向竞争性市场转型，使专业证明节点能够针对特定任务深度优化，应用方在获得验证计算服务的同时，不再受限于单一供应商。
编者按：本文介绍了一种基于 Claude Code 与 Obsidian 搭建的个人知识系统，其核心不再是传统 RAG 模式下每次查询、临时检索的用法，而是尝试让 AI 持续构建并维护一个可演化的知识库（Wiki）。从结构上看，该系统可以拆...
编者按：当 AI 能力开始逼近通用工具的边界，网络安全的含义也在发生变化。它不再只是针对黑客、病毒或数据泄露的防御问题，而正在演变为一场能力不对称的博弈。随着 Anthropic 推出的 Claude Mythos 展现出接近顶级专家的漏洞...
编者按：从石器时代的威胁，到两周停火的迅速落地，这场围绕伊朗的冲突在短时间内经历了急剧转折。表面上看，局势降温、市场反弹，但更深层的结构性问题并未因此得到解决。一方面，Donald Trump 在政治与经济压力下选择下台阶，通过停火暂时缓解...
编者按：近日，《The New York Times》发布长篇调查报道，重新追问一个困扰加密行业 17 年的问题：中本聪究竟是谁？不同于以往基于零散爆料或单一线索的猜测，这篇报道沿着 Cypherpunks 历史档案展开，通过技术路径、写作...
