Spartan

Spartan ist ein Hochgeschwindigkeits-Zero-Knowledge-Beweissystem, ein kryptografisches Element, das es einem Beweiser ermöglicht, eine mathematische Aussage einem Prüfer zu beweisen, ohne etwas anderes als die Gültigkeit der Aussage offenzulegen. Dieses Repository bietet libspartan, eine Rust-Bibliothek, die ein Zero-Knowledge succinct non-interactive argument of knowledge (zkSNARK) implementiert, das eine Art von Zero-Knowledge-Beweissystem mit kurzen Beweisen und schnellen Verifizierungszeiten ist. Die Einzelheiten des Spartan-Beweissystems sind in unserem Papier beschrieben, das auf der CRYPTO 2020 veröffentlicht wurde. Die Sicherheit der in dieser Bibliothek implementierten Spartan-Variante basiert auf dem diskreten Logarithmusproblem im Modell des zufälligen Orakels.