ZK Insights | 11th MAY 2025

Highlights

Lattice-based signature aggregation

探讨基于格的 Falcon 签名聚合方法，兼具抗量子安全与紧凑证明。

• https://ethresear.ch/t/lattice-based-signature-aggregation/22282

Hash-Based Signature Schemes

介绍 LMS、XMSS 与 SPHINCS+ 三种抗量子哈希签名方案。

• https://cryptography101.ca/hash-based-signature-schemes/

Where my explanation of Grover’s algorithm failed

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

whir-p3

https://github.com/WizardOfMenlo/whir/ 用 Plonky3 库的一个版本。

• https://github.com/tcoratger/whir-p3

Introduction to PQC

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

Updates

【漫士】凭什么我就不能尺规作图三等分角？

• https://www.youtube.com/watch?v=jaXSlOgK9-w

Something weird happens in dimension 8

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

Dimension 126 Contains Strangely Twisted Shapes, Mathematicians Prove

• https://www.quantamagazine.org/dimension-126-contains-strangely-twisted-shapes-mathematicians-prove-20250505/

A Formal Analysis of Apple’s iMessage PQ3 Protocol

• https://www.usenix.org/system/files/conference/usenixsecurity25/sec25cycle1-prepub-595-linker.pdf

Papers

Identity-Based Ring Signature from Quantum Token

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

SHIP: A Shallow and Highly Parallelizable CKKS Bootstrapping Algorithm

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

AES Is Not Enough: the Block Ciphers Zoo Goes Homormorphic (over TFHE)

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

Comparing classical and quantum conditional disclosure of secrets

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

Post-Quantum Cryptography in eMRTDs: Evaluating PAKE and PKI for Travel Documents

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

HydraProofs: Optimally Computing All Proofs in a Vector Commitment (with applications to efficient zkSNARKs over data from multiple users)

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

Groebner Basis Cryptanalysis of Anemoi

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

SoK: Dlog-based Distributed Key Generation

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

One Bit to Rule Them All – Imperfect Randomness Harms Lattice Signatures

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

A Specification of an Anonymous Credential System Using BBS+ Signatures with Privacy-Preserving Revocation and Device Binding

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