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 🎉