Cover photo

ZK Insights | 4th MAY 2025

#61

ZK Insights

ZK Insights

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 的潜力,并探讨相关挑战与权衡。

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 等难题实现高效隐私保护的区块链证明系统。

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

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

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

World-leaders in Cryptography: Jonathan Katz

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

The Story of Information Theory

Papers

Universal Blind and Verifiable Delegated Quantum Computation with Classical Clients

Improved Rényi Arguments for Lattice-Based Threshold Encryption

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

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

CoinMaze: Privacy-Focused CoinJoin Protocol for Bitcoin

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

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

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

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

Unbiasable Verifiable Random Functions from Generic Assumptions

ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs

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

ZHE: Efficient Zero-Knowledge Proofs for HE Evaluations

Publicly Auditable Garbled Circuit

Towards a Modern LLL Implementation

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

Seamless Switching Between PBS and WoPBS for Scalable TFHE

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

The Planted Orthogonal Vectors Problem

ZK Insights | 4th MAY 2025