Apparatus and method for theorem certification without disclosing documents that lead to the theorem
First Claim
Patent Images
1. A method for theorem certification without disclosing business documents that lead to the theorem, comprising:
- generating a proof to prove a statement in an issuer module, wherein the proof is a set of business rules defined over a plurality of business documents in the issuer module, and if the statement is true, the statement is a theorem;
generating a certified document containing the theorem and the proof that proves the theorem;
generating a signature of the certified document using a private key;
verifying the signature in a receiver module using public keys; and
if the signature is valid, validating the proof that proves the theorem.
1 Assignment
0 Petitions
Accused Products
Abstract
A method and corresponding apparatus for theorem certification enable the exchange of statements or conclusions between companies without the need for an issuing company to disclose facts or business documents that lead to these statements or conclusions. The method uses a trusted system to prove and verify statements issued by the issuing company using a set of business rules and business documents. The trusted system then passes the proved statements to a receiving company without disclosing the business documents that lead to the proved statements.
13 Citations
20 Claims
-
1. A method for theorem certification without disclosing business documents that lead to the theorem, comprising:
-
generating a proof to prove a statement in an issuer module, wherein the proof is a set of business rules defined over a plurality of business documents in the issuer module, and if the statement is true, the statement is a theorem;
generating a certified document containing the theorem and the proof that proves the theorem;
generating a signature of the certified document using a private key;
verifying the signature in a receiver module using public keys; and
if the signature is valid, validating the proof that proves the theorem. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. An apparatus for theorem certification without disclosing business documents that lead to the theorem, comprising:
-
an issuer module that receives a statement to be proved, the issuer module comprising;
a theorem prover that generates a proof to prove the statement, wherein the proof is a set of business rules defined over a plurality of business documents, and wherein if the statement is true, the statement is a theorem and the theorem prover generates a certified document containing the theorem and the proof that proves the theorem; and
a theorem certifier that generates a signature of the certified document using a private key; and
a receiver module that verifies the signature using one or more public keys and validates the proof that proves the theorem. - View Dependent Claims (11, 12, 13, 14, 15, 16)
-
-
17. A computer readable medium providing instructions for theorem certification without disclosing business documents that lead to the theorem, the instructions comprising:
-
generating a proof to prove a statement in an issuer module, wherein the proof is a set of business rules defined over a plurality of business documents in the issuer module, and if the statement is true, the statement is a theorem;
generating a certified document containing the theorem and the proof that proves the theorem;
generating a signature of the certified document using a private key;
verifying the signature in a receiver module using public keys; and
if the signature is valid, validating the proof that proves the theorem. - View Dependent Claims (18, 19, 20)
-
Specification