Qed-it Systems Ltd.

Shahaf Nacson

Daniel Messod Benarroch Guenun

Yakov Gurkan

Aviv Zohar

Jonathan Sullum Rouach

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.

Growing community of inventors

Tel Aviv, Israel

Shahaf Nacson