Optimera för det genomsnittliga fallet

Du kommer att höra mer från mig

Brink guidar dig hem Och tänd dina ben Och jag ska försöka fixa [dina marginaler] Få tidig tillgång till Brink och spara upp till 90 % på transaktionskostnaden. 👉 .

Stable Stories EP 11 är live! 🎙️ Den här veckan kommer @riabhutoria och @spjoleh av @deltadotnetwork att följa med @AnnikaSays för att dyka in i: 💠Ompröva L1 💠Varför "centralisering är bra" (ibland) 💠Stablecoin, smörgåsar och gränsöverskridande infra 💠Web3 suveränitet + pragmatism Kolla in det! 👇

Så det är klart att snigel behöver en st och då är hela konstruktionen lite overkill Men varför är det ingen som gör det? Verkar vara en riktigt enkel och effektiv analog till den univariata kvoten noll kontroll

Uppdatering: Troligen inte en supraledare i rumstemperatur - Det konkreta problemet som har upptäckts är att protokoll 2 inte binder provaren till kretsen. Detta kan fixas med ett billigt subprotocol, men... - Jag börjar komma till @ronrothblum:s konsekventa feedback om att protokoll 2 skulle kollapsa polynomhierarkin. Jag har tidigare trott att den specifika algebraiska strukturen hos den skiktade kretsen i princip skyddar oss mot de informationsteoretiska gränserna, men efter att ha satt mig in lite mer i litteraturen tror jag att jag har fel här - På grund av detta är jag frestad att hävda att det måste finnas något inneboende problem med metoden "aggregera alla lager". - Kärnkonstruktionen av SNAIL (protokoll 1) verkar förbli intakt för tillfället, och bör vara av intresse oberoende

Vi presenterar SNAIL Verifierbar beräkning med 1,2–1,3 gånger snabbare än den ursprungliga exekveringen*, mer än 10 000 gånger snabbare än toppmoderna SNARK:er * för t.ex. typiska zkVM-beräkningar