Circle STARKs ogranicza ryzyko, zwiększając liczbę wartości, które atakujący muszą odgadnąć.
Jak stwierdzono w poście, STARK czasami działają na nieefektywnych polach 256-bitowych.
Vitalik Buterin, współzałożyciel Ethereum, zaprezentował Circle STARKs, nowy protokół kryptograficzny, którego celem jest zwiększenie wydajności i bezpieczeństwa blockchain. Buterin opisuje ten postęp techniczny w swoim najnowszym poście, wyjaśniając, że wykorzystuje on mniejsze pola, takie jak Mersenne31, aby znacznie zwiększyć prędkość sprawdzania bez poświęcania bezpieczeństwa.
Choć bezpieczne, konwencjonalne skalowalne przezroczyste argumenty wiedzy (STARK) czasami działają na nieefektywnych polach 256-bitowych, jak stwierdzono w poście.
Weryfikacja 620 000 skrótów Poseidon2 na sekundę na laptopie M3 jest możliwa za pomocą Circle STARK. Ponieważ używają mniejszych pól, co prowadzi do zmniejszenia kosztów obliczeń, szybszego sprawdzania szybkości i bardziej efektywnych zysków.
Podczas gdy wcześniejsze implementacje STARK sprawiały, że mniejsze pola były „naturalnie kompatybilne z weryfikacją podpisów opartych na krzywych eliptycznych”. Buterin wskazuje, że „doprowadziło to do nieefektywności” ze względu na ogromną liczbę zaangażowanych osób.
Zwiększanie bezpieczeństwa
Konwencjonalne małe pola są podatne na ataki typu brute-force ze względu na ich ograniczone potencjalne wartości. Circle STARK minimalizują to ryzyko, zwiększając liczbę wartości, które atakujący muszą odgadnąć. Odbywa się to poprzez użycie pól rozszerzeń i kilku losowych kontroli.
Co więcej, integralność protokołu jest zachowywana przez ten mechanizm bezpieczeństwa, który stanowi dla atakujących barierę uniemożliwiającą obliczenia. Istotną częścią Circle STARK jest także interaktywny dowód bliskości Oracle Fast Reed-Solomon Interactive Proofs of Proximity (FRI), który pokazuje, że funkcja jest w pewnym stopniu wielomianem.
Wprowadzając Circle FRI, metodę utrzymującą proces kryptograficzny w nienaruszonym stanie, Circle STARK gwarantuje, że dane wejściowe, które nie są wielomianami, nie przejdą dowodu. Wykorzystując małe pola i tę nowatorską strukturę matematyczną, okrągłe STARK zapewniają większą zdolność adaptacji i wydajność obliczeniową.
Wyróżnione dzisiejsze wiadomości dotyczące kryptowalut:
Czy ceny Ethereum będą świadkami przełamania wśród emitentów ETF HODLing?