Story time -- Den snabbaste bevisaren i väst och hur den kom till. När vi grundade StarkWare 2018 bestämde vi oss för att bygga den första STARK-provaren i produktionsklass. Vid den tiden var den begränsande faktorn gaskostnaden på Ethereum. Det var enklast och billigast att bygga en jäsare med hjälp av stora tal (256-bitars). Detta ledde till en enkel STARK-provare som vi visste kunde göras mer effektiv genom att minska fältstorleken. Snabbspola fram till 2023. Hela världen är vid det här laget övertygad om att zkSTARKs är slutspelet, och många team börjar bygga system med hjälp av små fält som leder till snabbare bevis. Sommaren 2023 startade vi ett projekt för att välja nästa generations provningsteknik. Vi undersökte alla befintliga bevistekniker – SNARKs, vikningsbaserade grejer, GKR med mera. Vi insåg mycket snabbt att den dominerande prestandafaktorn är storleken på den ändliga kroppen som är det viktiga, och 32-bitars primtal är bäst. Varför? (1) alla moderna HW-arkitekturer är optimerade för dessa, (2) varför prime (och inte binär?) eftersom GPU:er inte stöder binär multiplikation bra. OK, så det lämnar oss med bevistekniker som GKR och STARK, över 32b primtal. Nu stod vi inför ett problem. Det allra bästa fältet för snabba beräkningar är M31, men det saknar gruppstrukturen för att ha snabba STARKs. Som tur var kom den briljanta trion – Ulrich Habock (då på Polygon, nu på heltid på StarkWare), David Levit och Shahar Papini på ett sätt att använda "cirkelgruppen" över M31 för att få en optimal lösning. Det nya teamet började implementera matematiken. På det allra mest effektiva sättet vi kan tänka oss, att testa och validera effektivitet, och även bygga det på ett sätt som är tillräckligt modulärt för att andra team ska kunna använda det. Samtidigt byggdes AIR-infrastrukturen om från grunden, baserat på vår tidigare erfarenhet, för att leda till något som är sunt och effektivt. Och nu går Stwo in i produktion i Starknet, vilket minskar kostnader och latens. De benchmarks vi testade är inte av denna värld. Samtidigt använder flera externa team den för att bygga sin infrastruktur. Jag tror att det kommer att vara den bevisande guldstandarden för öppen källkod, och ni är alla inbjudna att använda den. SLUTET.