SoK: Vector OLE-Based Zero-Knowledge Protocols

Carsten Baum; Samuel Dittmer; Peter Scholl; Xiao Wang

Paper 2023/857

SoK: Vector OLE-Based Zero-Knowledge Protocols

Carsten Baum, Technical University of Denmark

Samuel Dittmer, Stealth Software Technologies Inc.

Peter Scholl, Aarhus University

Xiao Wang, Northwestern University

Abstract

A zero-knowledge proof is a cryptographic protocol where a prover can convince a verifier that a statement is true, without revealing any further information except for the truth of the statement. More precisely, if is a statement from an NP language verified by an efficient machine , then a zero-knowledge proof aims to prove to the verifier that there exists a witness such that , without revealing any further information about . The proof is a proof of knowledge, if the prover additionally convinces the verifier that it knows the witness , rather than just of its existence. This article is a survey of recent developments in building practical systems for zero-knowledge proofs of knowledge using vector oblivious linear evaluation (VOLE), a tool from secure two-party computation.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
Keywords: Zero Knowledge Survey Vector-OLE
Contact author(s): cabau @ dtu dk
samdittmer @ stealthsoftwareinc com
peter scholl @ cs au dk
wangxiao @ northwestern edu
History: 2023-06-07: approved; 2023-06-07: received; See all versions
Short URL: https://ia.cr/2023/857
License: CC BY

BibTeX

@misc{cryptoeprint:2023/857,
      author = {Carsten Baum and Samuel Dittmer and Peter Scholl and Xiao Wang},
      title = {{SoK}: Vector {OLE}-Based Zero-Knowledge Protocols},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/857},
      year = {2023},
      url = {https://eprint.iacr.org/2023/857}
}