Stealth Software Technologies, Inc.

Samuel Dittmer

A method for generating a proof of a statement related to private data without revealing the data to verifier parties. The method involves secure storage of private data and a statement at a prover party's computing device. The statement's validity is encoded as an arithmetic circuit's satisfiability. The method includes computing two vectors, A and B, with A containing random elements and B derived from the private data and the statement. A commitment to these vectors is generated, followed by a hash function to produce a value alpha. These elements are used in a line-point zero knowledge proof system to produce an output vector and a proof of knowledge, ensuring the statement's validity. The proof is stored and made accessible to verifier parties, maintaining the security of the private data.

Efficient publicly-verifiable zero-knowledge proof system with reduced proof size

Non-transitory computer readable storage mediums have instructions executed by processors to access a first random data element at a first computing device. A first vector and a second vector are generated at a second computing device. A communication channel is utilized to execute a secure multiparty computation protocol between the first computing device and the second computing device. The first computing device alternately identifies a polynomial relations satisfied state and a polynomial relations unsatisfied state. A first selected instruction set is executed at the first computing device in response to the polynomial relations satisfied state. A second selected instruction set is executed at the first computing device in response to the polynomial relations unsatisfied state.

Growing community of inventors

Los Angeles, CA, United States of America

Samuel Dittmer