Czas na opowieść -- Najszybszy prover na zachodzie i jak to się zaczęło. Kiedy założyliśmy StarkWare w 2018 roku, postanowiliśmy zbudować pierwszy prover STARK o jakości produkcyjnej. W tamtym czasie ograniczającym czynnikiem były koszty gazu na Ethereum. Najprościej i najtaniej było zbudować prover używając ogromnych liczb (256-bitowych). Doprowadziło to do prostego proversa STARK, o którym wiedzieliśmy, że można go uczynić bardziej wydajnym poprzez zmniejszenie rozmiaru pola. Przechodząc do 2023 roku. Cały świat jest już przekonany, że zkSTARKi to gra końcowa, a wiele zespołów zaczyna budować systemy używające małych pól, co prowadzi do szybszych proverów. Latem 2023 roku rozpoczęliśmy projekt, aby wybrać technologię dowodzenia nowej generacji. Zbadaliśmy wszystkie istniejące technologie dowodzenia -- SNARKi, rzeczy oparte na składaniu, GKR i inne. Bardzo szybko zdaliśmy sobie sprawę, że dominującym czynnikiem wydajności jest rozmiar skończonego pola, co ma znaczenie, a najlepsze są liczby pierwsze 32-bitowe. Dlaczego? (1) wszystkie nowoczesne architektury sprzętowe są zoptymalizowane pod te liczby, (2) dlaczego liczby pierwsze (a nie binarne?) ponieważ GPU nie obsługują dobrze mnożenia binarnego. OK, więc zostają nam technologie dowodzenia takie jak GKR i STARK, nad liczbami pierwszymi 32b. Teraz stanęliśmy przed problemem. Najlepsze pole do szybkich obliczeń to M31, ale brakuje mu struktury grupowej, aby mieć szybkie STARKi. Na szczęście, genialna trójka -- Ulrich Habock (wtedy w Polygon, teraz na pełen etat w StarkWare), David Levit i Shahar Papini wymyśliła sposób, aby użyć "grupy okręgowej" nad M31, aby uzyskać optymalne rozwiązanie. Nowy zespół zaczął wdrażać matematykę. W najbardziej efektywny sposób, jaki mogliśmy wymyślić, testując i weryfikując wydajność, a także budując to w sposób wystarczająco modułowy, aby inne zespoły mogły z tego korzystać. W tym samym czasie infrastruktura ograniczeń AIR została odbudowana od podstaw, opierając się na naszym wcześniejszym doświadczeniu, aby doprowadzić do czegoś, co jest solidne i wydajne. A teraz, Stwo wchodzi do produkcji w Starknet, redukując koszty i opóźnienia. Wyniki testów, które przeprowadziliśmy, są niesamowite. W tym samym czasie wiele zewnętrznych zespołów korzysta z tego, aby budować swoją infrastrukturę. Myślę, że będzie to złoty standard dowodzenia, otwarty prover, i wszyscy są zaproszeni do korzystania z niego. KONIEC.