Čas příběhu -- Nejrychlejší dokazovatel na západě a jak k tomu došlo. Když jsme v roce 2018 založili společnost StarkWare, stanovili jsme si cíl vyrobit první výrobní prover STARK. V té době byly limitujícím faktorem náklady na plyn na Ethereu. Nejjednodušší a nejlevnější bylo vytvořit dokazovač pomocí obrovských čísel (256bitových). To vedlo k jednoduchému dokazovači STARK, o kterém jsme věděli, že by mohl být efektivnější zmenšením velikosti pole. Rychle vpřed do roku 2023. Celý svět je nyní přesvědčen, že zkSTARKy jsou koncovou hrou a mnoho týmů začíná budovat systémy pomocí malých polí, což vede k rychlejším zkoušejícím. V létě 2023 jsme zahájili projekt na výběr nové generace provingové technologie. Prozkoumali jsme všechny existující technologie provingu -- SNARKy, skládání, GKR a další. Velmi rychle jsme si uvědomili, že dominující výkonnostní faktor je to, na čem záleží, velikost konečného pole a 32 bitová prvočísla jsou nejlepší. Proč? (1) všechny moderní HW architektury jsou pro ně optimalizovány, (2) proč prime (a ne binární?), protože GPU nepodporují binární násobení dobře. Dobře, takže nám zbývá dokazování technologií jako GKR a STARK, přes 32b prvočísel. Nyní jsme čelili problému. Úplně nejlepší oblast pro rychlé výpočty je M31, ale postrádá skupinovou strukturu, aby měla rychlé STARK. Naštěstí brilantní trio – Ulrich Habock (tehdy v Polygonu, nyní na plný úvazek ve StarkWare), David Levit a Shahar Papini přišlo na způsob, jak použít "kruhovou skupinu" nad M31 k získání optimálního řešení. Nový tým začal implementovat matematiku. Úplně nejefektivnějším způsobem, který nás napadl, testováním a ověřováním efektivity a také jejím budováním způsobem, který je dostatečně modulární pro použití jinými týmy. Současně byla infrastruktura omezení AIR od nuly přestavěna na základě našich předchozích zkušeností, aby vedla k něčemu, co je zdravé a efektivní. A nyní Stwo vstupuje do výroby ve Starknetu, čímž snižuje náklady a latenci. Benchmarky, které jsme testovali, jsou z jiného světa. Zároveň ji používá několik externích týmů k budování své infrastruktury. Myslím, že to bude osvědčený zlatý standard open source a všichni jste zváni, abyste jej používali. KONEC.