KZG 变体第四篇：用 Gemini 实现多重线性承诺
ZK/SEC Quarterly 发布 KZG 承诺方案第四篇，将单变量 KZG 扩展到多重线性多项式，引入 Gemini 协议。文章推导了递归部分求值和 split-and-fold 恒等式，将每步折叠转化为可用 KZG 开包验证的单变量恒等式，并完整 walkthrough 了开包协议，最后分析证明大小、证明者和验证者成本。
评论
点赞
收藏用 AI 优化密码学
AI 生成密码学代码风险极高，"氛围编程"容易引入安全漏洞和数学正确性错误。ZK/SEC Quarterly 发文讨论如何安全地使用 AI 辅助密码学开发。
推出zkvmBlast：以太坊zkVM的差异模糊测试
ZK/SEC Quarterly发布zkvmBlast，一种zkVM差异模糊测试工具，在SP1、RISC0、OpenVM、Pico、Zisk和Airbender六个zkVM实现上运行相同程序并与参考模拟器对比，标记任何分歧结果。工具重点检测完备性漏洞——这类漏洞可将单个有效区块转为链活性故障，此前研究较少。团队分享了首批发现结果。
Circom-Auditor: Open-Source Skills for Finding Vulnerabilities in Circom Code
We are releasing zk-skills, a set of open-source security skills for AI coding agents, starting with circom-auditor: a first line of defense against vulnerabilities in Circom circuits, compatible with...
Variants of KZG: Part III, Multilinear Commitments with Zeromorph
In this blog post, we extend univariate KZG commitments to multilinear polynomials through Zeromorph. We introduce the univariatization map, encode the multilinear quotient identity as a univariate id...
KZG 变体：第二部分，使用 PST 的多线性承诺
PST 承诺方案将单变量 KZG 承诺扩展到多元多项式，推导了多元商恒等式并详细说明了其承诺和打开协议。文章分析了证明大小、证明者和验证器成本，以及限制其他多元多项式承诺方案的动机。
阈值 ECDSA：从零构建 CGGMP
ZK/SEC Quarterly 团队从零构建 CGGMP，一个 n-of-n 阈值 ECDSA 方案，多方协作生成签名而不重构私钥。文章从乘法到加法（MtA）协议起步，逐步引入零知识证明将半诚实模型加固为恶意安全模型，涵盖 Ring-Pedersen 和 Paillier 参数及其安全性证明。
zkao 2.0 发布：全面重设计的持续安全扫描工具与新模式
ZK/SEC Quarterly 发布 zkao 2.0，对持续安全扫描工具进行了全面重新设计。主要更新包括采用按量付费模式取代订阅制，并在扫描、分类和报告功能上进行了多项改进。
最广泛使用的零知识证明系统 Groth16 是如何工作的
zkSecurity 发布 Groth16 系列第十期视频，配合此前文章直观讲解其原理。内容涵盖 R1CS 到多项式恒等式的算术化、Schwartz-Zippel 引理、配对的作用、随机线性组合防止证明者作弊，以及 CRS 中 gamma/delta 分离因子的机制。适合想深入理解 ZK 底层逻辑的工程人员。
AI 遇见密码学 3：AI 在 Bron Labs 的 bron-crypto 中发现了什么
ZK Security 团队利用 AI 审计流水线对 Bron Labs 的 Go 语言 MPC 和阈值签名库 bron-crypto 进行自动化审查，确认了四个安全漏洞，目前均已在上游修复。这是该系列关于 AI 发现开源密码学漏洞的第三篇报告，展示了 AI 在形式化验证和代码审计中的实际落地能力与可靠性。
九年磨一剑：RFC 9861 正式发布，哈希函数性能翻倍
RFC 9861 正式发布，引入 KangarooTwelve 和 TurboSHAKE 哈希算法。两者基于 Keccak 置换，将轮数减半，在保持同等安全性的前提下性能提升约两倍。文章解释了减半的安全性依据、FIPS 合规性限制及不同工作负载下的加速效果，并回顾了该标准历时九年的制定过程。
将 Aleo 和 Leo 引入 zkao
zkSecurity 团队将 Aleo 和 Leo 支持集成至 AI 漏洞检测工具 zkao，并在 HumanityLink 项目中实战验证。文章分享了利用 LLM 审计新兴生态的经验：关键在于定制提示词以识别特定 Bug 模式，使用 cheatVM 生成端到端概念验证而非仅代码片段，以及建立清晰的威胁模型以降低误报率。
AI 遇上密码学 2：在 OpenVM 的 ZkVM 中发现了什么
zkSecurity 利用自研 AI 审计工具 zkao 扫描 OpenVM，发现其 guest 库 openvm-pairing 存在关键健全性漏洞，攻击者可伪造配对等式，从而破坏基于该库的 SNARK 验证和签名机制。该漏洞已修复。文章同时指出，面对复杂代码库，普通 LLM 因上下文限制难以独立发现此类深层逻辑错误，需结合专家经验流进行深度上下文工程。
AI 审计实战：我们在 Cloudflare 密码学库中找到的 7 个漏洞
zkSecurity 团队利用自研的 AI 审计智能体 zkao 对 Cloudflare 的密码学库 CIRCL 进行扫描，成功发现并修复了七个真实漏洞。 这些漏洞涵盖从阈值 RSA 的浮点数精度丢失到属性基加密的访问控制失效等严重问题。 文章详细拆解了每个漏洞的技术原理，并重点分析了 AI 在判定漏洞严重程度时的偏差。例如，AI 曾低估了 BLS 聚合签名的 Rogue Key 攻击风险，却高估了部分工程实现错误的危害。这揭示了当前大模型在密码学逻辑推理上的优势与盲区。
Zk.golf：无畏且协作的电路优化
是一个利用形式化验证结合前沿 AI 模型进行零知识证明电路优化的竞赛平台。该平台提出的“无畏优化”理念旨在通过自动化手段消除人工检查约束条件的繁琐工作，为 ZK 开发者提供了一条高效、协作的电路优化新路径。
New on mpcsec.org: An MPC Bug Tracker, Templates, and a Cleaner UI
A month after launching, we added a searchable tracker of real-world MPC bugs, expanded the pitfall taxonomy, published contribution templates and refreshed the site UI.
zkNews Is Now Open to Everyone
zkNews is now open to everyone. When we first launched, access was limited to a small beta group to keep things stable while we found our footing. That rate limit is gone. Anyone can now sign up, subm...
Clean: From Verified Circuits to Verified zkVMs
Clean, our circuit DSL, is growing toward verification of complex multi-AIR ensembles. We introduce channels as a way to model lookups, permutation arguments, and zkVM cross-table interactions, then e...
Sum-Check的代数张量约简视角：第三部分
本文是该系列的第三篇，系统介绍理解代数张量约简所需的数学工具：线性映射（模同态）、同构和双线性映射。每部分都包含严格定义、多个正反例证和直观解释。线性映射保持模的加法和标量乘法结构；同构是一一对应的线性映射，表明两个模在结构上等价；双线性映射对每个参数分别线性。文章为后续介绍张量积及其在Sum-Check协议中的应用奠定基础，兼顾数学严谨性与可读性。
求和检验作为代数张量约简：第二部分
本文继续探讨将求和检验（sum-check）形式化为张量约简的代数语言，重点介绍环与模的基本概念，并通过实例帮助读者建立直观理解。
破解Jolt验证器的无界单跳声明漏洞
发现Jolt透明验证器严重漏洞，可伪造无效执行证明通过验证。披露后迅速修复，PoC和详细分析已公开。