Vad är Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) är ett bevisssystem som låter någon visa att en beräkning gjordes korrekt utan att avslöja indata eller hela beräkningen. Det är skalbart och transparent eftersom det undviker betrodda ceremonier och bygger på enkla hashfunktioner, vilket också passar väl med idéer om motståndskraft mot kvantdatorer. Tänk på det som ett litet, verifierbart kvitto som säger att läxan är gjord utan att visa själva läxan.

Myt

“zk-STARK är samma sak som en SNARK.” Inte riktigt. Det är en variant av Zero Knowledge Proof (ZKP), men den undviker trusted setup, siktar på motståndskraft mot kvantdatorer och byter till något större bevis för snabb, offentlig verifiering.

Hur Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) fungerar

Tänk dig en rollup som visar att tusentals affärer behandlats korrekt. Med Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) behöver kedjan inte köra allt igen. Den kontrollerar bara ett kompakt bevis och går vidare.

Steg 1: En prover väljer ett påstående att bevisa, till exempel ”detta parti transaktioner följde reglerna”.
Steg 2: Beräkningen omvandlas till ett strukturerat spår. Provern binder sig till det spåret med hashar så att inget kan ändras i efterhand.
Steg 3: Avancerad matematik dolt bakom användarvänlig kod. Provern bygger ett litet bevis som är svårt att förfalska.
Steg 4: Beviset skickas till en verifierare, ofta ett smart kontrakt. Verifieraren kör lätta kontroller.
Steg 5: Om det godkänns accepteras resultatet på kedjan och tillståndet uppdateras. Nettovarianten: bättre genomströmning och prestanda med färre databyte.

Det är spelplanen, utan kritdamm.

Varför Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) är viktigt

Det berör dig eftersom det förändrar hur blockkedjor blir snabba och privata utan att offra förtroende.

Fördel: Stora beräkningar blir små kontroller, vilket sparar avgifter och tid.
Perspektiv: Du kan bevisa korrekthet samtidigt som du behåller sekretess för indata. Dela beviset, inte hemligheterna.
Relevans: Du kommer att se det i rollups, spel, NFT:er och betalningar där hastighet och säkerhet spelar roll.

Tips

När du ser ett projekt som använder zk-STARK, kontrollera två saker: undviker det trusted setup och håller det calldata litet via rekursion eller smart dataåtkomst. De valen påverkar avgifter och användarupplevelse.

Huvudegenskaper för Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Det här är vad som sticker ut:

Transparent: Ingen betrodd setupceremoni, så det finns ingen speciell grupp du måste lita på.
Skalbart: Utformat för hög skalbarhet, genom att slå ihop stora arbetsmängder till små bevis.
Mot kvantdatorer: Bygger på hashfunktioner som anses mer motståndskraftiga mot framtida kvantattacker.

Variationer

Relaterade varianter du kommer att höra om:

SNARKs: Mindre bevis och snabb verifiering, men kräver ofta en betrodd setup. Annorlunda avvägningar än Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK).
Giltighetsbevis: Ett samlingsbegrepp som inkluderar SNARKs och STARKs. De visar att en tillståndsuppdatering är korrekt.
Bedrägeribevis: Används av optimistiska rollups. Man antar att allt är korrekt tills någon påvisar ett fel, och då följer en utmaning.

Påminnelse

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) bevisar korrekthet, inte laglighet eller rättvisa. Det kan dölja indata, men som standard döljer det inte all metadata om inte applikationen är byggd för det.

Exempel

En DeFi-börs på Starknet samlar ihop affärer och publicerar ett enda zk-STARK-bevis på Ethereum så att kedjan verifierar hela partiet med minimal gas.

Kul fakta

Akronymen myntades av forskare inklusive Eli Ben Sasson, och ja, STARK betyder också stark på tyska. Det passar, eftersom designen lutar sig mot robusta hashfunktioner snarare än omfattande publika nyckelceremonier.

Sammanfattning

Kort version: zk-STARK ger dig små bevis att stort arbete har utförts, så du kan lita på resultat utan att titta på datan.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)