Hvad er Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) er et bevis-system, der gør det muligt for en part at bevise, at en beregning er udført korrekt uden at afsløre input eller hele beregningen. Det er skalerbart og transparent, fordi det undgår betroede ceremonier og bygger på simple hashberegninger, som også passer godt sammen med postkvanteteknikker. Tænk på det som en lille, verificerbar kvittering, der viser, at opgaven er udført, uden at vise selve opgaven.

Myte

“zk-STARK er bare det samme som en SNARK.” Ikke helt. Det er en variant af Zero Knowledge Proof (ZKP), men den undgår trusted setup, har fokus på modstand mod kvanteangreb og bytter lidt større beviser for hurtig, offentlig verifikation.

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

Forestil dig en rollup, der beviser, at tusindvis af handler er behandlet korrekt. Med Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) genkører kæden ikke alt. Den tjekker blot et kompakt bevis og går videre.

Step 1: En prover vælger en påstand at bevise, for eksempel “dette parti transaktioner fulgte reglerne.”
Step 2: Beregningen omdannes til et struktureret trace. Proveren forpligter sig til det trace med hashes, så intet kan ændres senere.
Step 3: Avanceret matematik skjult bag brugervenlig kode. Proveren bygger et lille bevis, som vil være meget svært at forfalske.
Step 4: Beviset sendes til en verifier, ofte en smart contract. Verifikatoren kører lette tjek.
Step 5: Hvis det består, accepteres resultatet on chain og tilstanden opdateres. Nettoeffekt: bedre gennemstrømning og ydeevne med færre bytes data.

Det er opskriften, minus kridtstøvet.

Hvorfor Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) betyder noget

Det har betydning, fordi det ændrer, hvordan blockchains bliver hurtige og private uden at gå på kompromis med tillid.

Fordel: Store beregninger bliver til små tjek, hvilket sparer gebyrer og tid.
Perspektiv: Du kan bevise korrekthed samtidig med at du bevarer privatliv for input. Del beviset, ikke hemmelighederne.
Relevans: Du vil se det i rollups, gaming, NFT'er og betalinger, hvor hastighed og sikkerhed er vigtige.

Tip

Når du ser et projekt, der bruger Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), tjek to ting: undgår det trusted setup, og holder det calldata lille via rekursion eller smart datatilgængelighed. Disse valg påvirker gebyrer og brugeroplevelsen.

Nøgleegenskaber ved Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Her er, hvad der adskiller det:

Transparent: Ingen betroet opsætningsceremoni, så der er ingen særlig gruppe, du skal have tillid til.
Skalerbar: Designet til høj skalerbarhed, ved at samle store arbejdsbyrder til små beviser.
Post kvante: Baseret på hashfunktioner, som vurderes at være mere modstandsdygtige over for fremtidige kvanteangreb.

Variationer

Relaterede varianter, du vil høre om:

SNARKs: Mindre beviser og hurtig verifikation, men kræver ofte trusted setup. Forskellige kompromiser i forhold til zk-STARK.
Validity proofs: Et overordnet begreb, der omfatter SNARKs og STARKs. De beviser, at en tilstandsopdatering er korrekt.
Fraud proofs: Brugt af optimistic rollups. Antager korrekthed indtil nogen beviser en fejl, hvorefter der kommer en udfordring.

Påmindelse

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) beviser korrekthed, ikke lovlighed eller retfærdighed. Det kan skjule input, men som standard skjuler det ikke alle metadata, medmindre appen er designet til det.

Eksempel

En DeFi børs på Starknet samler handler og poster et enkelt Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) bevis på Ethereum, så kæden kan verificere hele partiet med minimal gas.

Sjov kendsgerning

Akronymet blev skabt af forskere, inklusive Eli Ben Sasson, og ja, STARK betyder også "stærk" på tysk. Det passer godt, da designet bygger på robuste hashfunktioner frem for store ceremonier med offentlige nøgler.

Opsummering

Kort version: zk-STARK giver dig små beviser for, at stort arbejde er udført, så du kan stole på resultaterne uden at kigge i dataene.

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