- Zero-Knowledge Proofs har været en almindelig idé inden for kryptografi siden 1980'erne.
- Blockchain har forblevet tilknyttet kryptografi siden dets undfangelse.
- Nulvidensbeviser repræsenterer en kryptografisk teknik, hvor ingen information bliver afsløret under en transaktion bortset fra udvekslingen af en eller anden værdi kendt af både beviseren og verifikatoren.
Omfanget af svigagtige aktiviteter er også steget med tiden i takt med teknologiens fremskridt. Følgelig er opretholdelse af sikkerhedsprotokoller et af de mest kritiske aspekter af transaktionsprocessen. Mens Blockchain har vist sig som en af de mest lovende innovationer, er yderligere sikkerhedsstandarder stadig nødvendige for at opretholde transaktionssikkerheden.
Blockchain har forblevet tilknyttet kryptografi siden dets undfangelse. Integrationen af Blockchain og kryptografi har dog for nylig fanget offentlighedens opmærksomhed. På blockchain-systemet hjælper kryptografiske teknikker med at sikre transaktionen. Med andre ord har kombinationen af blockchain-teknologi og kryptografi resulteret i en sikker økonomisk transaktionsmetode.
Zero-Knowledge Proofs har været en almindelig idé inden for kryptografi siden 1980'erne. Men deres funktion i kryptovalutaer har for nylig bragt dem frem i rampelyset. Den globale befolkning befinder sig midt i et stadig mere sammenkoblet krypto- og fintech-økosystem. Som følge heraf er der opstået bekymringer med hensyn til at opretholde kryptoideologiens løfte om brugernes anonymitet og privatliv.
Det nyligt ambitiøse Worldcoin-kryptoprojekt har til formål at skabe et globalt digitalt identifikationssystem for brugere. Det nye og 'kontroversielle' kryptoprojekt anvender beviser uden viden til at forsvare privatlivets fred, mens det verificerer brugere, krav og transaktioner.
Hvad er Zero Knowledge Proof
Nulvidensbeviser repræsenterer en kryptografisk teknik, hvor ingen information bliver afsløret under en transaktion bortset fra udvekslingen af en eller anden værdi kendt af både beviseren og verifikatoren, de to ender af processen.
Et nulvidensbevis er en måde at bevise, om et bestemt udsagn er sandt uden at afsløre det. Her er 'beviseren' den part, der forsøger at etablere et krav, mens 'verifikatoren' er ansvarlig for at validere kravet.
I enklere vendinger gør nul-vidensbeviser (ZKP) det muligt for en part at bevise over for en anden part, at de ved noget uden at dele informationen med en anden part for at bevise deres viden.
LÆS MERE: Den decentraliserede vision: Ethereum går ind for Zero Knowledge-teknologi
Historien om Zero Knowledge Proofs i Blockchain
Zero Knowledge Proofs begyndte i 1985, da MIT-forskere offentliggjorde Videnskompleksiteten af interaktive bevissystemer. Papiret skitserede væsentlige koncepter, herunder et hierarki for interaktivt bevis (IP). Derudover introducerede papiret ideen om videnskompleksitet, som kvantificerer mængden af beviser, der overføres fra beviseren til verifikatoren. Papiret præsenterede konstruktionen af ZKP'er for ethvert NP-sæt med en hvilken som helst forpligtelsesordning, hvilket fastslår anvendeligheden af forskernes resultater.
Igen forenede kræfterne i 1989, Goldwasser, Micali og Rackoff udgav The Knowledge Complexity of Interactive Proof Systems. Dette papir udviklede begrebet videnskompleksitet, som vurderer mængden af information, som en bevisfører skal have for at overbevise en verifikator om en erklærings gyldighed. Forfatterne påviste, at nul-viden beviser kan hjælpe med at reducere informationskompleksiteten i interaktive bevissystemer.
I 1993 udgav forskere fra universiteterne i Chicago og Budapest Arthur-Merlin Games: Et randomiseret bevissystem og et hierarki af kompleksitetsklasses, hvor de introducerede begrebet randomiserede beviser, der kombinerer nul-viden bevisteori med konventionel bevisteori. De brugte et kombinatorisk spil, hvor den ene deltager (Arthur) lavede vilkårlige bevægelser, og den anden (Merlin) lavede optimale bevægelser.
I 2013 skrev Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer og Madars Virza den Kortfattede Non-Interactive Zero Knowledge for en von Neumann Architecture. Dette papir introducerede ZK-SNARKS eller kortfattede ikke-interaktive nul-viden beviser. Disse er en form for nul-viden beviser, der kan verificeres med begrænsede beregningsressourcer. Forfatterne demonstrerede, at deres system kunne validere rigtigheden af beregninger privat og sikkert.
Forfatterne af ZK-SNARK udgav skalerbar, gennemsigtig og post-kvantesikker beregningsintegritet i 2018. ZK-STARK er et Zero Knowledge proof system, der tilbyder robuste sikkerhedsgarantier, samtidig med at det forbliver yderst skalerbart og gennemsigtigt.
Eksisterende Zero Knowledge-sikre systemer havde ofte problemer med skalerbarhed eller krævede en pålidelig konfiguration, hvilket gjorde dem modtagelige for angreb. Således introducerede de ZK-STARK, baseret på en ny matematisk struktur kendt som et polynomial constraint system (PCS). En PCS repræsenterer en polynomial ligningsstruktur, der bruges til at artikulere komplekse beregningsproblemer.
Adskillige andre artikler har vist sig at være vigtige i historien om Zero Knowledge Proofs, men de ovenfor nævnte har spillet en afgørende rolle. De seneste generationer af Layer-2 (L2'er) og ZK-baserede elektroniske stemmemaskiner (EVM'er) har skabt et tomt lærred til at anvende disse innovationer til at skalere blockchain-kørselstider.
Typer af Zero Knowledge Proofs
Der er to grundlæggende typer af ZKP'er som følger:
- Interaktive Zero Knowledge Proofs: I Interactive ZKP udfordrer verifikatoren beviseren, der svarer på disse udfordringer, indtil verifikatoren er overbevist. De skal være online samtidigt, og beviseren skal udføre en række handlinger for at overbevise verifikatoren om et specifikt faktum.
- Ikke-interaktive Zero Knowledge Proofs (NIZKP): Ikke-interaktive Zero-Knowledge Proofs kræver ikke en interaktiv proces mellem beviseren og verifikatoren. Beviseren leverer beviset til verifikatoren, og bevisverifikationen sker kun én gang til enhver tid. NIZKP kan være mere effektivt og bekvemt end IZKP, da det ikke har noget krav om, at beviseren og verifikatoren skal være online. Kræver dog mere regnekraft sammenlignet med Interactive Zero Knowledge Proof.
For at opfylde rollen som en effektiv verifikationsproces, der også beskytter dataene, skal et nul-viden bevis være:
- Komplet: Verifikatoren vil acceptere beviset, hvis kravet er gyldigt, og begge parter følger protokollen.
- Lyd: Hvis påstanden er falsk, burde det være næsten umuligt at overbevise verifikatoren om, at det er sandt.
- Nul-viden: Ingen information undtagen sandheden af påstanden bør være kendt eller opdaget af verifikatoren.
Elementerne i Zero-Knowledge Proofs
I grundlæggende form har et nul-viden bevis tre elementer:
- Vidne: Med et nul-viden bevis, vil beviseren bevise viden om nogle skjulte oplysninger. De hemmelige oplysninger er "vidnet" til beviset, og beviserens forudsatte kendskab til vidnet etablerer et sæt spørgsmål, som kun kan besvares af en part med kendskab til oplysningerne. Beviseren starter således bevisprocessen ved tilfældigt at vælge et spørgsmål, beregne svaret og sende det til verifikatoren.
- Udfordring: Verifikatoren vælger tilfældigt et andet spørgsmål fra sættet og beder beviseren om at besvare det.
- Respons: Beviseren accepterer spørgsmålet, beregner svaret og returnerer det til verifikatoren. Beviserens svar giver verifikatoren mulighed for at kontrollere, om førstnævnte kan få adgang til vidnet. Verifikatoren vælger flere spørgsmål at stille for at sikre, at beviseren ikke gætter blindt og får de rigtige svar tilfældigt. Ved at gentage denne interaktion mange gange, falder muligheden for, at beviseren forfalsker vidnets viden, betydeligt til det punkt, hvor verifikatoren er tilfreds.
Anvendelse af Zero-Knowledge Proofs i Blockchain
Optimering af ydeevne
Applikationskoden udføres off-chain eller af en enkelt node på blockchain-netværket, og kun bevis for dens korrekte udførelse sendes til Blockchain for andre parter for at verificere dens korrekthed. Et eksempel er ZK Rollups, hvor transaktioner udføres off-chain, og en oversigt over alle transaktioner indsendes on-chain.
Private transaktioner i Blockchain
Transaktionsdata er krypteret, og der sendes bevis for at bevise, at de blev beregnet korrekt. ZKP'er gælder også brugt i private transaktioner, der ikke afslører pengedata og modtager- og afsenderoplysninger. Et eksempel er Tornado Cash, en decentraliseret, ikke-depottjeneste, der giver brugerne mulighed for at udføre private transaktioner på Ethereum.
Databeskyttelse og sikkerhed
Organisationer, der kontrollerer følsomme data, såsom banker og hospitaler, skal holde dem fri for tredjepartsadgang. ZKP'er og Blockchain kan sammen gøre det umuligt at få adgang til data. ZKP'er kan hjælpe med at tilføje flere sikkerhedslag til filer og logins. Som et resultat kan ZKP'er præsentere bemærkelsesværdige forhindringer for hackere eller manipulatorer til at ændre og hente dataene.
Private blockchain-transaktionsoverførsler:
Den mest bemærkelsesværdige bekymring i private blockchain-transaktioner er de mange smuthuller, der er tydelige i konventionelle procedurer. Den produktive integration af ZKP med private blockchain-transaktioner kan skabe en robust hackersikker proces.
Messengers på Blockchain
Selvom budbringere i dag holder krypteringsløftet, kan ukrypteret Blockchain blive den næste store ting i den teknologiske verden. Med garanti for en ukrypteret, men alligevel robust løsning, kan ZKP'er og Blockchain skabe en værdiskabende messenger-platform, der er sikret for alle.
Nulvidensbeviser har et stort potentiale for at spare omkostninger og bevare brugernes privatliv i blockchain- og kryptoverdenen. Desuden er dette koncept nemt at bruge, og teknologierne, der understøtter ZKP'er, er også fremragende effektive. Ved at udnytte den seneste generation af ZKP, kan brugerne drage stor fordel uden at bruge mange penge.
LÆS MERE: Konsensusmekanismer i blockchain-verdenen, og hvor vigtige de er
- SEO Powered Content & PR Distribution. Bliv forstærket i dag.
- PlatoData.Network Vertical Generative Ai. Styrk dig selv. Adgang her.
- PlatoAiStream. Web3 intelligens. Viden forstærket. Adgang her.
- PlatoESG. Automotive/elbiler, Kulstof, CleanTech, Energi, Miljø, Solenergi, Affaldshåndtering. Adgang her.
- PlatoHealth. Bioteknologiske og kliniske forsøgs intelligens. Adgang her.
- ChartPrime. Løft dit handelsspil med ChartPrime. Adgang her.
- BlockOffsets. Modernisering af miljømæssig offset-ejerskab. Adgang her.
- Kilde: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :har
- :er
- :ikke
- :hvor
- 1985
- 2013
- 2018
- a
- Om
- over
- Acceptere
- accepterer
- adgang
- Adgang
- aktioner
- aktiviteter
- tilføje
- Yderligere
- Derudover
- fremgang
- fortalere
- Tilknyttet
- målsætninger
- Alle
- Alle transaktioner
- tillader
- også
- ambitiøst
- Midt
- beløb
- an
- ,
- Anonymitet
- En anden
- besvare
- svar
- enhver
- Indløs
- Anvendelse
- arkitektur
- ER
- Arthur
- AS
- aspekter
- antaget
- At
- angribe
- opmærksomhed
- forfattere
- Banker
- baseret
- grundlæggende
- BE
- bliver
- været
- begyndte
- gavner det dig
- mellem
- Big
- blindt
- blockchain
- Blockchain netværk
- blockchain-system
- Blockchain teknologi
- blockchain-transaktioner
- både
- begge fester
- bragte
- Budapest
- men
- by
- beregner
- beregning
- CAN
- fanget
- Kontanter
- udfordringer
- chance
- kontrollere
- Chicago
- vælge
- krav
- fordringer
- kode
- kombinerer
- kombinerer
- engagement
- Fælles
- sammenlignet
- fuldføre
- komplekse
- kompleksitet
- computerkraft
- beregninger
- Konceptet
- design
- begreber
- Bekymring
- Bekymringer
- kortfattet
- Adfærd
- Konfiguration
- følgelig
- opbygge
- kontrol
- Praktisk
- konventionelle
- overbevise
- overbevist
- korrigere
- Omkostninger
- kunne
- skabe
- oprettet
- kritisk
- krypto
- cryptocurrencies
- kryptografisk
- kryptografi
- Daniel
- data
- decentral
- leverer
- demonstreret
- udviklet
- digital
- do
- Drops
- i løbet af
- let
- økosystem
- Effektiv
- effektiv
- elektronisk
- elementer
- Eli Ben-Sasson
- opstået
- selvstændige
- beskæftiger
- muliggøre
- krypteret
- kryptering
- ender
- sikre
- væsentlig
- etablere
- indfører
- oprettelse
- ethereum
- indlysende
- eksempel
- Undtagen
- henrettet
- udførelse
- Faktisk
- falsk
- Filer
- finansielle
- fund
- fund
- fintech
- følger
- følger
- Til
- Forces
- formular
- Tidligere
- svigagtig
- Gratis
- hyppigt
- fra
- Opfylde
- funktion
- fundamental
- spil
- Spil
- generationer
- få
- Global
- global digital
- stor
- garanti
- hackere
- havde
- Happening
- Have
- hjælpe
- link.
- Skjult
- hierarki
- stærkt
- historie
- hold
- sygehuse
- Hvordan
- Men
- HTTPS
- Enormt
- idé
- Identifikation
- if
- vigtigt
- umuligt
- in
- I andre
- Herunder
- stigende
- oplysninger
- innovationer
- integration
- integritet
- interaktion
- interaktiv
- sammenkoblet
- ind
- introduceret
- IP
- spørgsmål
- IT
- ITS
- selv
- sammenføjning
- Holde
- Kend
- viden
- kendt
- lag
- løftestang
- rampelyset
- Limited
- smuthuller
- Maskiner
- lavet
- vedligeholde
- lave
- Making
- mange
- matematiske
- mekanismer
- nævnte
- budbringer
- metode
- MIT
- Monetære
- penge
- mere
- mere effektiv
- Desuden
- mest
- bevægelser
- bevæger sig
- meget
- flere
- skal
- nødvendig
- netværk
- Ny
- næste
- ingen
- node
- ikke-frihedsberøvende
- bemærkelsesværdig
- talrige
- forhindringer
- of
- Tilbud
- on
- On-Chain
- engang
- ONE
- dem
- online
- kun
- optimal
- or
- Andet
- skitseret
- Papir
- papirer
- særlig
- parter
- part
- pc'er
- picks
- perron
- plato
- Platon Data Intelligence
- PlatoData
- spillet
- Løfte
- Punkt
- befolkning
- have
- Muligheden
- indsendt
- potentiale
- magt
- præsentere
- forelagt
- bevare
- Beskyttelse af personlige oplysninger
- private
- problemer
- procedurer
- behandle
- produktiv
- projekt
- løfte
- lovende
- bevis
- beviser
- protokol
- protokoller
- Bevise
- gennemprøvet
- offentliggjort
- kvantificerer
- mængde
- spørgsmål
- Spørgsmål
- Tilfældigt
- nylige
- for nylig
- reducere
- om
- frigivet
- forblive
- forblevet
- resterne
- repræsentere
- repræsenterer
- kræver
- påkrævet
- krav
- Kræver
- forskere
- Ressourcer
- svar
- ansvarlige
- resultere
- afkast
- afsløre
- Revealed
- afslørende
- Risen
- robust
- roller
- opdateringspakker
- besparelse
- Skalerbarhed
- skalerbar
- skalering
- Ordningen
- rækkevidde
- Secret
- sikker
- Sikret
- sikkert
- sikkerhed
- afsender
- afsendelse
- følsom
- Series
- tjeneste
- sæt
- deling
- bør
- signifikant
- betydeligt
- enklere
- samtidigt
- siden
- enkelt
- løsninger
- nogle
- noget
- specifikke
- udgifterne
- standarder
- starter
- Statement
- struktur
- indsendt
- sådan
- RESUMÉ
- support
- modtagelig
- systemet
- Systemer
- teknikker
- teknologisk
- Teknologier
- Teknologier
- vilkår
- end
- at
- oplysninger
- deres
- Them
- teori
- Disse
- de
- ting
- tredjepart
- denne
- tre
- Dermed
- tid
- gange
- til
- sammen
- tornado
- Tornado kontanter
- transaktion
- Transaktioner
- overførsler
- gennemsigtig
- sand
- betroet
- Sandheden
- to
- typer
- Universiteter
- indtil
- brug
- anvendte
- Bruger
- brugere
- VALIDATE
- validering
- værdi
- verificerbare
- Verifikation
- verificere
- verificere
- vision
- af
- Afstemningen
- ønsker
- var
- Vej..
- hvornår
- hvorvidt
- som
- mens
- WHO
- vilje
- med
- uden
- vidne
- ord
- world
- skrev
- endnu
- zephyrnet
- nul
- zero-knowledge
- nul-viden bevis
- nul-viden bevis
- ZK
- ZK-baseret
- zk-SNARKS