Qed-it Systems Ltd.

Pablo Kogan

Ori Wallenstein

Aurélien Renaud François Nicolas

Daniel Messod Benarroch Guenun

Yakov Gurkan

Arbel Deutsch Peled

Ron Kahat

Embodiments disclosed herein describe computing calculations based on two overlapping private sets between various parties. To conduct the calculation, an intersection of the overlapping private sets data lists is conducted without revealing the underlying data. A homomorphic encryption is conducted on the intersecting data elements to allow them to be compared.

Private set calculation using private intersection and calculation, and applications thereof

Disclosed herein are system, method, and computer program product embodiments for performing transactions or atomic swaps using zero-knowledge proofs ('ZKPs'). A first system may propose a transaction between with a second system. The first system may generate a first ZKP indicating that the first system has possession of an asset desired by the second system and that the first system is committing the asset to the transaction. The second system may also similarly generate a second ZKP. These ZKPs may be encrypted and exchanged. The second system may receive an encrypted version of the first ZKP, perform a decryption using a key specific to the second system, and verify the ZKP. When the parties verify the ZKPs, this confirms that each party has committed the requested asset and that the transaction may proceed. The transaction may be committed to a blockchain.

Atomic swap using zero-knowledge proofs, and applications thereof

Growing community of inventors

Ramat, Israel

Pablo Kogan