Private handler, verifiserbare bevis ZK kommer til å spise CLOB-ene på BLOB-fortellingen

Vi bygde prøvetrykk[.]verifiserbare[.]utveksling (lenke nedenfor) fordi «tillit, men verifisere» i krypto vanligvis ender opp med å være bare «tillit». De fleste verifiserbare systemer gjør verifisering så teknisk kompleks at bare en håndfull eksperter faktisk kan gjøre det. Du trenger spesialisert infrastruktur, kunnskap om kryptografiske protokoller og timer med oppsettstid. Så brukerne bare... Ikke bekreft. De stoler på. Det er ikke godt nok for finansiell infrastruktur. Når vi sier at VEX genererer bevis for hver handel, hver ordre, hver tilstandsendring - betyr det ingenting hvis brukerne ikke faktisk kan sjekke disse bevisene selv. Virkelig etterprøvbarhet krever reell tilgjengelighet. Dette dashbordet kjører en full Celestia-lysklient direkte i nettleseren din. Ingen installering av programvare, ingen tillit til RPC-ene våre, ingen tekniske forutsetninger. Klikk på en knapp, hent beviset, bekreft det selv. Rett der i nettleseren. Du kan til og med laste ned bevisene og bekrefte dem offline når du vil. Din bærbare datamaskin, dine regler, din verifisering. Den tekniske stabelen her er ganske vill - vi kjører en lett node i WebAssembly, henter S-to-bevis fra Celestias DA-lag og gjør full kryptografisk verifisering på klientsiden. Dette ville ha vært umulig selv for to år siden. Men det filosofiske poenget betyr mer enn den tekniske prestasjonen. Hvis du ikke kan verifisere det selv, enkelt og uavhengig, så er det egentlig ikke verifiserbart. Det er bare markedsføring. VEX genererer bevisene. Celestia lagrer dem. Du bekrefter dem. Ingen mellomledd, ingen tillitsforutsetninger. Slik ser «Don't Trust, Verify» faktisk ut i praksis.

S-to -- hvorfor kommer TradFi 🤯 til DeFi? Kort oppsummert: S-to ➡️ personvern + samsvar >>

Jeg er på en generasjons jævla kodekjøring, ingen snakker til meg! Jeg skriver kode som om jeg er nede med 4 monsternuller, en halv pakke Marlboro Reds, og tar hele tiden 6 mg zyns. Kontekst byttet mellom ZK, JIT-kompilering, skrev en tilpasset distribusjonsarbeidsflyt og skrev et babybevissystem på et nytt språk. Alt på under 3 dager Slipper det meste i løpet av den neste uken

ZK blir adoptert på @jpmorgan og du blekner det fortsatt anon? ZK blir mainstream i 2025, på tide å snu manuset

Kall meg en hater, men at keccak256 er annerledes i EVM enn bokstavelig talt alle andre steder er en slik svindel

Stone og S-two – hva er spranget vi snakker om? Stein er StarkWares første produksjonsgrader. Noen tall: - Den har vært i produksjon i over 5 år - Det har avgjort over $1T - Det sparte over 1 milliard dollar i avgifter for brukere Det er et beist. S-to er andre gang vi bygger en beviser. Som du forventer, andre gang du bygger noe, er det mange forbedringer. Den største forbedringen er størrelsen på tallene som brukes til å konstruere beviset (feltstørrelsen). I Stone brukte vi 256-biters tall, og S-two bruker 32-biters tall. Sammenligner man dem side om side, er multiplikasjon (en veldig viktig og kostbar operasjon i STARKs) 120 ganger raskere! La meg gjenta det: 120 ganger raskere. 🏎️ Men det er mange andre innovasjoner under panseret. For eksempel, i stedet for å jobbe med ett trinn om gangen, og alle trinn er av samme art, har vi nå nesten ubegrenset fleksibilitet til å legge til ulike opkoder og operasjoner på en veldig effektiv måte som fører til ytterligere forbedret ytelse (S-two-hvitboken vil gi flere detaljer om dette). Modularitet er et annet kult aspekt - den faktiske bevisgenereringen kan kobles på en modulær måte med forskjellige AIR-er (begrensningssystemer). Dette gjør at eksterne team som @NexusLabs, @KakarotZkEvm og @gizatechxyz kan bruke S-two til beregninger som er annerledes enn det vi bruker dem til. Så S-two ender opp som den raskeste beviseren i verden, mer enn 100 ganger raskere enn Stone. Vil neste generasjons bevis, som kommer ut noen år senere (nei, vi jobber ikke med det ennå) være igjen 100 ganger raskere? Ærlig talt, jeg tviler på det, men samtidig forventet jeg heller ikke 100x-faktoren vi fikk så langt.

Hva er den enkleste måten å opprette en fullstendig sporing av et soliditetsvisningskall på?

Tillat å legge til små notater mens du bokmerker et innlegg @nikitabier

Det fine med sumcheck-protokollen er i sin enkelhet. Jeg kunne ærlig talt fått dette innrammet