What is Tip5?

Tip5 ist eine kryptographische Hashfunktion, die speziell für den Einsatz in rekursiven STARK-Beweissystemen (Scalable Transparent Argument of Knowledge) entwickelt und optimiert wurde. Sie arbeitet über einem Primkörper statt mit Binärdaten, was sie algebraisch geeignet für Zero-Knowledge-Beweisberechnungen macht. Die Funktion verwendet eine Sponge-Konstruktion mit sorgfältig gewählten S-Boxen und Rundenkonstanten, um sowohl Sicherheit als auch Effizienz in den arithmetischen Schaltkreisen zu erreichen, die STARK-Beweisen zugrunde liegen. Ihr Design zielt darauf ab, die Anzahl der benötigten Feldmultiplikationen bei der Beweisgenerierung und -verifikation zu minimieren.

Der Hauptvorteil von Tip5 liegt in seiner außergewöhnlichen Leistung innerhalb rekursiver Beweissysteme, wo es um Größenordnungen schneller sein kann als traditionelle Hashfunktionen wie SHA-256 oder sogar Poseidon, wenn diese in STARK-Schaltkreisen verwendet werden. Die Funktion wurde mit beweisbaren Sicherheitseigenschaften gegen algebraische Angriffe konzipiert, die spezifisch für arithmetische Hashfunktionen sind, einschließlich Gröbner-Basis-Angriffen und differentieller Kryptoanalyse über endlichen Körpern. Die Hashfunktion erreicht ein für kryptographische Anwendungen geeignetes Sicherheitsniveau bei gleichzeitig geringstmöglicher Anzahl von Constraints in STARK-Schaltkreisen.

Tip5 wurde vom Team hinter Triton VM entwickelt, einer virtuellen Maschine zur Erzeugung von STARK-Beweisen für Programmausführungen. Es wird als zentrale Hashfunktion in Triton VM eingesetzt und wurde vom Neptune-Projekt übernommen, einer Kryptowährung, die rekursive STARK-Beweise für Skalierbarkeit und Datenschutz nutzt. Der Algorithmus repräsentiert eine neuere Generation arithmetisch orientierter Hashfunktionen und baut auf Erkenntnissen früherer Designs wie Rescue, Poseidon und Tip4 auf, mit erheblichen Verbesserungen sowohl bei der Geschwindigkeit als auch bei den Sicherheitsmargen.