- Dokazila brez znanja so pogosta ideja v kriptografiji že od osemdesetih let prejšnjega stoletja.
- Blockchain je od svoje zasnove ostal povezan s kriptografijo.
- Dokazila brez znanja predstavljajo kriptografsko tehniko, pri kateri se med transakcijo ne razkrijejo nobene informacije, razen izmenjave neke vrednosti, ki je znana tako dokazovalcu kot verifikatorju.
Z napredkom tehnologije se je sčasoma povečal tudi obseg goljufivih dejavnosti. Posledično ohranjanje varnostnih protokolov ostaja eden najbolj kritičnih vidikov transakcijskega procesa. Medtem ko se je Blockchain izkazal kot ena najbolj obetavnih inovacij, so dodatni varnostni standardi še vedno potrebni za ohranjanje varnosti transakcij.
Blockchain je od svoje zasnove ostal povezan s kriptografijo. Integracija Blockchaina in kriptografije pa je nedavno pritegnila pozornost javnosti. V sistemu blockchain kriptografske tehnike pomagajo zaščititi transakcijo. Z drugimi besedami, združevanje tehnologije veriženja blokov in kriptografije je povzročilo varno metodo finančnih transakcij.
Dokazila brez znanja so pogosta ideja v kriptografiji že od osemdesetih let prejšnjega stoletja. Vendar pa jih je njihova funkcija v kriptovalutah nedavno pripeljala v središče pozornosti. Svetovno prebivalstvo se znajde sredi vse bolj medsebojno povezanega kripto in fintech ekosistema. Posledično so se pojavili pomisleki glede spoštovanja zaveze kriptoideologije k anonimnosti in zasebnosti uporabnikov.
Nedavno ambiciozen kripto projekt Worldcoin je namenjen ustvarjanju globalnega sistema digitalne identifikacije za uporabnike. Nov in 'kontroverzen' kripto projekt uporablja dokaze brez znanja za zaščito zasebnosti, medtem ko preverja uporabnike, zahtevke in transakcije.
Kaj je dokaz ničelnega znanja
Dokazila brez znanja predstavljajo kriptografsko tehniko, pri kateri se med transakcijo ne razkrije nobena informacija, razen izmenjave neke vrednosti, ki je znana tako dokazovalcu kot verifikatorju, obema koncema procesa.
Dokaz brez znanja je način dokazovanja, ali je določena izjava resnična, ne da bi jo razkrili. Tukaj je 'dokazovalec' stranka, ki poskuša uveljaviti trditev, medtem ko je 'preveritelj' odgovoren za potrditev trditve.
Preprosteje povedano, dokazila brez znanja (ZKP) omogočajo eni stranki, da drugi stranki dokaže, da nekaj ve, ne da bi informacije delila z drugo stranko, da bi dokazala svoje znanje.
VEČ: Decentralizirana vizija: Ethereum zagovarja tehnologijo ničelnega znanja
Zgodovina dokazil brez znanja v verigi blokov
Dokazila brez znanja so se začela leta 1985, ko so raziskovalci MIT objavili Kompleksnost znanja interaktivnih dokaznih sistemov. Dokument je orisal bistvene koncepte, vključno s hierarhijo za interaktivni dokaz (IP). Poleg tega je članek uvedel zamisel o kompleksnosti znanja, ki kvantificira količino dokaza, ki se prenaša od dokazovalca do preveritelja. Prispevek je predstavil konstrukcijo ZKP-jev za kateri koli NP-niz s katero koli shemo zaveze, s čimer je bila ugotovljena uporabnost ugotovitev raziskovalcev.
Goldwasser, Micali in Rackoff so leta 1989 ponovno združili moči in objavili Kompleksnost znanja interaktivnih dokaznih sistemov. Ta članek je razvil koncept kompleksnosti znanja, ki ocenjuje količino informacij, ki jih mora imeti dokazovalec, da prepriča preveritelja o veljavnosti izjave. Avtorji so dokazali, da lahko dokazi brez znanja pomagajo zmanjšati kompleksnost informacij v interaktivnih dokaznih sistemih.
Leta 1993 so raziskovalci z univerz v Chicagu in Budimpešti objavili Arthur-Merlin Games: Naključni dokazni sistem in hierarhija kompleksnosti razredas, v katerem so uvedli koncept randomiziranih dokazov, ki združujejo teorijo dokazov z ničelnim znanjem in konvencionalno teorijo dokazov. Uporabili so kombinatorno igro, pri kateri je en udeleženec (Arthur) izvajal poljubne gibe, drugi (Merlin) pa optimalne poteze.
Leta 2013 so Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer in Madars Virza napisali Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. Ta dokument je predstavil ZK-SNARKS ali jedrnate neinteraktivne dokaze brez znanja. To so oblika dokazov brez znanja, ki jih je mogoče preveriti z omejenimi računalniškimi viri. Avtorji so dokazali, da lahko njihov sistem zasebno in varno potrdi pravilnost izračunov.
Avtorji ZK-SNARK so leta 2018 izdali razširljivo, pregledno in postkvantno varno računalniško celovitost. ZK-STARK je sistem brez znanja, ki ponuja robustna varnostna zagotovila, hkrati pa ostaja visoko razširljiv in pregleden.
Obstoječi sistemi brez znanja so pogosto imeli težave z razširljivostjo ali so zahtevali zaupanja vredno konfiguracijo, zaradi česar so bili dovzetni za napade. Tako so uvedli ZK-STARK, ki temelji na novi matematični strukturi, znani kot sistem polinomskih omejitev (PCS). PCS predstavlja strukturo polinomske enačbe, ki se uporablja za artikulacijo kompleksnih računalniških problemov.
Številni drugi dokumenti so se izkazali za pomembne v zgodovini dokazov brez znanja, vendar so zgoraj omenjeni igrali ključno vlogo. Zadnje generacije Layer-2 (L2) in elektronskih glasovalnih naprav (EVM) na osnovi ZK so ustvarile prazno platno za uporabo teh inovacij pri spreminjanju izvajalnih časov verige blokov.
Vrste dokazov brez znanja
Obstajata dve temeljni vrsti ZKP:
- Interaktivna dokazila brez znanja: V Interaktivnem ZKP preveritelj izziva dokazovalca, ki na te izzive odgovarja, dokler preveritelja ne prepriča. Hkrati morajo biti na spletu, dokazovalnik pa mora opraviti niz dejanj, da prepriča preveritelja o določenem dejstvu.
- Neinteraktivna dokazila brez znanja (NIZKP): Neinteraktivna dokazila brez znanja ne zahtevajo interaktivnega procesa med dokazovalcem in verifikatorjem. Preizkuševalec dostavi dokazilo verifikatorju, pri čemer se preverjanje dokazila izvede samo enkrat v katerem koli trenutku. NIZKP je lahko bolj učinkovit in priročen kot IZKP, saj ne zahteva, da bi bil dokazovalnik in verifikator na spletu. Vendar zahteva več računalniške moči v primerjavi z interaktivnim dokazom brez znanja.
Za izpolnjevanje vloge učinkovitega postopka preverjanja, ki prav tako ščiti podatke, mora biti dokazilo brez znanja:
- Dokončati: Verifikator bo potrdilo sprejel, če je zahtevek veljaven in obe strani upoštevata protokol.
- zvok: Če je trditev napačna, bi moralo biti preveritelja skoraj nemogoče prepričati, da je resnična.
- Nič znanja: Verifikator ne sme poznati ali odkriti nobenih informacij razen resničnosti trditve.
Elementi dokazov brez znanja
V osnovni obliki ima dokaz brez znanja tri elemente:
- Priča: Z dokazom brez znanja želi dokazovalnik dokazati poznavanje nekaterih skritih informacij. Tajni podatek je »priča« dokaza in dokazovalčevo domnevno poznavanje priče vzpostavlja niz vprašanj, na katera lahko odgovori samo stranka, ki pozna informacije. Tako preverjalec začne proces dokazovanja tako, da naključno izbere vprašanje, izračuna odgovor in ga pošlje verifikatorju.
- Izziv: Verifikator naključno izbere drugo vprašanje iz nabora in prosi dokazovalca, naj nanj odgovori.
- odgovor: Dokazovalec sprejme vprašanje, izračuna odgovor in ga vrne verifikatorju. Odgovor dokazovalca omogoči preveritelju, da preveri, ali ima prvi dostop do priče. Preverjevalec izbere več vprašanj, da se prepriča, da dokazovalnik ne ugiba na slepo in ne dobi pravilnih odgovorov po naključju. Z večkratnim ponavljanjem te interakcije se možnost, da bi dokazalec ponaredil znanje priče, občutno upade do te mere, da zadovolji preveritelja.
Uporaba dokazov brez znanja v verigi blokov
Optimiziranje delovanja
Aplikacijska koda se izvaja izven verige ali z enim samim vozliščem v omrežju verige blokov in samo dokazilo o njeni pravilni izvedbi je objavljeno v verigi blokov, da lahko druge strani preverijo njegovo pravilnost. Primer je ZK Rollups, kjer se transakcije izvajajo izven verige, povzetek vseh transakcij pa se predloži v verigi.
Zasebne transakcije v Blockchainu
Transakcijski podatki so šifrirani in objavljen je dokaz, ki dokazuje, da so bili pravilno izračunani. Uporabljajo se tudi ZKP, ki se uporabljajo v zasebnih transakcijah, ki ne razkrivajo denarnih podatkov ter podatkov o prejemniku in pošiljatelju. Primer je Tornado Cash, decentralizirana storitev brez skrbništva, ki uporabnikom omogoča izvajanje zasebnih transakcij na Ethereumu.
Zasebnost in varnost podatkov
Organizacije, ki nadzorujejo občutljive podatke, kot so banke in bolnišnice, jih morajo zaščititi pred dostopom tretjih oseb. ZKP-ji in Blockchain skupaj lahko onemogočijo dostop do podatkov. ZKP lahko pomagajo pri dodajanju več plasti varnosti datotekam in prijavam. Posledično lahko ZKP hekerjem ali manipulatorjem predstavljajo pomembne ovire pri spreminjanju in pridobivanju podatkov.
Prenosi zasebnih transakcij blockchain:
Najbolj opazna skrb pri zasebnih transakcijah blockchain so številne vrzeli, ki so očitne v običajnih postopkih. Produktivna integracija ZKP z zasebnimi transakcijami v verigi blokov lahko ustvari robusten proces, odporen proti hekerjem.
Messengerji na Blockchainu
Čeprav današnji messengerji obljubljajo šifriranje, bi nešifrirani Blockchain lahko postal naslednja velika stvar v tehnološkem svetu. Z jamstvom nešifrirane, a robustne rešitve lahko ZKP in Blockchain soustvarjata messenger platformo z dodano vrednostjo, ki je zavarovana za vse.
Dokazila brez znanja imajo velik potencial pri prihranku stroškov in ohranjanju zasebnosti uporabnikov v blockchainu in kripto svetu. Poleg tega je ta koncept enostaven za uporabo, tehnologije, ki podpirajo ZKP, pa so tudi izjemno učinkovite. Z uporabo najnovejše generacije ZKP lahko uporabniki izkoristijo velike koristi, ne da bi porabili veliko denarja.
PREBERI VEČ: Mehanizmi soglasja v svetu blockchain in kako pomembni so
- Distribucija vsebine in PR s pomočjo SEO. Okrepite se še danes.
- PlatoData.Network Vertical Generative Ai. Opolnomočite se. Dostopite tukaj.
- PlatoAiStream. Web3 Intelligence. Razširjeno znanje. Dostopite tukaj.
- PlatoESG. Avtomobili/EV, Ogljik, CleanTech, Energija, Okolje, sončna energija, Ravnanje z odpadki. Dostopite tukaj.
- PlatoHealth. Obveščanje o biotehnologiji in kliničnih preskušanjih. Dostopite tukaj.
- ChartPrime. Izboljšajte svojo igro trgovanja s ChartPrime. Dostopite tukaj.
- BlockOffsets. Posodobitev okoljskega offset lastništva. Dostopite tukaj.
- vir: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :ima
- : je
- :ne
- :kje
- 1985
- 2013
- 2018
- a
- O meni
- nad
- Sprejmi
- Sprejema
- dostop
- Dostop
- dejavnosti
- dejavnosti
- dodajanje
- Dodatne
- Poleg tega
- napredovanje
- Zagovorniki
- Pridružen
- Cilje
- vsi
- Vse transakcije
- omogoča
- Prav tako
- ambiciozni
- Sredi
- znesek
- an
- in
- anonimnost
- Še ena
- odgovor
- odgovori
- kaj
- Uporabi
- Uporaba
- Arhitektura
- SE
- Arthur
- AS
- vidiki
- domnevajo
- At
- napad
- pozornosti
- Avtorji
- Banke
- temeljijo
- Osnovni
- BE
- postanejo
- bilo
- začel
- koristi
- med
- Big
- slepo
- blockchain
- Omrežje Blockchain
- blockchain sistem
- Blokchain tehnologija
- blockchain transakcije
- tako
- obe strani
- prinesel
- Budapest
- vendar
- by
- izračuna
- izračun
- CAN
- Zajeto
- Denar
- izzivi
- priložnost
- preveriti
- Chicago
- izbiri
- trdijo
- terjatve
- Koda
- združujejo
- združevanje
- Zaveza
- Skupno
- v primerjavi z letom
- dokončanje
- kompleksna
- kompleksnost
- računska moč
- izračuni
- Koncept
- Oblikovanje
- koncepti
- Skrb
- Skrbi
- zgoščeno
- Ravnanje
- konfiguracija
- Posledično
- Gradbeništvo
- nadzor
- Priročen
- konvencionalne
- prepričati
- Prepričan
- popravi
- stroški
- bi
- ustvarjajo
- ustvaril
- kritično
- kripto
- cryptocurrencies
- kriptografijo
- kriptografija
- Daniel
- datum
- Decentralizirano
- daje
- Dokazano
- razvili
- digitalni
- do
- Kapljice
- med
- lahka
- ekosistem
- Učinkovito
- učinkovite
- Electronic
- elementi
- Eli Ben-Sasson
- pojavile
- zaposleni
- zaposluje
- omogočajo
- šifriran
- šifriranje
- konča
- zagotovitev
- bistvena
- vzpostaviti
- vzpostavlja
- vzpostavitev
- ethereum
- očitno
- Primer
- Razen
- izvršeno
- izvedba
- Dejstvo
- false
- datoteke
- finančna
- Ugotovitve
- najdbe
- FINTECH
- sledi
- sledi
- za
- sile
- obrazec
- Nekdanji
- goljufiva
- brezplačno
- pogosto
- iz
- Izpolnite
- funkcija
- temeljna
- igra
- Games
- generacije
- pridobivanje
- Globalno
- globalno digitalno
- veliko
- Garancija
- hekerji
- imel
- Zgodi se
- Imajo
- pomoč
- tukaj
- skrita
- hierarhija
- zelo
- zgodovina
- držite
- bolnišnice
- Kako
- Vendar
- HTTPS
- Ogromno
- Ideja
- Identifikacija
- if
- Pomembno
- nemogoče
- in
- V drugi
- Vključno
- vedno
- Podatki
- novosti
- integracija
- celovitost
- interakcije
- interaktivno
- medsebojno povezani
- v
- Uvedeno
- IP
- Vprašanja
- IT
- ITS
- sam
- pridružil
- Imejte
- Vedite
- znanje
- znano
- plasti
- vzvod
- svetilka
- Limited
- vrzeli
- Stroji
- je
- vzdrževati
- Znamka
- Izdelava
- več
- matematični
- Mehanizmi
- omenjeno
- Messenger
- Metoda
- MIT
- Denarno
- Denar
- več
- učinkovitejše
- Poleg tega
- Najbolj
- gibanja
- premika
- veliko
- več
- morajo
- potrebno
- mreža
- Novo
- Naslednja
- št
- Vozel
- ne-skrbništvo
- opazen
- številne
- ovire
- of
- Ponudbe
- on
- Na verigi
- enkrat
- ONE
- tiste
- na spletu
- samo
- optimalna
- or
- Ostalo
- opisano
- Papir
- članki
- zlasti
- Stranke
- zabava
- računalniki
- Izbiramo
- platforma
- platon
- Platonova podatkovna inteligenca
- PlatoData
- igral
- Obljuba
- Točka
- prebivalstvo
- imeti
- možnost
- objavljene
- potencial
- moč
- predstaviti
- predstavljeni
- ohranjanje
- zasebnost
- zasebna
- Težave
- Postopki
- Postopek
- produktivno
- Projekt
- Obljuba
- obetaven
- dokazilo
- dokazov
- protokol
- protokoli
- Dokaži
- dokazano
- objavljeno
- kvantificira
- Količina
- vprašanje
- vprašanja
- Naključno
- nedavno
- Pred kratkim
- zmanjša
- o
- sprosti
- ostajajo
- ostalo
- ostanki
- predstavljajo
- predstavlja
- zahteva
- obvezna
- zahteva
- zahteva
- raziskovalci
- viri
- Odgovor
- odgovorna
- povzroči
- vrne
- razkrivajo
- Razkrito
- razkrivajo
- Vstali
- robusten
- vloga
- Rollupi
- shranjevanje
- Prilagodljivost
- razširljive
- skaliranje
- shema
- Obseg
- skrivnost
- zavarovanje
- Zavarovano
- Varno
- varnost
- oddajnik
- pošiljanja
- občutljiva
- Serija
- Storitev
- nastavite
- delitev
- shouldnt
- pomemben
- bistveno
- enostavnejši
- hkrati
- saj
- sam
- Rešitev
- nekaj
- Nekaj
- specifična
- Poraba
- standardi
- začne
- Izjava
- Struktura
- predložen
- taka
- POVZETEK
- podpora
- dovzetne
- sistem
- sistemi
- tehnike
- tehnološki
- Tehnologije
- Tehnologija
- Pogoji
- kot
- da
- O
- informacije
- njihove
- Njih
- Teorija
- te
- jih
- stvar
- tretjih oseb
- ta
- 3
- Tako
- čas
- krat
- do
- skupaj
- tornado
- TornadoCash
- transakcija
- Transakcije
- transferji
- pregleden
- Res
- zaupa
- Resnica
- dva
- Vrste
- Univerze
- dokler
- uporaba
- Rabljeni
- uporabnik
- Uporabniki
- POTRDI
- potrjevanje
- vrednost
- preverljiv
- Preverjanje
- preverjanje
- preverjanje
- Vizija
- za
- Glasovanje
- želi
- je
- način..
- kdaj
- ali
- ki
- medtem
- WHO
- bo
- z
- brez
- priča
- besede
- svet
- Napisal
- še
- zefirnet
- nič
- nič znanja
- ničelno dokazilo
- nič dokazila
- ZK
- Na podlagi ZK
- zk-SNARKS