Ein offener Mathematikwettbewerb wurde ins Leben gerufen, um die Größe von STARK-Beweisen zu reduzieren.

STARK-Beweise gehören zu den vertrauenswürdigsten Werkzeugen für Skalierbarkeit in der Kryptowelt, sind nach kryptografischen Maßstäben jedoch immer noch recht groß.

Das Hauptziel des Wettbewerbs ist es, STARK-Beweise mit weniger Prüfungen auskommen zu lassen, wenn Mathematiker bessere Schranken für eine bestimmte Art von Fehler nachweisen können. Weniger Prüfungen bedeuten kleinere Beweise.

#Stark $STRK