Qed-it Systems Ltd.

Yakov Gurkan

Daniel Messod Benarroch Guenun

Aurélien Renaud François Nicolas

Ron Kahat

Aviv Zohar

Ori Wallenstein

Pablo Kogan

Jonathan Sullum Rouach

Shahaf Nacson

Disclosed herein are system, method, and computer program product embodiments for issuing assets and/or asset tokens using zero-knowledge proofs ('ZKPs'). An issuance system may receive a command to issue an asset. The issuance system may determine that issuing the assets would not violate administrator-defined or network-defined rules that may govern the types of assets and/or the quantity of assets that the issuance system may issue. The issuance system may then issue the assets and generate a ZKP corresponding to the issuance and indicating adherence to the rules while concealing information related to the asset token, such as the types of assets and/or quantity of assets. The issuance system may publish the ZKP to a blockchain so that verifier nodes may confirm that the issuance system adhered to the rules while still preventing access to the underlying issuance information.

Private issuance of assets 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

Disclosed herein are system, method, and computer program product embodiments for generating and chaining zero-knowledge proofs ('ZKPs') using proof chaining. A proof may be divided into different components to analyze data in a series and/or parallel manner using chained proof systems. The proof systems may generate hash values indicating that particular functions were applied to the instances of the underlying data. The hash values may prove that a particular function was applied to instances of the underlying data. Using the proof chaining configuration, a data supply system may generate a ZKP allowing a data requesting system to trust a function result without needing to receive the underlying data.

Proof chaining and decomposition

A method and a system for generating private randomness and/or public randomness are provided. A measurement of a public randomness and/or a measurement of a plaintext may be obtained, and a desired size of a private randomness may be determined based on the measurements. The measurements may be based on one or more Tsallis entropy values of the public randomness and/or the plaintext. Private randomness may be generated, the private randomness may be encrypted, the private randomness may be deleted so that the private randomness is unrecoverable, and the encrypted private randomness may be published. Encrypted private randomness and public randomness may be obtained, and a new public randomness may be generated based on the public randomness and the encrypted private randomness.

Growing community of inventors

Netanya, Israel

Yakov Gurkan