ZK Insights

Edited by ZKPunk

Highlights

A Tutorial on Post-quantum Cryptography by Douglas R. Stinson

• https://sacworkshop.org/SAC25/slides/stinson.pdf

Zerocoin to zk-creds: Modern ZK History with Ian Miers

• https://zeroknowledge.fm/podcast/378/

How factoring equality polynomials optimizes sumcheck

• https://blog.lambdaclass.com/how-factoring-equality-polynomials-optimizes-sumcheck/

Updates

Lattice Basis Reduction

• https://cryptography101.ca/lattice-basis-reduction/

From Sumcheck to SNARK by Guoyu

• https://www.youtube.com/watch?v=i57mGR6VJFQ&list=PL-y61YYgmN9fhowr7bh7wC0L-sE_k-lA6&index=5
• https://www.youtube.com/watch?v=jpICMeKyaIk&list=PL-y61YYgmN9fhowr7bh7wC0L-sE_k-lA6&index=4

Papers

Plonk is Simulation Extractable in ROM Under Falsifiable Assumptions

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

Zero-Knowledge AI Inference with High Precision

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

Space-Deniable Proofs

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

UltraMixer: A Compliant Zero-Knowledge Privacy Layer for Tokenized Real-World Assets

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

The zkVot Protocol: A Distributed Computation Protocol for Censorship Resistant Anonymous Votin

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

SNARK Lower Bounds via Communication Complexity

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

SUMMER: Recursive Zero-Knowledge Proofs for Scalable RNN Training

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

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

• https://paragraph.xyz/@zkinsights