Highlights

全同态加密理论、生态现状与未来展望

分别介绍全同态加密知识理论、全同态加密四代算法中第一代第二代 FHE 算法的衍化历程、全同态加密四代算法中第三代第四代 FHE 算法的衍化历程、介绍全同态加密生态现状及未来展望。

• https://blog.csdn.net/mutourend/article/details/145101069
• https://blog.csdn.net/mutourend/article/details/145101927
• https://blog.csdn.net/mutourend/article/details/145102243
• https://blog.csdn.net/mutourend/article/details/145101479

The Mathematics of Lattice-Based Cryptography

介绍基于格的加密系统（例如 Kyber 和 Dilithim）背后的核心数学。

• https://cryptography101.ca/lattice-based-cryptography/

FRI and Proximity Proofs (Part.1) w/ Dan Boneh

斯坦福大学教授 Dan Boneh 详细讲解 FRI 的密码学基础，包括线性码、IOP、RS-IOPP 与 SNARK 的转换及距离保持变换。

• https://zkhack.dev/whiteboard/s2m7/

Why We Can't Build Perfectly Secure Multi-Party Applications (yet)

多方计算应用受安全与活性权衡限制，MTCS 模型提供部分解决方案，iO 将是未来突破点。

• https://mirror.xyz/privacy-scaling-explorations.eth/nXUhkZ84ckZi_5mYRFCCKgkLVFAmM2ECdEFCQul2jPs

Homomorphic Encryption in iOS 18

苹果在 iOS 18 中使用同态加密实现隐私保护搜索，平衡性能与隐私仍存挑战。

• https://boehs.org/node/homomorphic-encryption

Updates

Quantum Punk - Resources

• https://quantumpunks.org/resources

ICICLE V3.4

• https://x.com/Ingo_zk/status/1879246804996514285
• https://github.com/ingonyama-zk/icicle/releases/tag/v3.4.0

Papers

Cauchyproofs: Batch-Updatable Vector Commitment with Easy Aggregation and Application to Stateless Blockchains

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

VDORAM: Towards a Random Access Machine with Both Public Verifiability and Distributed Obliviousness

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

Bundled Authenticated Key Exchange: A Concrete Treatment of (Post-Quantum) Signal's Handshake Protocol

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

Keyed-Verification Anonymous Credentials with Highly Efficient Partial Disclosure

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

IND-CPA^C: A New Security Notion for Conditional Decryption in Fully Homomorphic Encryption

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

The Meta-Complexity of Secret Sharing

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

Time-Lock Puzzles from Lattices

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

Founding Zero-Knowledge Proofs of Training on Optimum Vicinity

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

Hash-Based Multi-Signatures for Post-Quantum Ethereum

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

Skyscraper: Fast Hashing on Big Primes

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

Fair Signature Exchange

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

CAPSS: A Framework for SNARK-Friendly Post-Quantum Signatures

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

SoK: Trusted setups for powers-of-tau strings

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

Morgana: a laconic circuit builder

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

Shielded CSV: Private and Efficient Client-Side Validation

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

The HHE Land: Exploring the Landscape of Hybrid Homomorphic Encryption

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