ZK Insights | 4th MAY 2025

ZK Insights | 4th MAY 2025

Highlights

Lattice-based ZK Systems with Vadim Lyubashevsky

Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography.

Vadim 讲述格基础及其构建抗量子 ZK 与 SNARK 的潜力，并探讨相关挑战与权衡。

https://zeroknowledge.fm/podcast/359/

Lattice-based ZK Explained

Lattice-based ZKPs offer post-quantum security and scalability for blockchain, enabling efficient, privacy-preserving proofs using hard lattice problems like LWE and SIS.
基于格的零知识证明结合抗量子安全与可扩展性，利用 LWE 和 SIS 等难题实现高效隐私保护的区块链证明系统。

https://zkv.xyz/lattice-based-zk-explained/

But what is quantum computing? (Grover's Algorithm)

https://www.youtube.com/watch?v=RQWpF2Gb-gU

https://deepwiki.com

DeepWiki is a community-driven knowledge platform that focuses on cryptography, privacy-preserving technologies, and zero-knowledge proofs (ZK). It aims to make complex research papers and protocols more accessible by offering structured, digestible explanations.

DeepWiki 是一个专注于加密领域、零知识证明（ZK）、区块链隐私技术等前沿话题的知识组织与分享平台。它致力于将复杂的学术论文、协议设计和密码学原理，以结构化、易读的方式呈现给开发者、研究者和爱好者。

Updates

Introducing R0VM 2.0

https://risczero.com/blog/introducing-R0VM-2.0

First zk-rollup with Stage 1 confirmed: What it is and why it matters

https://scroll.io/blog/stage-1-confirmed

World-leaders in Cryptography: Jonathan Katz

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

Implement a Fully Homomorphic Version of the AES-128 Cryptosystem using TFHE-rs

https://www.zama.ai/post/implement-fhe-aes-128-tfhe-rs

The Story of Information Theory

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

Papers

Universal Blind and Verifiable Delegated Quantum Computation with Classical Clients

https://eprint.iacr.org/2025/734

Improved Rényi Arguments for Lattice-Based Threshold Encryption

https://eprint.iacr.org/2025/735

FICS and FACS: Fast IOPPs and Accumulation via Code-Switching

https://eprint.iacr.org/2025/737

Zemlyanika — Module-LWE based KEM with the power-of-two modulus, explicit rejection and revisited decapsulation failures

https://eprint.iacr.org/2025/746

CoinMaze: Privacy-Focused CoinJoin Protocol for Bitcoin

https://eprint.iacr.org/2025/747

GOLF: Unleashing GPU-Driven Acceleration for FALCON Post-Quantum Cryptography

https://eprint.iacr.org/2025/749

LEAGAN: A Decentralized Version-Control Framework for Upgradeable Smart Contracts

https://eprint.iacr.org/2025/752

DGSP: An Efficient Scalable Fully Dynamic Group Signature Scheme Using SPHINCS+

https://eprint.iacr.org/2025/760

ZKPoG: Accelerating WitGen-Incorporated End-to-End Zero-Knowledge Proof on GPU

https://eprint.iacr.org/2025/765

Unbiasable Verifiable Random Functions from Generic Assumptions

https://eprint.iacr.org/2025/766

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs

https://eprint.iacr.org/2025/767

Incompleteness in Number-Theoretic Transforms: New Tradeoffs and Faster Lattice-Based Cryptographic Applications

https://eprint.iacr.org/2025/768

ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations

https://eprint.iacr.org/2025/770

Publicly Auditable Garbled Circuit

https://eprint.iacr.org/2025/772

Towards a Modern LLL Implementation

https://eprint.iacr.org/2025/774

Clementine: A Collateral-Efficient, Trust-Minimized, and Scalable Bitcoin Bridge

https://eprint.iacr.org/2025/776

Seamless Switching Between PBS and WoPBS for Scalable TFHE

https://eprint.iacr.org/2025/777

Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond

https://eprint.iacr.org/2025/778

The Planted Orthogonal Vectors Problem

https://eprint.iacr.org/2025/780

Highlights

Lattice-based ZK Systems with Vadim Lyubashevsky

Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography.

Vadim 讲述格基础及其构建抗量子 ZK 与 SNARK 的潜力，并探讨相关挑战与权衡。

https://zeroknowledge.fm/podcast/359/

Lattice-based ZK Explained

Lattice-based ZKPs offer post-quantum security and scalability for blockchain, enabling efficient, privacy-preserving proofs using hard lattice problems like LWE and SIS.
基于格的零知识证明结合抗量子安全与可扩展性，利用 LWE 和 SIS 等难题实现高效隐私保护的区块链证明系统。

https://zkv.xyz/lattice-based-zk-explained/

But what is quantum computing? (Grover's Algorithm)

https://www.youtube.com/watch?v=RQWpF2Gb-gU

https://deepwiki.com

DeepWiki is a community-driven knowledge platform that focuses on cryptography, privacy-preserving technologies, and zero-knowledge proofs (ZK). It aims to make complex research papers and protocols more accessible by offering structured, digestible explanations.

DeepWiki 是一个专注于加密领域、零知识证明（ZK）、区块链隐私技术等前沿话题的知识组织与分享平台。它致力于将复杂的学术论文、协议设计和密码学原理，以结构化、易读的方式呈现给开发者、研究者和爱好者。

Updates

Introducing R0VM 2.0

https://risczero.com/blog/introducing-R0VM-2.0

First zk-rollup with Stage 1 confirmed: What it is and why it matters

https://scroll.io/blog/stage-1-confirmed

World-leaders in Cryptography: Jonathan Katz

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

Implement a Fully Homomorphic Version of the AES-128 Cryptosystem using TFHE-rs

https://www.zama.ai/post/implement-fhe-aes-128-tfhe-rs

The Story of Information Theory

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

Papers

Universal Blind and Verifiable Delegated Quantum Computation with Classical Clients

https://eprint.iacr.org/2025/734

Improved Rényi Arguments for Lattice-Based Threshold Encryption

https://eprint.iacr.org/2025/735

FICS and FACS: Fast IOPPs and Accumulation via Code-Switching

https://eprint.iacr.org/2025/737

Zemlyanika — Module-LWE based KEM with the power-of-two modulus, explicit rejection and revisited decapsulation failures

https://eprint.iacr.org/2025/746

CoinMaze: Privacy-Focused CoinJoin Protocol for Bitcoin

https://eprint.iacr.org/2025/747

GOLF: Unleashing GPU-Driven Acceleration for FALCON Post-Quantum Cryptography

https://eprint.iacr.org/2025/749

LEAGAN: A Decentralized Version-Control Framework for Upgradeable Smart Contracts

https://eprint.iacr.org/2025/752

DGSP: An Efficient Scalable Fully Dynamic Group Signature Scheme Using SPHINCS+

https://eprint.iacr.org/2025/760

ZKPoG: Accelerating WitGen-Incorporated End-to-End Zero-Knowledge Proof on GPU

https://eprint.iacr.org/2025/765

Unbiasable Verifiable Random Functions from Generic Assumptions

https://eprint.iacr.org/2025/766

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs

https://eprint.iacr.org/2025/767

Incompleteness in Number-Theoretic Transforms: New Tradeoffs and Faster Lattice-Based Cryptographic Applications

https://eprint.iacr.org/2025/768

ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations

https://eprint.iacr.org/2025/770

Publicly Auditable Garbled Circuit

https://eprint.iacr.org/2025/772

Towards a Modern LLL Implementation

https://eprint.iacr.org/2025/774

Clementine: A Collateral-Efficient, Trust-Minimized, and Scalable Bitcoin Bridge

https://eprint.iacr.org/2025/776

Seamless Switching Between PBS and WoPBS for Scalable TFHE

https://eprint.iacr.org/2025/777

Cryptography from Lossy Reductions: Towards OWFs from ETH, and Beyond

https://eprint.iacr.org/2025/778

The Planted Orthogonal Vectors Problem

https://eprint.iacr.org/2025/780