ZK/SEC 季度报

zksecurity
发布于 2025-06-19 20:46
阅读 15

提供了一系列关于零知识证明（ZKP）和相关技术的文章概览，涵盖Sumcheck协议、多线性扩展、HyperPlonk、形式化验证、Σ协议、Circle STARKs、Proximity Gaps、LaBRADOR、Bulletproofs等主题。文章旨在帮助读者理解并实践这些协议，涉及密码学、安全性、zkVMs、算术电路、格密码学等领域。

精选 [![学习 Sumcheck, MLE, 和 HyperPlonk：使用 SageMath 的互动教程](https://img.learnblockchain.cn/2025/11/28/sumcheck-mle-tutorial.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/sumcheck-tutorial/index.html)

Marco Gaglianese 2025年11月22日 阅读时间 1 分钟

## 学习 Sumcheck, MLE, 和 HyperPlonk：使用 SageMath 的互动教程

educativezksumcheckhyperplonksagemath

一个关于 Sumcheck，Multilinear Extensions 和 HyperPlonk 的全新互动教程，包含完整的 SageMath 实现和练习。超越理论，通过自己动手实现来理解这些协议的实际工作原理。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/sumcheck-tutorial/index.html)

Jason Park 2025年11月21日 阅读时间 13 分钟

## 更快的 Sumchecks：第一部分

educativezksumcheck

在这篇博客文章中，我们探讨了如何优化 **sumcheck** 协议，特别是在处理小域中的值和大域中的随机性时，这在 zkVMs 中经常需要。我们介绍了几种旨在减少昂贵操作的算法，重点是最小化大数乘法。从使用简单的评估表到更复杂的技术，如预计算累加器和利用拉格朗日插值，我们展示了如何有效地组织计算以加快证明时间。读者将深入了解 **sumcheck** 协议中的算术运算处理，并学习如何优化零知识证明中的特定情况。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/faster-sumchecks/index.html)[![算术电路的形式化验证框架比较](https://img.learnblockchain.cn/2025/11/28/circuit.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/formal-verification-arithmetic-circuits/index.html)

Yoichi Hirai 2025年11月19日 阅读时间 18 分钟

## 算术电路的形式化验证框架比较

对算术电路的形式化验证框架进行实践比较，评估 ACL2 Book (r1cs, PFCS)、acl2-jolt、Garden (Rocq)、zk-lean、sp1-lean 和 Clean 中的框架。每个框架都经过了可重复性、可用示例（从基本字段元素到 RISC-V VM 指令）和实际验证任务（包括 IsZero 和加权和电路）的测试。评估包括人工和 Claude Code 在每个框架上的工作能力，揭示了有关安装难度、证明自动化能力和公开可用示例的成熟度的见解。这篇文章映射了目前形式化验证的 ZK 电路的格局，并讨论了这个快速发展的领域接下来会发生什么。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/formal-verification-arithmetic-circuits/index.html)[![Sigma 舞蹈：承诺，挑战，回应](https://img.learnblockchain.cn/2025/11/28/sigmas.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/sigma/index.html)

teddav 2025年11月18日 阅读时间 21 分钟

## Sigma 舞蹈：承诺，挑战，回应

educativezk

通过经典的 Schnorr 协议学习 Σ-protocols 的基础知识，探索承诺、挑战和回应的三步舞蹈。这篇文章介绍了知识可靠性和见证提取，然后展示了如何使用 AND/OR 逻辑和 Pedersen 承诺来组合 Sigma 证明。查看可运行的 SageMath 实现，了解 Fiat-Shamir 如何将交互式证明转换为非交互式签名，并理解作为同态原像知识证明的更深层次的数学结构。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/sigma/index.html)[![Circle STARKs：第四部分，圆的算术化](https://img.learnblockchain.cn/2025/11/28/top_bg.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/circle-starks-4/index.html)

Varun Thakore 2025年11月17日 阅读时间 16 分钟

## Circle Starks：第四部分，圆的算术化

educativezkfri

在我们关于 Circle STARKs 系列的最后一部分中，我们将 Mersenne 素数域、圆曲线和双变量多项式的概念结合在一起，以展示一个全面的 Circle STARK 协议。我们详细介绍了在圆曲线上进行算术化的过程，引入 Circle FRI 作为低阶测试，并完成了整个 Circle STARK 的构建。读者将探索迹承诺、约束批处理和低阶证明如何结合以实现高效的可验证计算，深入研究证明有效性和安全分析的细微之处。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/circle-starks-4/index.html)[![邻近间隙：发生了什么以及它如何影响我们的 SNARKs](https://img.learnblockchain.cn/2025/11/28/proximity-thumbnail.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/proximity-conjecture/index.html)

Nicolas Mohnblatt 2025年11月14日 阅读时间 7 分钟

## 邻近间隙：发生了什么以及它如何影响我们的 Snarks

educativesecurityzk

最近的一系列论文否定了邻近间隙猜想，这让每个人都在想基于哈希的 SNARKs 是否有麻烦。我们使用一些有用的视觉效果来分解实际发生的事情——可以将其理解为理解哪些参数选择是安全的，哪些参数选择现在被证实是有风险的。这篇文章将引导你了解不同的安全区域（已证明安全、推测安全和绝对不安全），解释这些新结果如何与其他开放的数学问题联系起来，并展示这对于现实世界的 SNARKs 在证明大小和性能权衡方面意味着什么。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/proximity-conjecture/index.html)

Georgios Raikos 2025年11月13日 阅读时间 18 分钟

## 玩转 LaBRADOR：使用递归构建紧凑的基于格的证明

educativezkpqclattice

在这篇文章中，我们探讨了 LaBRADOR，这是一个透明的、基于格的证明系统，它通过递归实现亚线性证明大小。LaBRADOR 构建在 Module-SIS 假设之上，允许证明者有效地证明满足点积约束的短向量的知识，这足以表达 R1CS。该协议的关键思想包括摊销开销、外部承诺以及在每一轮递归后缩小见证的策略。这些技术共同使 LaBRADOR 成为后量子零知识证明的强大、可扩展的框架。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/labrador/index.html)

teddav 2025年11月12日 阅读时间 28 分钟

## 保持范围内：深入了解 Bulletproofs

educativezkipabulletproofs

本文分解了 Bulletproofs 如何实现范围证明：证明一个隐藏值位于一个范围内而不泄露它。从位分解开始，它展示了如何表达约束并将约束组合成单个内积，然后通过盲化多项式和承诺使证明零知识。到最后，你将了解像 Monero 的机密交易这样的系统如何证明有效的金额，同时保持值的私密性。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/bulletproofs-range-proofs/index.html)

Jason Park, Varun Thakore 2025年11月11日 阅读时间 1 分钟

## 宣布 S-two Book

announcementeducativezkstark

我们很高兴与 Starkware 合作推出 S-two book。如果你好奇如何使用 S-two prover 编写 AIRs、在 S-two 中实现 Cairo AIR，或者 Circle STARKs 是如何使用的，那么这篇文章适合你。深入了解这些见解，加深你对这些有趣主题的理解。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/stwo-book/index.html)[![常见的 Circom 陷阱以及如何规避它们 - 第 2 部分](https://img.learnblockchain.cn/2025/11/28/thumbnail-circom-pitfalls-2.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/circom-pitfalls-2/index.html)

Marco Besier 2025年11月10日 阅读时间 10 分钟

## 常见的 Circom 陷阱以及如何规避它们 - 第 2 部分

educativesecurityzktoolscircom

这篇文章是我们关于 Circom 陷阱系列文章的第二部分。第一部分介绍了断言、提示和别名问题，而本文探讨了不安全的组件使用以及 Circom 的比较运算符在有符号整数上工作的微妙之处。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/circom-pitfalls-2/index.html)[![为什么 FRI 有效？](https://img.learnblockchain.cn/2025/11/28/fri-thumbnail.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/fri-security/index.html)

Nicolas Mohnblatt 2025年10月30日 阅读时间 9 分钟

## 为什么 FRI 有效？

educativesecurityzkfri

这篇博文解释了 FRI 协议背后的安全性直觉，该协议证明一个函数接近有效的 Reed-Solomon 码字。它介绍了“证明者消息图”，这是一个分层结构，可以可视化正确和不正确的折叠如何影响验证。我们得出结论，如果太多折叠不一致，验证者很可能会拒绝，但如果大多数是正确的，则初始函数必须接近正确的码字。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/fri-security/index.html)[![展开 Bulletproofs 的魔力：SageMath 深入研究](https://img.learnblockchain.cn/2025/11/28/cover.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/bulletproofs-sage/index.html)

teddav 2025年10月27日 阅读时间 15 分钟

## 展开 Bulletproofs 的魔力：SageMath 深入研究

educativezkipabulletproofs

在这篇文章中，我们深入研究了内积参数 (IPA)，它是 Bulletproofs 的数学核心。从简单的向量折叠开始，我们构建了一个完整的零知识证明，其中包含 Pedersen 承诺，探索了神秘的 \`L\` 和 \`R\` 项是如何出现的，并以智能验证器优化结束。所有这些都用清晰、可运行的 SageMath 代码进行了说明。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/bulletproofs-sage/index.html)

David Wong 2025年10月23日 阅读时间 9 分钟

## 分解 Bulletproofs：没有配对，没有可信设置

educativezkipabulletproofs

了解 Bulletproofs 如何通过以可验证的方式计算内积来实现高效的零知识证明，而无需可信设置。这篇文章分解了核心折叠技术，该技术通过递归压缩将大向量减少到单个元素，从而使证明既紧凑又快速验证。Bulletproofs 用于 Monero、Mina 的 Kimchi 和 Zcash 的 Halo 2，是基于配对方案的实用替代方案。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/bulletproofs-intuitions/index.html)[![Archetype x zkSecurity - 布丁中的证明：另一个黑暗森林（链下公钥）](https://img.learnblockchain.cn/2025/11/28/pudding7.png)](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/pudding-7-offchain-pks/index.html)

ZK/SEC 2025年10月21日 阅读时间 2 分钟

## Archetype X zkSecurity - 布丁中的证明：另一个黑暗森林（链下公钥）

educativezk

在“布丁中的证明”的第 07 节中，我们探讨了另一个黑暗森林——链下公钥领域。我们深入研究 zkLogin、ZK Email 和 ZKPassport，研究这些协议如何处理身份验证和隐私。我们还讨论了隐私协议中的不可链接性问题，以及为什么用零知识证明替换传统的签名验证可能会解锁更有趣和更强大的 ZK 产品。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/pudding-7-offchain-pks/index.html)

ZK/SEC 2025年10月02日 阅读时间 1 分钟

## Archetype X zkSecurity - 布丁中的证明：数据可用性介绍（抽样）

educativezkdata-availability

在最新的“布丁中的证明”课程中，我们与 Archetype 合作，分解了数据可用性抽样的要点。我们深入研究了 **rollups** 和 Ethereum 的 DA 系统如何工作，探讨了 DA 链的角色，并触及了可验证分片的基础知识。这个介绍非常适合任何对数据可用性抽样的基础知识以及这些概念如何在区块链世界中发挥作用感到好奇的人。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/pudding-6-DA/index.html)

David Wong 2025年9月30日 阅读时间 3 分钟

## Halo2 优雅的 Transcript 作为证明

educativezkhalo2plonk

在这篇博文中，我们探讨了 Zcash 的 halo2 实现中用于保护 Fiat-Shamir 转换的巧妙设计。通过使用可变的 **transcript**，该过程确保值被自动吸收，从而减少潜在的错误。你将找到关于点和标量的 \`write\` 和 \`read\` 函数的不同角色的解释，突出了这种抽象如何使证明者-验证者交互无缝且安全。如果你对密码协议的内部工作原理感到好奇，这是一篇引人入胜的文章。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/halo2-elegant-transcript/index.html)

Martín Ochoa 2025年9月19日 阅读时间 12 分钟

## Kocher 的时序攻击：从理论到实践的旅程

educativesecuritycryptanalysis

Paul Kocher 在 1996 年的时序攻击表明，执行时间中微秒级的差异可能会从 RSA 实现中泄露私钥。本教程通过从干净的操作计数到嘈杂的挂钟测量，再到复杂的工程解决方案，重现了攻击之旅。学习方差区分器，探索教科书式模运算，并发现使实际时序攻击在系统噪声下成为可能的测量技术。

[阅读 →](https://blog.zksecurity.xyz/posts/posts/fri-security/posts/timing-kocher/index.html)

>- 原文链接： [blog.zksecurity.xyz/post...](https://blog.zksecurity.xyz/posts/posts/fri-security/index.html)
>- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

精选

Marco Gaglianese 2025年11月22日阅读时间 1 分钟

学习 Sumcheck, MLE, 和 HyperPlonk：使用 SageMath 的互动教程

educativezksumcheckhyperplonksagemath

ZK/SEC 季度报

学习 Sumcheck, MLE, 和 HyperPlonk：使用 SageMath 的互动教程

更快的 Sumchecks：第一部分

算术电路的形式化验证框架比较

Sigma 舞蹈：承诺，挑战，回应

Circle Starks：第四部分，圆的算术化

邻近间隙：发生了什么以及它如何影响我们的 Snarks

玩转 LaBRADOR：使用递归构建紧凑的基于格的证明

保持范围内：深入了解 Bulletproofs

宣布 S-two Book

常见的 Circom 陷阱以及如何规避它们 - 第 2 部分

为什么 FRI 有效？

展开 Bulletproofs 的魔力：SageMath 深入研究

分解 Bulletproofs：没有配对，没有可信设置

Archetype X zkSecurity - 布丁中的证明：另一个黑暗森林（链下公钥）

Archetype X zkSecurity - 布丁中的证明：数据可用性介绍（抽样）

Halo2 优雅的 Transcript 作为证明

Kocher 的时序攻击：从理论到实践的旅程

0 条评论

文章目录