Abstract:ABSTRACTThe design of zkSNARKs is increasingly complicated and requires familiarity with a broad class of cryptographic and algebraic tools. This complexity in zkSNARK design also increases the difficulty in zkSNARK implementation, analysis, and optimization. To address this complexity, we develop a new workflow for designing and implementing zkSNARKs, called VOProof. In VOProof, the designer only needs to construct a Vector Oracle (VO) protocol that is intuitive and straightforward to design, and then feeds this protocol to our VO compiler to transform it into a fully functional zkSNARK. This new workflow conceals most algebraic and cryptographic operations inside the compiler, so that the designer is no longer required to understand these cumbersome and error prone procedures. Moreover, our compiler can be fine-tuned to compile one VO protocol into multiple zkSNARKs with different tradeoffs. We apply VOProof to construct three general-purpose zkSNARKs targeting three popular representations of arithmetic circuits: the Rank-1 Constraint System (R1CS), the Hadamard Product Relation (HPR), and the PLONK circuit. These zkSNARKs have shorter and more intuitive descriptions, thus are easier to implement and optimize compared to prior works. To evaluate their performance, we implement a Python framework for describing VO protocols and compiling them into working Rust code of zkSNARKs. Our evaluation shows that the VOProof-based zkSNARKs have competitive performance, especially in proof size and verification time, e.g., both reduced by roughly 50% compared to Marlin (Chiesa et al., EUROCRYPT 2020). These improvements make the VOProof-based zkSNARKs more preferable in blockchain scenarios where the proof size and verification time are critical.

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof

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

VCProof: Constructing Shorter and Faster-to-Verify zkSNARKs with Vector Oracles.

VOProof: Efficient zkSNARKs from Vector Oracle Compilers

SZKP: A Scalable Accelerator Architecture for Zero-Knowledge Proofs

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

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

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

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains

Certifying Zero-Knowledge Circuits with Refinement Types

ReZK: A Highly Reconfigurable Accelerator for Zero-Knowledge Proof

PipeZK: Accelerating Zero-Knowledge Proof with a Pipelined Architecture

Implementation and Security Test of Zero-Knowledge Protocols on SSI Blockchain

Device-independent quantum randomness-enhanced zero-knowledge proof

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

Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

Enhanced Security and Efficiency in Blockchain with Aggregated Zero-Knowledge Proof Mechanisms

Zero-Knowledge Proof-Based Approach for Verifying the Computational Integrity of Power Grid Controls

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs

Zero knowledge proof and ZK-SNARK for private blockchains