# ZK Insights | 18th MAY 2025

> #63

**Published by:** [ZK Insights](https://paragraph.com/@zkinsights/)
**Published on:** 2025-05-18
**Categories:** zkp
**URL:** https://paragraph.com/@zkinsights/zk-insights-or-18th-may-2025

## Content

HighlightsQuantum computing: What, when, where, howQuantum computing may eventually break current cryptographic systems; this article explores its principles, progress, timeline, and how blockchains should prepare. 量子计算将来可能打破现有加密体系，本文探讨其原理、进展、时间线及区块链应如何应对。https://a16zcrypto.com/posts/podcast/quantum-computing-what-when-where-how-fact-vs-fiction/Implementing LatticeFold with Matthew and Albert from NethermindAnna and Nico speak with Nethermind’s Matthew Klein and Albert Garreta about lattice-based cryptography, folding schemes, post-quantum signatures for Ethereum, zkML, and the Zinc project for integer constraints in ZK proofs. Anna 和 Nico 与 Nethermind 的 Matthew Klein 和 Albert Garreta 对谈，探讨格基密码学、折叠方案、以太坊的后量子签名、轻量级 zkML，以及用于零知识证明中整数约束的 Zinc 项目。https://zeroknowledge.fm/podcast/361/The cryptography behind passkeysThis article explores the cryptographic foundations of passkeys, how WebAuthn enables phishing-resistant authentication, and discusses security benefits, extensions, and implementation challenges. 本文深入解析 Passkey 背后的密码学原理，介绍 WebAuthn 规范如何实现防钓鱼认证，并探讨其安全性、扩展机制及实际应用中的挑战与建议。https://blog.trailofbits.com/2025/05/14/the-cryptography-behind-passkeys/ UpdatesDeprecating BLS: Post-Quantum Recovery via Deposit Addresshttps://ethresear.ch/t/deprecating-bls-post-quantum-recovery-via-deposit-address/22285zkSummit13 - Livestreamhttps://www.youtube.com/watch?v=U09lTBqAZp8Formalizing a proof in Lean using Claude and o4https://www.youtube.com/watch?v=zZr54G7ec7AHow to 'See' the 4th Dimension with Topologyhttps://www.youtube.com/watch?v=MURzTFRRuJQFormal Verification of SP1 with Picushttps://blog.succinct.xyz/formal-verification-of-sp1-with-picus/ PapersT-Spoon: Tightly Secure Two-Round Multi-Signatures with Key Aggregationhttps://eprint.iacr.org/2025/840Verifiable E-Voting with a Trustless Bulletin Boardhttps://eprint.iacr.org/2025/841

## Publication Information

- [ZK Insights](https://paragraph.com/@zkinsights/): Publication homepage
- [All Posts](https://paragraph.com/@zkinsights/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@zkinsights): Subscribe to updates

## Optional

- [Collect as NFT](https://paragraph.com/@zkinsights/zk-insights-or-18th-may-2025): Support the author by collecting this post
- [View Collectors](https://paragraph.com/@zkinsights/zk-insights-or-18th-may-2025/collectors): See who has collected this post