ZK Insights

Edited by ZKPunk

Highlights

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

• https://blog.zksecurity.xyz/posts/greyhound/

Highlights of libZK, the Google Wallet ZKP

• https://nmohnblatt.github.io/libzk-highlights/

A deep dive into Axiom’s Halo2 circuits

• https://blog.trailofbits.com/2025/05/30/a-deep-dive-into-axioms-halo2-circuits/

Beating the kCTF PoW with AVX512IFMA for $51k

• https://anemato.de/blog/kctf-vdf

zkPyTorch: Verifiable PyTorch with Zero-Knowledge Proofs

• https://blog.polyhedra.network/zkpytorch/

Our Succinct explanation of jagged polynomial commitments

• https://blog.lambdaclass.com/our-succinct-explanation-of-jagged-polynomial-commitments/

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

• https://simons.berkeley.edu/workshops/cryptography-10-years-later-obfuscation-proof-systems-secure-computation-boot-camp/videos

How One Letter Foretold Computer Science's Biggest Mystery

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

Updates

List of Common Acronyms

• https://zkjargon.github.io/acronyms.html

The Core of Fermat’s Last Theorem Just Got Superpowered

• https://www.quantamagazine.org/the-core-of-fermats-last-theorem-just-got-superpowered-20250602/

Trust4Futures: Zero Knowledge Proofs and Homomorphic Encryption

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

The Hardware Acceleration Revolution for Zero-Knowledge Proofs

• https://blog.polyhedra.network/the-hardware-acceleration-revolution-for-zero-knowledge-proofs/

Papers

Zero-Knowledge Polynomial Commitment in Binary Fields

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

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

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

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

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

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

• https://eprint.iacr.org/2024/940

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

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

Committed Vector Oblivious Linear Evaluation and Its Applications

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

Rewardable Naysayer Proofs

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

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

• https://paragraph.xyz/@zkinsights