茶话屋 · 慢煮光阴一壶茶,细说人间万般话。
“什么叫问题?问题就是事物的矛盾。哪里有没有解决的矛盾,哪里就有问题。”—— 论矛盾与问题 · 毛主席
精选文章
当 AI 替你「做主」之后:谁在证明它没骗你?——从 22 篇 arXiv 论文看懂智能体、网络安全与零知识证明的三岔路口
AI 智能体开始替我们做决策的时代,「信任」正在被整体重写。本文基于 2026 年 8 月末至 9 月上旬 arXiv 上的 22 篇真实论文,沿着三条线展开:LLM 参数里的内部知识与智能体的身份、长程状态;越狱、提示注入、静态分析骗局等智能体安全的攻击与评测黑洞;以及零知识证明如何让「不被信任的人也能交出让全链可信的结果」。三条线的交汇点,就是下一代可信计算基础设施——当执行者不再可被直接检查,我们只能靠「可验证的数学事实」来相信结果。本文将用流程图与表格,把这场正在发生的信任机制底层重写讲清楚。
zkVM 赛道 2026 全景:谁在领跑,谁被甩下
本文基于公开技术文档、官方技术公告、第三方性能基准与独立安全审计,试图在剧烈变动的 2026 年中场,绘制一张 zkVM 赛道的实战全景地图。
计算机技术 · 安全技术2026-08-23证明系统的选型地图:从 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、隐私身份凭证等典型场景的具体选型路径。
计算机技术 · 安全技术2026-08-23最新文章
它能干,但可信吗?——从 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 到底能被委以多大事。
人工智能 · 机器学习2026-09-14Hermes Agent Hindsight 记忆系统配置
Hindsig 是hermes agent内置的一个记忆差价,他让 Agent 真正学会的记忆引擎,解决memory.md和user.md token限制带来的问题。本文重点介绍了hindsight在local_embedded模式下的部署方式,供大家参考。
人工智能 · 工具使用2026-09-02闪电贷:无抵押借贷的原理与套利实战
闪电贷的 A-B-B 流程、套利与清算机器人
区块链 · 智能合约2026-08-10多签钱包设计与实现:资金安全的核心基建
Gnosis Safe 模式、确认阈值与执行机制
区块链 · 智能合约2026-08-09预言机:智能合约如何安全获取链下数据
Chainlink 集成、去中心化数据与喂价安全
区块链 · 智能合约2026-08-08智能合约 Gas 优化 10 招:让部署与调用更省钱
存储布局、事件日志、calldata 等 Gas 优化实践
区块链 · 智能合约2026-08-05