The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 08, 2022
Filed:
Jun. 27, 2018
International Business Machines Corporation, Armonk, NY (US);
Rafael del Pino, Rueschlikon, CH;
Vadim Lyubashevsky, Zug, CH;
Gregory Neven, Oberrieden, CH;
Gregor Seiler, Zurich, CH;
International Business Machines Corporation, Armonk, NY (US);
Abstract
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∈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∈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.