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.

Des méthodes cryptographiques sont révélées, qui permettent une partie de tireur d'epreuves, qui tient un certain nombre de secrets, pour démontrer des formules satisfiable de la logique de propositional, où les propositions atomiques sont des relations linéaires entre les secrets. La démonstration n'indique plus d'information qu'est contenu dans la formule elle-même. Quelques réalisations permettent à un nombre illimité de telles démonstrations d'être fait, sans indiquer n'importe quelles informations additionnelles sur les secrets, tandis que d'autres réalisations s'assurent que les secrets, ou certains des secrets, seront indiqués, si une démonstration est effectuée plus qu'un nombre de fois prédéterminé. Les démonstrations peuvent être des preuves de la zéro-connaissance, ou des preuves signées.