Edited by ZKPunk

Highlights

Proofs On A Leash: Post-Quantum Lattice SNARK With Greyhound

Highlights of libZK, the Google Wallet ZKP

A deep dive into Axiom’s Halo2 circuits

Beating the kCTF PoW with AVX512IFMA for $51k

zkPyTorch: Verifiable PyTorch with Zero-Knowledge Proofs

Our Succinct explanation of jagged polynomial commitments

Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp

How One Letter Foretold Computer Science's Biggest Mystery

Updates

List of Common Acronyms

The Core of Fermat’s Last Theorem Just Got Superpowered

Trust4Futures: Zero Knowledge Proofs and Homomorphic Encryption

The Hardware Acceleration Revolution for Zero-Knowledge Proofs

Papers

Zero-Knowledge Polynomial Commitment in Binary Fields

Malicious Security in Collaborative zk-SNARKs: More than Meets the Eye

How to Share an NP Statement or Combiners for Zero-Knowledge Proofs

Scalable Collaborative zk-SNARK and Its Application to Fully Distributed Proof Delegation

At the Top of the Hypercube -- Better Size-Time Tradeoffs for Hash-Based Signatures

Committed Vector Oblivious Linear Evaluation and Its Applications

Rewardable Naysayer Proofs


**If you’d like to receive updates via email, subscribe us!

🎉 Supported by GCC 🎉