ZK Insights

Highlights

IETF Draft of Polynomial Commitment Schemes

Defines a generic interface for Polynomial Commitment Schemes used in zk-SNARKs, with example implementations.

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

Yael Kalai will share her journey and how she navigates the interplay between theory and practice, focusing particularly on her thoughts about succinct proofs.

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

Updates

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

Polyhedra harnesses GPU-accelerated ZK proofs to boost Ethereum verification 1000x, enabling real-time off-chain computation with seamless on-chain settlement.

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

Highlights

IETF Draft of Polynomial Commitment Schemes

Defines a generic interface for Polynomial Commitment Schemes used in zk-SNARKs, with example implementations.

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

Yael Kalai will share her journey and how she navigates the interplay between theory and practice, focusing particularly on her thoughts about succinct proofs.

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

Updates

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

Polyhedra harnesses GPU-accelerated ZK proofs to boost Ethereum verification 1000x, enabling real-time off-chain computation with seamless on-chain settlement.

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

ZK Insights | 1st June 2025

ZK Insights | 1st June 2025

ZK Insights | 1st June 2025

#65

Highlights

IETF Draft of Polynomial Commitment Schemes

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

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

Updates

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

FPGA Acceleration of SP1 with AntChain OpenLabs

Papers

Justvengers: Batched VOLE ZK Disjunctions in Communication

Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements

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

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

Quantum Rewinding for IOP-Based Succinct Arguments

ZK Insights | 1st June 2025

ZK Insights

ZK Insights | 1st June 2025

ZK Insights | 1st June 2025

#65

Highlights

IETF Draft of Polynomial Commitment Schemes

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

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

Updates

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

FPGA Acceleration of SP1 with AntChain OpenLabs

Papers

Justvengers: Batched VOLE ZK Disjunctions in Communication

Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements

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

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

Quantum Rewinding for IOP-Based Succinct Arguments