- Zero-Knowledge Proofs har vært en vanlig idé innen kryptografi siden 1980-tallet.
- Blockchain har vært knyttet til kryptografi siden unnfangelsen.
- Nullkunnskapsbevis representerer en kryptografisk teknikk der ingen informasjon blir avslørt under en transaksjon bortsett fra utveksling av en eller annen verdi kjent for både beviseren og verifikatoren.
Omfanget av uredelige aktiviteter har også økt med tiden med fremskritt av teknologi. Følgelig forblir opprettholdelse av sikkerhetsprotokoller et av de mest kritiske aspektene ved transaksjonsprosessen. Mens Blockchain har dukket opp som en av de mest lovende innovasjonene, er ytterligere sikkerhetsstandarder fortsatt nødvendige for å opprettholde transaksjonssikkerheten.
Blockchain har vært knyttet til kryptografi siden unnfangelsen. Integrasjonen av Blockchain og kryptografi har imidlertid nylig fanget publikums oppmerksomhet. På blockchain-systemet hjelper kryptografiske teknikker med å sikre transaksjonen. Med andre ord har kombinasjonen av blokkjedeteknologi og kryptografi resultert i en sikker økonomisk transaksjonsmetode.
Zero-Knowledge Proofs har vært en vanlig idé innen kryptografi siden 1980-tallet. Imidlertid har deres funksjon i kryptovalutaer nylig brakt dem frem i rampelyset. Den globale befolkningen befinner seg midt i et stadig mer sammenkoblet krypto- og fintech-økosystem. Som et resultat har det oppstått bekymringer angående å opprettholde kryptoideologiens løfte om brukeranonymitet og personvern.
Det nylig ambisiøse Worldcoin-kryptoprosjektet har som mål å skape et globalt digitalt identifikasjonssystem for brukere. Det nye og "kontroversielle" kryptoprosjektet bruker null-kunnskapsbevis for å forsvare personvernet mens det verifiserer brukere, påstander og transaksjoner.
Hva er Zero Knowledge Proof
Nullkunnskapsbevis representerer en kryptografisk teknikk der ingen informasjon blir avslørt under en transaksjon bortsett fra utveksling av en eller annen verdi kjent for både beviseren og verifikatoren, de to ender av prosessen.
Et null-kunnskapsbevis er en måte å bevise om et bestemt utsagn er sant uten å avsløre det. Her er 'beviseren' den parten som prøver å etablere et krav, mens 'bekrefteren' er ansvarlig for å bekrefte kravet.
I enklere termer, null-kunnskapsbevis (ZKP) gjør det mulig for en part å bevise overfor en annen part at de vet noe uten å dele informasjonen med en annen part for å bevise sin kunnskap.
LES MER: Den desentraliserte visjonen: Ethereum tar til orde for Zero Knowledge-teknologi
Historien om Zero Knowledge Proofs i Blockchain
Zero Knowledge Proofs begynte i 1985 da MIT-forskere publiserte Kunnskapskompleksiteten til interaktive bevissystemer. Oppgaven skisserte viktige konsepter, inkludert et hierarki for interaktiv bevis (IP). I tillegg introduserte papiret ideen om kunnskapskompleksitet, som kvantifiserer mengden bevis som overføres fra beviseren til verifikatoren. Artikkelen presenterte konstruksjonen av ZKP-er for ethvert NP-sett med en hvilken som helst forpliktelsesplan, og etablerte anvendeligheten til forskernes funn.
Goldwasser, Micali og Rackoff slo seg sammen i 1989 og publiserte The Knowledge Complexity of Interactive Proof Systems. Denne artikkelen utviklet konseptet kunnskapskompleksitet, som vurderer mengden informasjon en bevisst må ha for å overbevise en verifikator om et utsagns gyldighet. Forfatterne demonstrerte at null-kunnskapsbevis kan bidra til å redusere informasjonskompleksiteten i interaktive bevissystemer.
I 1993 publiserte forskere fra universitetene i Chicago og Budapest Arthur-Merlin Games: Et randomisert bevissystem og et hierarki av kompleksitetsklasses, der de introduserte konseptet med randomiserte bevis som kombinerer null-kunnskapsbevisteori med konvensjonell bevisteori. De brukte et kombinatorisk spill der en deltaker (Arthur) gjorde vilkårlige bevegelser, og den andre (Merlin) gjorde optimale trekk.
I 2013 skrev Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer og Madars Virza Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. Denne artikkelen introduserte ZK-SNARKS eller konsise ikke-interaktive bevis uten kunnskap. Dette er en form for nullkunnskapsbevis som kan verifiseres med begrensede beregningsressurser. Forfatterne demonstrerte at systemet deres kunne validere riktigheten av beregninger privat og sikkert.
Forfatterne av ZK-SNARK ga ut skalerbar, gjennomsiktig og post-kvantesikker beregningsintegritet i 2018. ZK-STARK er et Zero Knowledge-sikkert system som tilbyr robuste sikkerhetsgarantier samtidig som det forblir svært skalerbart og transparent.
Eksisterende Zero Knowledge-sikre systemer hadde ofte skalerbarhetsproblemer eller krevde en klarert konfigurasjon, noe som gjorde dem mottakelige for angrep. Dermed introduserte de ZK-STARK, basert på en ny matematisk struktur kjent som et polynomial constraint system (PCS). En PCS representerer en polynomligningsstruktur som brukes til å artikulere komplekse beregningsproblemer.
Tallrike andre artikler har vist seg viktige i historien til Zero Knowledge Proofs, men de som er nevnt ovenfor har spilt en kritisk rolle. Nyere generasjoner av Layer-2 (L2s) og ZK-baserte elektroniske stemmemaskiner (EVMs) har skapt et tomt lerret for å bruke disse innovasjonene til å skalere blokkjedekjøringer.
Typer null kunnskapsbevis
Det er to grunnleggende typer ZKP-er som følger:
- Interaktive Zero Knowledge Proofs: I Interactive ZKP utfordrer verifikatoren beviseren som svarer på disse utfordringene til verifikatoren er overbevist. De må være online samtidig, og beviseren må fullføre en rekke handlinger for å overbevise verifikatoren om et spesifikt faktum.
- Ikke-interaktive Zero Knowledge Proofs (NIZKP): Ikke-interaktive Zero-Knowledge Proofs krever ikke en interaktiv prosess mellom beviser og verifikatoren. Beviseren leverer beviset til verifikatoren, og bevisverifiseringen skjer bare én gang til enhver tid. NIZKP kan være mer effektivt og praktisk enn IZKP ettersom det ikke har noe krav om at beviseren og verifikatoren skal være online. Krever imidlertid mer beregningskraft sammenlignet med Interactive Zero Knowledge Proof.
For å oppfylle rollen som en effektiv verifiseringsprosess som også beskytter dataene, må et bevis med null kunnskap være:
- Komplett: Verifikatoren vil godta beviset hvis kravet er gyldig og begge parter følger protokollen.
- Lyd: Hvis påstanden er usann, bør det være nesten umulig å overbevise verifikatoren om at det er sant.
- Null kunnskap: Ingen informasjon bortsett fra sannheten i påstanden skal være kjent eller oppdages av verifikatoren.
Elementene i Zero-Knowledge Proofs
I grunnleggende form har et nullkunnskapsbevis tre elementer:
- Vitne: Med et nullkunnskapsbevis ønsker beviseren å bevise kunnskap om noe skjult informasjon. Den hemmelige informasjonen er «vitnet» til beviset, og beviserens antatte kjennskap til vitnet etablerer et sett med spørsmål som kun kan besvares av en part med kunnskap om informasjonen. Dermed starter beviseren bevisprosessen ved å tilfeldig velge et spørsmål, beregne svaret og sende det til verifikatoren.
- Utfordring: Verifikatoren velger tilfeldig et annet spørsmål fra settet og ber beviseren svare på det.
- Respons: Beviseren godtar spørsmålet, beregner svaret og returnerer det til verifikatoren. Beviserens svar lar verifikatoren sjekke om førstnevnte har tilgang til vitnet. Verifikatoren velger flere spørsmål å stille for å sikre at beviseren ikke gjetter blindt og får de riktige svarene ved en tilfeldighet. Ved å gjenta denne interaksjonen mange ganger, reduseres muligheten for at beviseren forfalsker vitnets kjennskap til det punktet at verifikatoren blir tilfredsstilt.
Bruk av nullkunnskapsbevis i Blockchain
Optimalisering av ytelse
Applikasjonskoden kjøres utenfor kjeden eller av en enkelt node på blokkjedenettverket, og kun bevis på korrekt utførelse legges ut til blokkjeden for andre parter for å bekrefte at den er korrekt. Et eksempel er ZK Rollups, hvor transaksjoner utføres utenfor kjeden, og et sammendrag av alle transaksjoner sendes inn i kjeden.
Private transaksjoner i Blockchain
Transaksjonsdata er kryptert, og bevis legges ut for å bevise at de ble beregnet riktig. ZKP-er gjelder også brukt i private transaksjoner som ikke avslører pengedata og mottaker- og avsenderinformasjon. Et eksempel er Tornado Cash, en desentralisert, ikke-depottjeneste som lar brukere utføre private transaksjoner på Ethereum.
Datasikkerhet og sikkerhet
Organisasjoner som kontrollerer sensitive data, som banker og sykehus, må holde dem fri for tredjepartstilgang. ZKPs og Blockchain sammen kan gjøre tilgang til data umulig. ZKP-er kan hjelpe med å legge til flere lag med sikkerhet til filer og pålogginger. Som et resultat kan ZKP-er presentere bemerkelsesverdige hindringer for hackere eller manipulatorer for å endre og hente dataene.
Private blokkjedetransaksjonsoverføringer:
Den mest bemerkelsesverdige bekymringen i private blokkjedetransaksjoner er de mange smutthullene som er tydelige i konvensjonelle prosedyrer. Den produktive integrasjonen av ZKP med private blokkjedetransaksjoner kan skape en robust hackersikker prosess.
Messengers på Blockchain
Selv om budbringere i dag holder krypteringsløftet, kan ukryptert Blockchain bli den neste store tingen i den teknologiske verden. Med garantien om en ukryptert, men robust løsning, kan ZKPs og Blockchain samskape en verdiøkende messenger-plattform som er sikret for alle og enhver.
Nullkunnskapsbevis har stort potensial for å spare kostnader og bevare brukernes personvern i blokkjede- og kryptoverdenen. Dessuten er dette konseptet enkelt å bruke, og teknologiene som støtter ZKP-er er også svært effektive. Ved å utnytte den nyeste generasjonen ZKP, kan brukere dra store fordeler uten å bruke mye penger.
LES MER: Konsensusmekanismer i blokkjedeverdenen og hvor viktige de er
- SEO-drevet innhold og PR-distribusjon. Bli forsterket i dag.
- PlatoData.Network Vertical Generative Ai. Styrk deg selv. Tilgang her.
- PlatoAiStream. Web3 Intelligence. Kunnskap forsterket. Tilgang her.
- PlatoESG. Bil / elbiler, Karbon, CleanTech, Energi, Miljø, Solenergi, Avfallshåndtering. Tilgang her.
- PlatoHelse. Bioteknologisk og klinisk etterretning. Tilgang her.
- ChartPrime. Hev handelsspillet ditt med ChartPrime. Tilgang her.
- BlockOffsets. Modernisering av eierskap for miljøkompensasjon. Tilgang her.
- kilde: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- : har
- :er
- :ikke
- :hvor
- 1985
- 2013
- 2018
- a
- Om oss
- ovenfor
- Aksepterer
- godtar
- adgang
- Tilgang
- handlinger
- Aktiviteter
- legge
- Ytterligere
- I tillegg
- forfremmelse
- talsmenn
- Tilknyttet
- mål
- Alle
- Alle transaksjoner
- tillater
- også
- ambisiøs
- Amid
- beløp
- an
- og
- anonymitet
- En annen
- besvare
- svar
- noen
- Påfør
- påføring
- arkitektur
- ER
- Arthur
- AS
- aspekter
- antatt
- At
- angripe
- oppmerksomhet
- forfattere
- Banker
- basert
- grunnleggende
- BE
- bli
- vært
- begynte
- nytte
- mellom
- Stor
- blindt
- blockchain
- Blockchain-nettverk
- blockchain-system
- Blockchain teknologi
- blockchain-transaksjoner
- både
- begge partiene
- brakte
- Budapest
- men
- by
- beregner
- beregning
- CAN
- fanget
- Kontanter
- utfordringer
- sjanse
- sjekk
- Chicago
- velge
- hevder
- krav
- kode
- kombinere
- kombinere
- engasjement
- Felles
- sammenlignet
- fullføre
- komplekse
- kompleksitet
- regnekraft
- beregninger
- konsept
- unnfangelse
- konsepter
- Bekymring
- bekymringer
- konsis
- Gjennomføre
- Konfigurasjon
- Følgelig
- konstruksjon
- kontroll
- Praktisk
- konvensjonell
- overbevise
- overbevist
- korrigere
- Kostnader
- kunne
- skape
- opprettet
- kritisk
- krypto
- cryptocurrencies
- kryptografisk
- kryptografi
- Daniel
- dato
- desentralisert
- leverer
- demonstrert
- utviklet
- digitalt
- do
- Drops
- under
- lett
- økosystem
- Effektiv
- effektiv
- elektronisk
- elementer
- Eli Ben-Sasson
- dukket
- ansatt
- anvender
- muliggjøre
- kryptert
- kryptering
- slutter
- sikre
- avgjørende
- etablere
- etablerer
- etablere
- ethereum
- tydelig
- eksempel
- Unntatt
- henrettet
- gjennomføring
- Faktisk
- falsk
- Filer
- finansiell
- funn
- funn
- fintech
- følge
- følger
- Til
- Krefter
- skjema
- Tidligere
- uredelig
- Gratis
- ofte
- fra
- Innfri
- funksjon
- fundamental
- spill
- Games
- generasjoner
- få
- Global
- global digital
- flott
- garantere
- hackere
- HAD
- Skjer
- Ha
- hjelpe
- her.
- skjult
- hierarki
- svært
- historie
- hold
- sykehus
- Hvordan
- Men
- HTTPS
- Enormt
- Tanken
- Identifikasjon
- if
- viktig
- umulig
- in
- I andre
- Inkludert
- stadig
- informasjon
- innovasjoner
- integrering
- integritet
- interaksjon
- interaktiv
- sammenhengende
- inn
- introdusert
- IP
- saker
- IT
- DET ER
- selv
- sammenføyning
- Hold
- Vet
- kunnskap
- kjent
- lag
- utnytte
- rampelyset
- Begrenset
- smutthull
- maskiner
- laget
- vedlikeholde
- gjøre
- Making
- mange
- matematiske
- mekanismer
- nevnt
- Messenger
- metode
- MIT
- Monetære
- penger
- mer
- mer effektivt
- Videre
- mest
- bevegelser
- trekk
- mye
- flere
- må
- nødvendig
- nettverk
- Ny
- neste
- Nei.
- node
- ikke-bidrags
- bemerkelsesverdig
- mange
- hindringer
- of
- Tilbud
- on
- On-Chain
- gang
- ONE
- seg
- på nett
- bare
- optimal
- or
- Annen
- skissert
- Papir
- papirer
- Spesielt
- parter
- parti
- PC-er
- Picks
- plattform
- plato
- Platon Data Intelligence
- PlatonData
- spilt
- Løfte
- Point
- befolkningen
- besitter
- mulighet
- postet
- potensiell
- makt
- presentere
- presentert
- bevarer
- privatliv
- privat
- problemer
- prosedyrer
- prosess
- produktiv
- prosjekt
- løfte
- lovende
- bevis
- bevis
- protokollen
- protokoller
- Bevis
- utprøvd
- publisert
- kvantifiserer
- kvantitet
- spørsmål
- spørsmål
- randomisert
- nylig
- nylig
- redusere
- om
- utgitt
- forbli
- forble
- forblir
- representere
- representerer
- krever
- påkrevd
- behov
- Krever
- forskere
- Ressurser
- svar
- ansvarlig
- resultere
- avkastning
- avsløre
- Avslørt
- avslørende
- Risen
- robust
- Rolle
- samle
- besparende
- skalerbarhet
- skalerbar
- skalering
- ordningen
- omfang
- Secret
- sikre
- sikret
- sikkert
- sikkerhet
- avsender
- sending
- sensitive
- Serien
- tjeneste
- sett
- deling
- bør
- signifikant
- betydelig
- enklere
- samtidig
- siden
- enkelt
- løsning
- noen
- noe
- spesifikk
- utgifter
- standarder
- starter
- Uttalelse
- struktur
- innsendt
- slik
- SAMMENDRAG
- støtte
- utsatt
- system
- Systemer
- teknikker
- teknologisk
- Technologies
- Teknologi
- vilkår
- enn
- Det
- De
- informasjonen
- deres
- Dem
- teori
- Disse
- de
- ting
- tredjeparts
- denne
- tre
- Dermed
- tid
- ganger
- til
- sammen
- tornado
- TornadoCash
- Transaksjonen
- Transaksjoner
- overføringer
- gjennomsiktig
- sant
- klarert
- Sannhet
- to
- typer
- universiteter
- til
- bruke
- brukt
- Bruker
- Brukere
- VALIDERE
- validere
- verdi
- etterprøvbar
- Verifisering
- verifisere
- verifisere
- syn
- av
- Stemmegivning
- ønsker
- var
- Vei..
- når
- om
- hvilken
- mens
- HVEM
- vil
- med
- uten
- Vitne
- ord
- verden
- skrev
- ennå
- zephyrnet
- null
- null-kunnskap
- null kunnskap bevis
- bevis på null kunnskap
- ZK
- ZK-basert
- ZK-snarks