H - Electricity – 04 – L
Patent
H - Electricity
04
L
H04L 9/00 (2006.01) H04L 9/28 (2006.01) H04L 9/32 (2006.01)
Patent
CA 2236544
Cryptographic methods are disclosed, which allow a prover party, who holds a number of secrets, to demonstrate satisfiable formulas of propositional logic, wherein the atomic propositions are linear relations between the secrets. The demonstration reveals no more information than is contained in the formula itself. Some implementations allow an unlimited number of such demonstrations to be made, without revealing any additional information about the secrets, whereas other implementations ensure that the secrets, or some of the secrets, will be revealed, if a demonstration is performed more than a predetermined number of times. The demonstrations may be zero-knowledge proofs, or signed proofs.
Cette invention concerne des procédés et un appareil cryptographiques permettant à une partie démonstrateur détenant plusieurs secrets, de démontrer des formules applicables à partir de logiques de propositions, les propositions atomiques consistant en des relations linéaires dans l'ensemble des secrets, et ceci sans révéler plus d'informations relatives aux secrets que la formule n'en dévoile elle-même. Certaines techniques décrites dans la présente invention permettent de démontrer ces formules un nombre de fois illimité, sans pour autant révéler d'informations additionnelles quant aux secrets. D'autres techniques permettent de révéler les secrets, ou certains d'entre eux, lorsque le nombre de démonstrations effectuées dépasse un nombre de fois prédéterminé. Ces démonstrations peuvent être effectuées de manière à ce que les informations transmises ne permettent à personne de reconstituer la preuve, ou encore à l'aide de preuves attestées, le pouvoir de conviction d'une preuve attestée pour laquelle une formule a été démontrée, pouvant être modifié de quelque manière que ce soit.
Brands Stefanus Alfonsus
Na
LandOfFree
Cryptographic methods for demonstrating satisfiable formulas... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Cryptographic methods for demonstrating satisfiable formulas..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Cryptographic methods for demonstrating satisfiable formulas... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1490037