ZK Insights

Edited by ZKPunk

Highlights

IETF Draft of Polynomial Commitment Schemes

• https://datatracker.ietf.org/doc/draft-zkproof-polycommit/

Introducing S-two: The fastest prover for real-world ZK applications

• https://starkware.co/blog/s-two-prover/

Compressing Proofs using Cryptography: A Triumph of Theory and Practice - Yael Kalai

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

Updates

The GPU Revolution: How We're Making Ethereum 1000x Faster with Zero-Knowledge Proofs

• https://blog.polyhedra.network/the-gpu-revolution-how-were-making-ethereum-1000x-faster-with-zero-knowledge-proofs/

FPGA Acceleration of SP1 with AntChain OpenLabs

• https://blog.succinct.xyz/sp1-fpga-antchain-openlabs/

Papers

Justvengers: Batched VOLE ZK Disjunctions in Communication

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

Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements

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

DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions

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

Logup*: faster, cheaper logup argument for small-table indexed lookups

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

Quantum Rewinding for IOP-Based Succinct Arguments

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

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

• https://paragraph.xyz/@zkinsights