Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs

Dimitris Mouris

doi:10.1109/TIFS.2021.3074869

Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs

2021-01-01

20

PRE

AI

D

Dimitris Mouris

N

Nektarios Georgios Tsoutsos *

DOI：10.1109/TIFS.2021.3074869

Original

Original request for help

Save

Abstract

En 中文

As cloud computing becomes more popular, research has focused on usable solutions to the problem of verifiable computation (VC), where a computationally weak device (Verifier) outsources a program execution to a powerful server (Prover) and receives guarantees that the execution was performed faithfully. A Prover can further demonstrate knowledge of a secret input that causes the Verifier's program to satisfy certain assertions, without ever revealing which input was used. State-of-the-art Zero-Knowledge Proofs of Knowledge (ZKPK) methods encode a computation using arithmetic circuits and preserve the privacy of Prover's inputs while attesting the integrity of program execution. Nevertheless, developing, debugging, and optimizing programs as circuits remains a daunting task, as most users are unfamiliar with this programming paradigm. In this work, we present Zilch, a framework that accelerates and simplifies the deployment of VC and ZKPK for any application transparently, i.e., without the need of trusted setup. Zilch uses traditional instruction sequences rather than static arithmetic circuits that would need to be regenerated for each different computation. Towards that end, we have implemented Z MIPS: a MIPS-like processor model that allows verifying each instruction independently and compose a proof for the execution of the target application. To foster usability, Zilch incorporates a novel cross-compiler from an object-oriented Java-like language tailored to ZKPK and optimized our Z MIPS model, as well as a powerful API that enables integration of ZKPK within existing C/C++ programs. In our experiments, we demonstrate the flexibility of Zilch using two real-life applications, and evaluate Prover and Verifier performance on a variety of benchmarks.

Keywords:

Computational modeling

Integrated circuit modeling

Turing machines

Programming

Password

Logic gates

Cryptography

Abstract machine

compiler

cryptography

verifiable computation

zero-knowledge proofs of knowledge

Zilch: A Framework for Deploying Transparent Zero-Knowledge Proofs

Abstract

AI Summary

Journal

Organization

Cited Papers