ZK Insights | 22 June 2025

Highlights

The Spartan zkSNARK framework

• https://alinush.github.io/spartan

zkPDF: Unlocking Verifiable Data in the World's Most Popular Document Format

• https://pse.dev/blog/zkpdf-unlocking-verifiable-data

Additive FFT: background

• https://blog.lambdaclass.com/additive-fft-background/

Get ahead with quantum-secure cryptography

本文介绍了在特征为 2 的域中，基于 Cantor 的加法 FFT 算法，用于多项式评估和插值，解决了传统 FFT 在有限域中的局限性，为 Reed-Solomon 编码和多项式承诺提供了高效实现。

• https://developer.apple.com/videos/play/wwdc2025/314/

GKR: Sumcheck's best friend

GKR 协议是基于 Sumcheck 的交互式证明系统，用于验证分层算术电路的计算正确性，通过递归应用 Sumcheck 协议，从输出层回溯到输入层，高效验证计算过程。

• https://blog.electisec.com/gkr

Updates

ZisK

ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust

• https://zisk.technology/

World-leaders in Cryptography: Ralph Merkle

• https://www.youtube.com/watch?v=90py3KBhZWs

《数学之美》01 潘承洞和他的学生们：探索数学的奇妙世界 破解哥德巴赫猜想 点燃科技的未来！【CCTV 纪录】

• https://www.youtube.com/watch?v=UbzxQUpLfZw

Papers

Speeding Up Sum-Check Proving

这篇文章结合并拓展了两个先前预印本（2024/1046 和 2024/1210）中的研究成果，围绕 Sumcheck 协议在若干常见应用场景中的优化展开讨论。具体而言，文章提出了两种优化策略：（1）针对多项式求值结果均为较小数值的场景；（2）针对进行 Zerocheck 操作的场景。实验表明，这些优化在实际应用中可实现 2 至 3 倍的运行加速，并显著减少内存开销。

• https://eprint.iacr.org/2025/1117

Toxic Decoys: A Path to Scaling Privacy-Preserving Cryptocurrencies

• https://eprint.iacr.org/2025/1124

Reusable Designated Verifier NIZK from Lossy Trapdoor Functions

• https://eprint.iacr.org/2025/1125

ZK-NR: A Layered Cryptographic Architecture for Explainable Non-Repudiation

• https://eprint.iacr.org/2025/1138

LZKSA: Lattice-Based Special Zero-Knowledge Proofs for Secure Aggregation's Input Verification

• https://eprint.iacr.org/2025/1141

ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs

• https://eprint.iacr.org/2025/1152

Bridging Bitcoin to Second Layers via BitVM2

• https://eprint.iacr.org/2025/1158

DekartProof: Efficient Vector Range Proofs and Their Applications

• https://eprint.iacr.org/2025/1159