ZK Insights

Edited by ZKPunk

Highlights

Provable Cryptography for Bitcoin: An Introduction (Workbook)

• https://delvingbitcoin.org/t/provable-cryptography-for-bitcoin-an-introduction-workbook/1974

High-Performance Engineering for SNARKs, w/ Jim Posen

• https://zkhack.dev/whiteboard/s3m2/

Polyhedra i-D: Proving Identity Without Surrendering Control

• https://blog.polyhedra.network/polyhedra-i-d-proving-identity-without-surrendering-control/

Updates

Evolving ZK Identity from Iden3 to Privado & Billions

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

Announcing Binius64

• https://www.irreducible.com/posts/announcing-binius64

PSE Roadmap: 2025 and Beyond

• https://ethereum-magicians.org/t/pse-roadmap-2025-and-beyond/25423

Papers

Scalable zkSNARKs for Matrix Computations: A Generic Framework for Verifiable Deep Learning

• Published at ASIACRYPT 2025
• https://eprint.iacr.org/2025/1646

Distributed SNARK via folding schemes

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

IVC in the Open-and-sign Random Oracle Model

• Published at ASIACRYPT 2025
• https://eprint.iacr.org/2025/1663

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

• https://paragraph.xyz/@zkinsights