ZK Insights | 18th MAY 2025

Highlights

Quantum computing: What, when, where, how

量子计算将来可能打破现有加密体系，本文探讨其原理、进展、时间线及区块链应如何应对。

• https://a16zcrypto.com/posts/podcast/quantum-computing-what-when-where-how-fact-vs-fiction/

Implementing LatticeFold with Matthew and Albert from Nethermind

Anna 和 Nico 与 Nethermind 的 Matthew Klein 和 Albert Garreta 对谈，探讨格基密码学、折叠方案、以太坊的后量子签名、轻量级 zkML，以及用于零知识证明中整数约束的 Zinc 项目。

• https://zeroknowledge.fm/podcast/361/

The cryptography behind passkeys

本文深入解析 Passkey 背后的密码学原理，介绍 WebAuthn 规范如何实现防钓鱼认证，并探讨其安全性、扩展机制及实际应用中的挑战与建议。

• https://blog.trailofbits.com/2025/05/14/the-cryptography-behind-passkeys/

Updates

Deprecating BLS: Post-Quantum Recovery via Deposit Address

• https://ethresear.ch/t/deprecating-bls-post-quantum-recovery-via-deposit-address/22285

zkSummit13 - Livestream

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

Formalizing a proof in Lean using Claude and o4

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

How to 'See' the 4th Dimension with Topology

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

Formal Verification of SP1 with Picus

• https://blog.succinct.xyz/formal-verification-of-sp1-with-picus/

Papers

T-Spoon: Tightly Secure Two-Round Multi-Signatures with Key Aggregation

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

Verifiable E-Voting with a Trustless Bulletin Board

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