Highlights

zkFOCIL: Inclusion List Privacy using Linkable Ring Signatures

使用可链接环签名（LRS）增强 FOCIL 隐私，匿名发布包含列表，提高以太坊抗审查能力。

• https://ethresear.ch/t/zkfocil-inclusion-list-privacy-using-linkable-ring-signatures/21688

New Proofs Probe the Limits of Mathematical Truth

数学家扩展希尔伯特第十问题，证明更多丢番图方程无通用算法，揭示数学不可知性的极限。

• https://www.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/

An Introduction to Interactive Theorem Provers

介绍交互式定理证明器（Proof Assistants），如 Lean，助力数学验证和 zkVM 的形式化验证。

• https://www.zksecurity.xyz/blog/posts/introduction-to-interactive-theorem-provers/

A deep dive into PIR. Revisiting Spiral & Respire - by Prof. David J. Wu

德克萨斯大学的 David J. Wu 教授将向我们介绍他在 PIR 领域的一些最新研究成果。具体来说，就是 Spiral、YPIR 和 Respire 方案。我们将了解它们是如何工作的，建立在什么之上，以及每个方案都带来了什么。

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

Introducing ICICLE-Stwo: A GPU-Accelerated Stwo Prover

ICICLE-Stwo 为 Starkware Stwo 证明器 添加 GPU 加速，提升 3.25x–7x 性能，且完全开源。

• https://x.com/Ingo_zk/status/1887580350940954965
• https://www.ingonyama.com/blog/introducing-icicle-stwo-a-gpu-accelerated-stwo-prover

O1Labs: [Project Untitled] Whitepaper (draft)

• https://x.com/untitled_ZK/status/1887520246799429912
• https://www.o1labs.org/project-untitled
• https://github.com/o1-labs/project-untitled-whitepaper

Updates

ZK Hack V Winners Interview

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

【漫士】怎么把疯狂的想法变成严谨的数学

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

Papers

Indocrypt 2024

• https://notes.kurtpan.com/indocrypt24

Quantum function secret sharing

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

Efficient Quantum-safe Distributed PRF and Applications: Playing DiSE in a Quantum World

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

Secure Showing of Partial Attributes

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

Learning from Functionality Outputs: Private Join and Compute in the Real World

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

Bootstrapping (T)FHE Ciphertexts via Automorphisms: Closing the Gap Between Binary and Gaussian Keys

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

Multi-Authority Functional Encryption with Bounded Collusions from Standard Assumptions

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

Polynomial Inversion Algorithms in Constant Time for Post-Quantum Cryptography

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

Efficient Error Detection Methods for the Number Theoretic Transforms in Lattice-Based Algorithms

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

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice

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

A Critical Analysis of Deployed Use Cases for Quantum Key Distribution and Comparison with Post-Quantum Cryptography

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

VITARIT: Paying for Threshold Services on Bitcoin and Friends

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

Updatable Public-Key Encryption, Revisited

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

HyperLoop: Rationally secure efficient cross-chain bridge

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

On the Power of Sumcheck in Secure Multiparty Computation

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