首页文章

文章

全部技术文章,按发布时间倒序排列

09192026金秋 · 收获

水花只活几分之一秒,但这次被 7 台 4K 相机抓住了:单篇深读 SplashSplat,真实世界液体的 4D 重建

一滴花只存在几分之一秒:薄片撕裂成韧带,韧带断成液滴,外观依赖视角、几乎无纹理。SplashSplat 用「只在观测能约束的地方施加物理结构」的原则,第一次从 7 台 4K 相机 60fps 采下的 20 个真实场景里,重建出物理合理、还能做时间插值与风格迁移的 4D 液体。

09182026金秋 · 收获

代码跑得慢,不一定是代码的问题:2026年9月,9篇论文把性能工程的边界又推了一步

同一个程序,为什么有人秒开、有人转圈?答案藏在源代码之下的五层里。本文用 2026 年 9 月 arXiv 的 9 篇论文,把编译、运行时、垃圾回收、Serverless、GPU 与跨领域编译连成一张加速地图——代码跑得慢,不一定是代码的问题。

09172026金秋 · 收获

软件修不完,漏洞就下沉到了芯片与内存:看懂2026年9月的10篇网络安全新论文

当杀毒软件、补丁、零信任统统不够用时,数字安全的攻防正在下沉到芯片、内存与固件层。本文基于2026年9月arXiv最新10篇网络安全论文,带你一次看懂:CPU投机执行、内存Rowhammer、ring-0反作弊、固件漏洞、LOTL入侵、AI守方与密码度量危机。

09162026金秋 · 收获

原创代码没错,钱却没了:2026年9月,8篇论文揭开智能合约的赛博攻防战

# 代码没错,钱却没了:2026年9月,8篇论文揭开智能合约的赛博攻防战 设想一个场景:你往一个智能合约里存了资产,合约代码在链上公开,审计公司出过报告,区块链浏览器上「已验证」的勾一挂,一切看起来天衣无缝。可就在你点下「转账」的那一毫秒,一个藏得很深的漏洞,把你刚存入的资产转进了别人的钱包。 这不是恐怖电影的开头,而是 2026 年链上资产被盗新闻的日常版本。问题出在一个残酷的事实上:**

09152026金秋 · 收获

量子互联网的距离之争:从50公里光纤到墨子号卫星,谁在铺一张「无法窃听」的网?

从尼斯地铁网络那条 100 公里的光纤,到米兰三座数据中心之间的城域量子网,再到中国的墨子号卫星——量子通信正在把『不可窃听』从理论变成工程。本文用 6 篇 2026 年 arXiv 新论文,讲清楚量子互联网到底走到哪一步:50 公里、100 公里、城域、星地——每一道坎都是物理极限与工程智慧的博弈。

09142026金秋 · 收获

原创它能干,但可信吗?——从 14 篇 arXiv 新论文看懂智能体评测、审计与治理的集体爆发

AI 智能体越来越能干:替你读邮件、调 API、审批、下单,甚至替你写代码再替你 review。可一个每天替你办事的执行者,你凭什么相信它没在骗你?2026 年 9 月第一周,arXiv 上扎堆出现 14 篇论文,把『智能体可不可信』从一句口头追问,变成了一门可以测量、可以审计、可以治理的工程。本文承接上篇『谁在证明它没骗你』的全景,切入纵深:诡计行为的压力测试基准(SchemeArena)与风险感知评测(AURA-Eval)、全生命周期信任分(AgentAudit)、步级注入标注数据集(AgentDrift)与威胁分级(TIER);再向上走到机制可组合的合约治理(CONTINUITY)、推理时治理与多智能体联邦治理(Beyond Training / PRIMUS)、区块链锚定的可审计证据(Black Box for Agentic Processes);最后落到 TEE 混淆搜索、后量子加速器、MEV 韧性与波动共识等底层地基。结论先行:能力评估的时代正在过去,『可信度量』的时代正在开始——检测粒度、治理边界与证据可验证性,将一起决定 Agent 到底能被委以多大事。

09132026金秋 · 收获

原创当 AI 替你「做主」之后:谁在证明它没骗你?——从 22 篇 arXiv 论文看懂智能体、网络安全与零知识证明的三岔路口

AI 智能体开始替我们做决策的时代,「信任」正在被整体重写。本文基于 2026 年 8 月末至 9 月上旬 arXiv 上的 22 篇真实论文,沿着三条线展开:LLM 参数里的内部知识与智能体的身份、长程状态;越狱、提示注入、静态分析骗局等智能体安全的攻击与评测黑洞;以及零知识证明如何让「不被信任的人也能交出让全链可信的结果」。三条线的交汇点,就是下一代可信计算基础设施——当执行者不再可被直接检查,我们只能靠「可验证的数学事实」来相信结果。本文将用流程图与表格,把这场正在发生的信任机制底层重写讲清楚。

08232026盛夏 · 活力

原创证明系统的选型地图:从 Groth16 到折叠方案的架构演进

零知识证明(ZKP)系统在过去十年经历了从学术论文到工程基础设施的跨越。Groth16 以 192 字节的恒定证明大小和约 230K Gas 的验证成本成为链上验证的黄金标准,但其每个电路需要独立可信设置的代价限制了快速迭代场景的适用性。PLONK 通过通用结构化参考串打破了这一局限,却以更大的证明尺寸(约 576 字节)和更高的验证 Gas(约 320K)为代价。STARK 完全消除了可信设置并提供了后量子安全性,但 42 KB 的原始证明在以太坊 L1 上直接验证需要约 2.5M Gas——超 Groth16 10 倍以上。折叠方案(Nova、SuperNova、Protostar)的登场重构了增量可验证计算(IVC)的效率边界:在 zkEVM 逐块证明等高深度递归场景下,折叠方案比传统递归 SNARK 降低了 10–100 倍的端到端证明开销。与此同时,Plonky3 的模块化密码学工具箱在 Proof Arena 基准中以验证吞吐量 5,413 proofs/sec 追平了配对联算系统(来源:Polygon, 2024);Expander 以 16,700 proofs/sec 的证明生成吞吐量登顶(来源:Polyhedra/Proof Arena, 2025);Binius 在二进制域上的 FRI-Binius 改进将证据大小从 STARK 的 42 KB 压缩至接近 PLONK 的数百字节级别(来源:Irreducible, 2024)。本文建立了一个四维分析框架——密码学假设、算术化方案、多项式承诺方案、工程权衡——并给出针对 L1 Rollup、zkEVM、跨链桥、通用 zkVM、隐私身份凭证等典型场景的具体选型路径。