Vitalik Buterin veröffentlicht "Exploring Circle STARKs"

PANews berichtete am 23. Juli, dass Ethereum-Mitbegründer Vitalik Buterin einen Artikel mit dem Titel "Exploring Circle STARKs" veröffentlicht hat, in dem er eine Konstruktion namens Circle STARKs diskutiert. Diese hat einige einzigartige Eigenschaften und ist so konzipiert, dass sie mit dem effizienten Mersenne31-Feld kompatibel ist. Vitalik glaubt, dass Circle STARKs im Vergleich zu regulären STARKs für Entwickler nicht viel zusätzliche Komplexität mit sich bringen. Im Implementierungsprozess gibt es im Vergleich zum regulären FRI im Wesentlichen nur drei Unterschiede, die ich beobachtet habe. Das mathematische Prinzip hinter dem von Circle FRI betriebenen "Polynom" ist ziemlich kontraintuitiv und erfordert Zeit, um es zu verstehen und zu schätzen. Diese Komplexität ist jedoch so verborgen, dass sie von Entwicklern nicht leicht wahrgenommen wird. Die Komplexität der Circle-Mathematik ist eher gekapselt als systemisch. Das Verständnis von Circle FRI und Circle FFT kann auch ein gutes Wissensportal zum Verständnis anderer "exotischer FFTs" sein: insbesondere der binären Domänen-FFT, die zuvor in Binius und LibSTARK verwendet wurde, sowie exotischeren Konstruktionen wie elliptischen Kurven-FFT, die eins-zu-eins-Abbildungen verwenden, die gut mit elliptischen Kurvenpunktoperationen koordiniert sind. In Kombination mit Mersenne31, BabyBear und binären Domänentechnologien (wie Binius) haben wir tatsächlich das Gefühl, dass wir uns dem Effizienzlimit der STARK-"Basisschicht" nähern. An diesem Punkt wird erwartet, dass sich die Grenze der STARK-Optimierung darauf verlagert, hoch effiziente arithmetische Versionen von Primitiven wie Hash-Funktionen und Signaturen zu erstellen (und diese Primitiven selbst für diesen Zweck zu optimieren), rekursive Konstruktionen für eine größere Parallelisierung zu schaffen, virtuelle Maschinen zu arithmetisieren, um die Entwicklererfahrung zu verbessern, sowie andere fortgeschrittene Aufgaben zu bewältigen.