Edited by ZKPunk
Highlights
Quantum computing: What, when, where, how
Implementing LatticeFold with Matthew and Albert from Nethermind
The cryptography behind passkeys
Updates
Deprecating BLS: Post-Quantum Recovery via Deposit Address
zkSummit13 - Livestream
Formalizing a proof in Lean using Claude and o4
How to 'See' the 4th Dimension with Topology
Formal Verification of SP1 with Picus
Papers
T-Spoon: Tightly Secure Two-Round Multi-Signatures with Key Aggregation
Verifiable E-Voting with a Trustless Bulletin Board
Encrypted Matrix-Vector Products from Secret Dual Codes
Succinct Computational Secret Sharing for Monotone Circuits
Unmasking TRaccoon: A Lattice-Based Threshold Signature with An Efficient Identifiable Abort Protocol
**If you’d like to receive updates via email, subscribe us!
🎉 Supported by GCC 🎉