"GMAC"

Suchergebnis von

Es gibt zwei praktische Herausforderungen bei der Konstruktion eines Beweissystems auf der Grundlage binärer Felder: Erstens sollte die für die Spurdarstellung in STARKs verwendete Feldgröße größer sein als der Grad des Polynoms. Zweitens muss die für die Merkle-Baum-Verpflichtung in STARKs verwendete Feldgröße größer sein als die Größe nach der Erweiterung der Reed-Solomon-Codierung. Binius ist eine innovative Lösung, um diese beiden Probleme zu lösen, indem dieselben Daten auf zwei verschiedene Arten dargestellt werden.