Få Bitculator på Android
Markedsverdi:
$2,049,235,008,678
Volum 24t:
$178,392,769,583
juni 04 Likvidasjoner:
$0
24T Lang/Kort:
Kommer snart
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)
Hva betyr Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) i krypto-uttrykk?
Zero Knowledge Scalable Transparent Argument of Knowledge (zk STARK) er et kryptografisk bevisystem som muliggjør verifisering av beregninger uten å avsløre de involverte dataene.
Hva er Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) er et bevisystem som lar noen bevise at en beregning ble utført korrekt uten å avsløre inputene eller hele beregningen. Det er skalerbart og transparent fordi det unngår tillitsetableringsseremonier og bygger på enkle hashberegninger, som også fungerer godt mot kvantesikkerhetskonsepter. Tenk på det som en liten, verifiserbar kvittering som sier at leksa er gjort, uten å vise leksa.
«zk-STARK er bare det samme som en SNARK.» Ikke helt. Det er en variant av Nullkunnskapsbevis (ZKP), men den unngår trusted setup, sikter mot motstand mot kvantedatamaskiner, og bytter noe større bevis for rask, offentlig verifisering.
Hvordan Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) fungerer
Se for deg en rollup som beviser at tusenvis av handler ble behandlet riktig. Med Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) kjører kjeden ikke alt på nytt. Den sjekker bare et kompakt bevis og går videre.
- Trinn 1: En beviser velger en påstand som skal bevises, for eksempel «dette partiet med transaksjoner fulgte reglene.»
- Trinn 2: Beregningen gjøres om til et strukturert spor. Beviseren forplikter seg til det sporet med hasher slik at ingenting kan endres senere.
- Trinn 3: Avansert matematikk skjult bak brukervennlig kode. Beviseren bygger et lite bevis som ville være svært vanskelig å forfalske.
- Trinn 4: Beviset sendes til en verifiserer, ofte en smart kontrakt. Verifisereren kjører lette kontroller.
- Trinn 5: Hvis det godkjennes, registreres resultatet på kjeden og tilstanden oppdateres. Nettoeffekt: bedre gjennomstrømning og ytelse med færre bytes data.
Det er oppskriften, uten krittstøv.
Hvorfor Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) er viktig
Dette betyr noe fordi det endrer hvordan blokkjeder kan bli raske og private uten at man må ofre tillit.
- Fordel: Store beregninger blir små sjekker, noe som sparer gebyrer og tid.
- Perspektiv: Du kan bevise korrekthet samtidig som du beholder personvern for inputene. Del beviset, ikke hemmelighetene.
- Relevans: Du vil se det i rollups, spill, NFTs og betalinger, der hastighet og sikkerhet teller.
Når du ser et prosjekt som bruker zk-STARK, sjekk to ting: unngår det trusted setup, og holder det calldata liten gjennom rekursjon eller smart datatilgjengelighet. Disse valgene påvirker gebyrer og brukeropplevelse.
Nøkkeltrekk ved Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)
Dette skiller den ut:
- Transparent: Ingen tillitsetableringsseremoni, så det finnes ingen spesiell gruppe du må stole på.
- Skalerbar: Designet for høy skalerbarhet, som samler store arbeidsmengder i små bevis.
- Post kvante: Basert på hashfunksjoner, som anses som mer motstandsdyktige mot framtidige kvanteteknikker.
Varianter
Varianter du vil høre om:
- SNARKer: Mindre bevis og rask verifisering, men krever ofte en trusted setup. Andre avveininger enn zk-STARK.
- Gyldighetsbevis: En samlebetegnelse som inkluderer SNARKer og STARKer. De beviser at en statusoppdatering er korrekt.
- Svikbevis: Brukes av optimistic rollups. Antar at noe er riktig inntil noen beviser en feil, og så utfordres det.
Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) beviser korrekthet, ikke lovlighet eller rettferdighet. Den kan skjule inputene, men som standard skjuler den ikke all metadata med mindre appen er laget for det.
Eksempel
En DeFi børs på Starknet samler handler i ett parti og publiserer ett zk-STARK-bevis på Ethereum, slik at kjeden verifiserer hele partiet med minimalt gassforbruk.
Morsom detalj
Akkronymet ble laget av forskere inkludert Eli Ben Sasson, og ja, STARK betyr også «sterk» på tysk. Det passer, siden designet bygger på robuste hashfunksjoner i stedet for tunge offentlige nøkkelseremonier.
Sammendrag
Kort versjon: zk-STARK gir deg små bevis på at stort arbeid ble utført, slik at du kan stole på resultatene uten å titte på dataene.
Utforsk Andre Krypto Begreper
Fant du dette begrepet klart definert?
Har vi glemt noe??
Dine innspill hjelper oss med å holde ting korrekt. Kontakt oss hvis noe er feil eller mangler.
Kontakt