SoK: Vector OLE-Based Zero-Knowledge Protocols

ePrint Report: SoK: Vector OLE-Based Zero-Knowledge Protocols

Carsten Baum, Samuel Dittmer, Peter Scholl, Xiao Wang

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 $x$ is a statement from an NP language verified by an efficient machine $M$, then a zero-knowledge proof aims to prove to the verifier that there exists a witness $w$ such …

eprint report information knowledge ole peter precisely protocol protocols report statement truth