International Business Machines Corporation

Gregor Seiler

Gregory Neven

Vadim Lyubashevsky

Rafael Del Pino

The present disclosure relates to a method method for performing a disjunctive proof for two relations Rand R. The relation Ris between an instance set Xand a witness set Wand defines a language L(R) containing those elements x&#x2208;Xfor which there exists a witness wthat is related to xin accordance with R. The relation Ris between an instance set Xand a witness set Wand defining a language L(R) containing those elements x&#x2208;Xfor which there exists a witness wthat is related to xin accordance with R. For proving knowledge of a witness wof at least one of instances xand x, where b is 0 or 1, of the respective relations Rand R, the prover may generate using a bijective function a challenge from a simulated challenge c.

Growing community of inventors

Zurich, Switzerland

Gregor Seiler