Edited by ZKPunk

Highlights

The Spartan zkSNARK framework

Additive FFT: background

Get ahead with quantum-secure cryptography

GKR: Sumcheck's best friend

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

World-leaders in Cryptography: Ralph Merkle

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

Papers

Speeding Up Sum-Check Proving

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

Toxic Decoys: A Path to Scaling Privacy-Preserving Cryptocurrencies

Reusable Designated Verifier NIZK from Lossy Trapdoor Functions

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

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

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

Bridging Bitcoin to Second Layers via BitVM2

DekartProof: Efficient Vector Range Proofs and Their Applications

If you’d like to receive updates via email, subscribe us!

🎉 Supported by GCC 🎉