Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Ora poveștii - Cel mai rapid tester din vest și cum a apărut.
Când am fondat StarkWare în 2018, ne-am propus să construim primul stark de producție. La acea vreme, factorul limitativ era costul benzinei pe Ethereum. A fost cel mai simplu și mai ieftin să construiești un tester folosind numere uriașe (cele de 256 de biți). Acest lucru a dus la o probă STARK simplă despre care știam că poate fi făcută mai eficientă prin reducerea dimensiunii câmpului.
Avansăm rapid până în 2023. Întreaga lume este convinsă că zkSTARK-urile sunt jocul final și multe echipe încep să construiască sisteme folosind câmpuri mici, care duc la provers mai rapizi.
În vara anului 2023 am început un proiect pentru a alege tehnologia de testare de ultimă generație. Am analizat toate tehnologiile de verificare existente - SNARKs, lucruri bazate pe pliere, GKR și multe altele.
Ne-am dat seama foarte repede că factorul de performanță dominant este dimensiunea câmpului finit care contează, iar numerele prime de 32 de biți sunt cele mai bune. De ce? (1) toate arhitecturile HW moderne sunt optimizate pentru acestea, (2) de ce prime (și nu binare?) pentru că GPU-urile nu suportă bine înmulțirea binară.
OK, asta ne lasă cu tehnologii de demonstrare precum GKR și STARK, peste numere prime de 32b.
Acum ne confruntam cu o problemă. Cel mai bun câmp pentru calcul rapid este M31, dar îi lipsește structura de grup pentru a avea STARK-uri rapide.
Din fericire, trio-ul genial - Ulrich Habock (atunci la Polygon, acum cu normă întreagă la StarkWare), David Levit și Shahar Papini au găsit o modalitate de a folosi "grupul cerc" peste M31 pentru a obține o soluție optimă.
Noua echipă a început să implementeze matematica. În cel mai eficient mod la care ne-am putut gândi, testând și validând eficiența și, de asemenea, construind-o într-un mod suficient de modular pentru a fi folosit de alte echipe. În același timp, infrastructura de constrângere AIR a fost reconstruită de la zero, pe baza experienței noastre anterioare, pentru a duce la ceva solid și eficient.
Și acum, Stwo intră în producție în Starknet, reducând costurile și latența. Benchmark-urile pe care le-am testat sunt din altă lume. În același timp, mai multe echipe externe îl folosesc pentru a-și construi infrastructura. Cred că va fi standardul de aur open source și sunteți invitați să-l folosiți.
SFÂRŞIT.
11,32K
Limită superioară
Clasament
Favorite