Abstract:Zero-Knowledge Virtual Machines (ZKVMs) have gained traction in recent years due to their potential applications in a variety of areas, particularly blockchain ecosystems. Despite tremendous progress on ZKVMs in the industry, no formal definitions or security proofs have been established in the literature. Due to this lack of formalization, existing protocols exhibit significant discrepancies in terms of problem definitions and performance metrics, making it difficult to analyze and compare these advancements, or to trust the security of the increasingly complex ZKVM implementations. In this work, we focus on random-access memory, an influential and expensive component of ZKVMs. Specifically, we investigate the state-of-the-art protocols for validating the correct functioning of memory, which we refer to as the memory consistency checks. Isolating these checks from the rest of the system allows us to formalize their definition and security notion. Furthermore, we summarize the state-of-the-art constructions using the Polynomial IOP model and formally prove their security. Observing that the bottleneck of existing designs lies in sorting the entire memory trace, we break away from this paradigm and propose a novel memory consistency check, dubbed Permem. Permem bypasses this bottleneck by introducing a technique called the address cycle method, which requires fewer building blocks and-after instantiating the building blocks with state-of-the-art constructions-fewer online polynomial oracles and evaluation queries. In addition, we propose gcq, a new construction for the lookup argument-a key building block of the memory consistency check, which costs fewer online polynomial oracles than the state-of-the-art construction cq.

GZKP: A GPU Accelerated Zero-Knowledge Proof System

Cuzk: Accelerating Zero-Knowledge Proof with A Faster Parallel Multi-Scalar Multiplication Algorithm on GPUs.

SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs

Accelerating Zk-Snark with Group and Zone Optimization on GPU

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

if-ZKP: Intel FPGA-Based Acceleration of Zero Knowledge Proofs

CPU-GPU Collaborative Acceleration of Bulletproofs - A Zero-Knowledge Proof Algorithm

ReZK: A Highly Reconfigurable Accelerator for Zero-Knowledge Proof

Design of a Hardware Accelerator for Zero-Knowledge Proof in Blockchains.

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

MPC-in-Multi-Heads: A Multi-Prover Zero-Knowledge Proof System (or: How to Jointly Prove Any NP Statements in ZK)

Device-independent quantum randomness-enhanced zero-knowledge proof

ZKCPlus - Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange.

Efficient Zero-Knowledge Proofs of Knowledge of Double Discrete Logarithm

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications

A New Zero Knowledge Argument for General Circuits and Its Application.

TPU as Cryptographic Accelerator

A Survey on the Applications of Zero-Knowledge Proofs

Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines.

Zero-Knowledge MIPs using Homomorphic Commitment Schemes