Sok: vector OLE-based zero-knowledge protocols

Carsten Baum; Samuel Dittmer; Peter Scholl; Xiao Wang

doi:10.1007/s10623-023-01292-8

Sok: vector OLE-based zero-knowledge protocols

Carsten Baum
, Samuel Dittmer
, Peter Scholl
, Xiao Wang

Technical University of Denmark
Stealth Software Technologies Inc.
Aarhus University
Northwestern University

Research output: Contribution to journal › Article › peer-review

19 Scopus citations

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. This article is a survey of recent developments in building practical zero-knowledge proof systems using vector oblivious linear evaluation (VOLE), a tool from secure two-party computation. In this work, we attempt to systematize the recent works on VOLE-based Zero-Knowledge proofs and make the state of the art accessible in one document.

Original language	English
Pages (from-to)	3527-3561
Number of pages	35
Journal	Designs, Codes, and Cryptography
Volume	91
Issue number	11
DOIs	https://doi.org/10.1007/s10623-023-01292-8
State	Published - Nov 2023
Externally published	Yes

Bibliographical note

Publisher Copyright:
© 2023, The Author(s).

Funding

This work was funded by the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR001120C0085 and HR001120C0087. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Defense Advanced Research Projects Agency (DARPA). Distribution Statement “A” (Approved for Public Release, Distribution Unlimited).

Funders	Funder number
Defense Advanced Research Projects Agency	HR001120C0085, HR001120C0087

Keywords

Correlated randomness
Vector OLE
Zero-knowledge proofs

Access to Document

10.1007/s10623-023-01292-8

Cite this

@article{0b1d4345835b4604b5ed4438a55462e1,

title = "Sok: vector OLE-based zero-knowledge protocols",

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. This article is a survey of recent developments in building practical zero-knowledge proof systems using vector oblivious linear evaluation (VOLE), a tool from secure two-party computation. In this work, we attempt to systematize the recent works on VOLE-based Zero-Knowledge proofs and make the state of the art accessible in one document.",

keywords = "Correlated randomness, Vector OLE, Zero-knowledge proofs",

author = "Carsten Baum and Samuel Dittmer and Peter Scholl and Xiao Wang",

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).",

year = "2023",

month = nov,

doi = "10.1007/s10623-023-01292-8",

language = "אנגלית",

volume = "91",

pages = "3527--3561",

journal = "Designs, Codes, and Cryptography",

issn = "0925-1022",

publisher = "Springer Netherlands",

number = "11",

}

TY - JOUR

T1 - Sok

T2 - vector OLE-based zero-knowledge protocols

AU - Baum, Carsten

AU - Dittmer, Samuel

AU - Scholl, Peter

AU - Wang, Xiao

PY - 2023/11

Y1 - 2023/11

N2 - 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. This article is a survey of recent developments in building practical zero-knowledge proof systems using vector oblivious linear evaluation (VOLE), a tool from secure two-party computation. In this work, we attempt to systematize the recent works on VOLE-based Zero-Knowledge proofs and make the state of the art accessible in one document.

AB - 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. This article is a survey of recent developments in building practical zero-knowledge proof systems using vector oblivious linear evaluation (VOLE), a tool from secure two-party computation. In this work, we attempt to systematize the recent works on VOLE-based Zero-Knowledge proofs and make the state of the art accessible in one document.

KW - Correlated randomness

KW - Vector OLE

KW - Zero-knowledge proofs

UR - https://www.scopus.com/pages/publications/85173092259

U2 - 10.1007/s10623-023-01292-8

DO - 10.1007/s10623-023-01292-8

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85173092259

SN - 0925-1022

VL - 91

SP - 3527

EP - 3561

JO - Designs, Codes, and Cryptography

JF - Designs, Codes, and Cryptography

IS - 11

ER -

Sok: vector OLE-based zero-knowledge protocols

Abstract

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this