- Zero-Knowledge Proofs on olnud krüptograafias levinud idee alates 1980. aastatest.
- Blockchain on olnud krüptograafiaga seotud selle loomisest peale.
- Nullteadmiste tõestused kujutavad endast krüptograafilist tehnikat, kus tehingu käigus ei avaldata muud teavet, välja arvatud mõne väärtuse vahetamine, mis on teada nii tõestajale kui ka kontrollijale.
Ka pettuste ulatus on tehnoloogia arenguga aja jooksul kasvanud. Järelikult on turvaprotokollide säilitamine endiselt tehinguprotsessi üks kriitilisemaid aspekte. Kuigi Blockchain on kujunenud üheks paljutõotavamaks uuenduseks, on tehingute turvalisuse säilitamiseks endiselt vaja täiendavaid turvastandardeid.
Blockchain on olnud krüptograafiaga seotud selle loomisest peale. Blockchaini ja krüptograafia integreerimine on aga hiljuti avalikkuse tähelepanu köitnud. Plokiahela süsteemis aitavad krüptotehnikad tehingut kaitsta. Teisisõnu, plokiahela tehnoloogia ja krüptograafia kombineerimine on andnud tulemuseks turvalise finantstehingute meetodi.
Zero-Knowledge Proofs on olnud krüptograafias levinud idee alates 1980. aastatest. Nende funktsioon krüptovaluutades on aga viimasel ajal rambivalgusesse toonud. Ülemaailmne elanikkond leiab end keset üha enam omavahel seotud krüpto- ja fintech-ökosüsteemi. Selle tulemusena on tekkinud muret seoses krüptoideoloogia lubaduse järgimisega kasutajate anonüümsusele ja privaatsusele.
Hiljuti ambitsioonika Worldcoini krüptoprojekti eesmärk on luua kasutajatele ülemaailmne digitaalne identifitseerimissüsteem. Uus ja vastuoluline krüptoprojekt kasutab kasutajate, nõuete ja tehingute kontrollimisel privaatsuse kaitsmiseks nullteadmisi.
Mis on teadmiste nulltõend
Nullteadmiste tõestused kujutavad endast krüptograafilist tehnikat, kus tehingu käigus ei avaldata mingit teavet, välja arvatud mõne väärtuse vahetamine, mis on teada nii tõestajale kui ka kontrollijale, protsessi kahele otsale.
Nullteadmiste tõestus on viis tõestada, kas konkreetne väide on tõene, ilma seda paljastamata. Siin on "tõestaja" pool, kes püüab nõuet esitada, samas kui "tõendaja" vastutab väite kinnitamise eest.
Lihtsamalt öeldes võimaldavad nullteadmiste tõendid (ZKP) ühel osapoolel tõestada teisele osapoolele, et nad teavad midagi, ilma et jagaks teavet teise osapoolega, et oma teadmisi tõestada.
LOE EDASI: Detsentraliseeritud visioon: Ethereum pooldab nullteadmiste tehnoloogiat
Zero Knowledge Proofs ajalugu plokiahelas
Zero Knowledge Proofs sai alguse 1985. aastal, kui MIT-i teadlased avaldasid Interaktiivsete tõestussüsteemide teadmiste keerukus. Töös kirjeldati olulisi mõisteid, sealhulgas interaktiivse tõestuse (IP) hierarhiat. Lisaks tutvustati töös teadmiste keerukuse ideed, mis kvantifitseerib tõestajalt kontrollijale edastatud tõendite hulka. Dokumendis tutvustati ZKP-de ehitamist mis tahes NP-komplekti jaoks mis tahes kohustuste skeemiga, määrates kindlaks teadlaste tulemuste rakendatavuse.
1989. aastal taas jõud ühendades avaldasid Goldwasser, Micali ja Rackoff teose The Knowledge Complexity of Interactive Proof Systems. Selles artiklis töötati välja teadmiste keerukuse kontseptsioon, mis hindab teabe hulka, mis tõestajal peab olema, et veenda väite paikapidavust. Autorid näitasid, et nullteadmiste tõestused võivad aidata interaktiivsetes tõestussüsteemides teabe keerukust vähendada.
1993. aastal avaldasid Chicago ja Budapesti ülikoolide teadlased Arthur-Merlini mängud: Juhuslik tõestussüsteem ja keerukuse hierarhias, milles nad tutvustasid randomiseeritud tõestuste kontseptsiooni, mis ühendavad nullteadmiste tõestuse teooria tavapärase tõestuse teooriaga. Nad kasutasid kombinatoorset mängu, milles üks osaleja (Arthur) tegi meelevaldseid liigutusi ja teine (Merlin) tegi optimaalseid liigutusi.
2013. aastal kirjutasid Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer ja Madars Virza teose Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. Selles artiklis tutvustati ZK-SNARKSi ehk kokkuvõtlikke mitteinteraktiivseid nullteadmiste tõestusi. Need on nullteadmiste tõendid, mida saab kontrollida piiratud arvutusressurssidega. Autorid näitasid, et nende süsteem suudab arvutuste õigsust privaatselt ja turvaliselt kinnitada.
ZK-SNARKI autorid avaldasid 2018. aastal skaleeritava, läbipaistva ja kvantijärgse turvalise arvutusliku terviklikkuse. ZK-STARK on nullteadmistekindel süsteem, mis pakub tugevaid turvatagatisi, jäädes samas väga skaleeritavaks ja läbipaistvaks.
Olemasolevatel Zero Knowledge proof süsteemidel oli sageli mastaapsuse probleeme või need nõudsid usaldusväärset konfiguratsiooni, muutes need rünnakutele vastuvõtlikuks. Seega tutvustasid nad ZK-STARK-i, mis põhineb uuel matemaatilisel struktuuril, mida tuntakse polünoomipiirangusüsteemina (PCS). PCS esindab polünoomvõrrandi struktuuri, mida kasutatakse keerukate arvutusprobleemide sõnastamiseks.
Nullteadmiste tõendite ajaloos on osutunud oluliseks arvukalt muid dokumente, kuid ülalmainitud on mänginud olulist rolli. Layer-2 (L2) ja ZK-põhiste elektrooniliste hääletusmasinate (EVM) viimase põlvkonnad on loonud tühja lõuendi nende uuenduste rakendamiseks plokiahela käitusaegade skaleerimisel.
Nullteadmiste tõendite tüübid
ZKP-sid on kaks peamist tüüpi:
- Interaktiivsed nullteadmiste tõendid: Interaktiivses ZKP-s esitab kontrollija neile väljakutsetele vastanud tõestajale väljakutse, kuni kontrollija on selles veendunud. Need peavad olema samaaegselt võrgus ja tõestaja peab sooritama mitmeid toiminguid, et veenda tõendajat konkreetses faktis.
- Mitteinteraktiivsed nullteadmiste tõendid (NIZKP): Mitteinteraktiivsed nullteadmiste tõestused ei nõua interaktiivset protsessi tõestaja ja kontrollija vahel. Tõendaja edastab tõendi tõendajale, kusjuures tõendi kontrollimine toimub igal ajal ainult üks kord. NIZKP võib olla tõhusam ja mugavam kui IZKP, kuna sellel pole nõuet, et tõestaja ja kontrollija oleksid võrgus. Siiski on vaja rohkem arvutusvõimsust kui Interactive Zero Knowledge Proof.
Et täita tõhusa kontrolliprotsessi rolli, mis kaitseb ka andmeid, peab nullteadmisteta tõend olema:
- täielik: Tõendaja aktsepteerib tõendit, kui väide on kehtiv ja mõlemad pooled järgivad protokolli.
- heli: Kui väide on vale, peaks tõendaja veenmine selle tõesuses olema peaaegu võimatu.
- Nullteadmine: Tõendajale ei tohiks teada ega avastada muud teavet peale väite tõesuse.
Nullteadmiste tõendite elemendid
Põhivormis on nullteadmiste tõendil kolm elementi:
- Tunnistaja: Nullteadmiste tõestusega soovib tõestaja tõestada mõne varjatud teabe tundmist. Salajane teave on tõendi "tunnistaja" ja tõestaja oletatav teadmine tunnistajast loob küsimuste komplekti, millele saab vastata ainult teavet tundev pool. Seega alustab tõestaja tõestamisprotsessi, valides juhuslikult küsimuse, arvutades vastuse ja saadades selle kontrollijale.
- väljakutse: kontrollija valib komplektist juhuslikult teise küsimuse ja palub tõestajal sellele vastata.
- Vastus: Tõendaja võtab küsimuse vastu, arvutab vastuse välja ja tagastab selle kontrollijale. Tõendaja vastus võimaldab tõendajal kontrollida, kas ta pääseb tunnistajale juurde. Kontrollija valib esitamiseks rohkem küsimusi, et tõestaja ei arvaks pimesi ega saaks juhuslikult õigeid vastuseid. Korrates seda suhtlust mitu korda, väheneb tõenäosus, et tunnistaja võltsib teadmisi, märkimisväärselt nii, et tõendaja rahuldab.
Nullteadmiste tõendite rakendamine plokiahelas
Toimivuse optimeerimine
Rakenduse koodi käivitatakse väljaspool ahelat või plokiahela võrgu üks sõlm ja plokiahelasse postitatakse ainult tõend selle õige täitmise kohta, et teised osapooled saaksid selle õigsust kontrollida. Näiteks on ZK Rollups, kus tehingud teostatakse väljaspool ahelat ja kõigi tehingute kokkuvõte esitatakse ahelas.
Eratehingud Blockchainis
Tehinguandmed krüpteeritakse ja nende korrektse arvutamise tõendamiseks postitatakse tõend. ZKP-sid kasutatakse ka eratehingutes, mis ei avalda rahalisi andmeid ega vastuvõtja ja saatja teavet. Näiteks on Tornado Cash, detsentraliseeritud, mittehooldusteenus, mis võimaldab kasutajatel teha Ethereumis eratehinguid.
Andmete privaatsus ja turvalisus
Organisatsioonid, mis kontrollivad tundlikke andmeid, nagu pangad ja haiglad, peavad hoidma neile kolmandate isikute juurdepääsu eest. ZKP-d ja Blockchain koos võivad muuta andmetele juurdepääsu võimatuks. ZKP-d võivad aidata failidele ja sisselogimistele mitut turvakihti lisada. Selle tulemusena võivad ZKP-d häkkeritele või manipulaatoritele andmete muutmisel ja hankimisel märkimisväärseid takistusi.
Privaatsete plokiahelatehingute ülekanded:
Privaatsete plokiahelatehingute kõige tähelepanuväärsem probleem on tavapärastes protseduurides ilmnevad arvukad lüngad. ZKP produktiivne integreerimine privaatsete plokiahelatehingutega võib luua tugeva häkkerikindla protsessi.
Messengerid Blockchainis
Kuigi sõnumitoojad peavad tänapäeval krüpteerimislubadust, võib krüptimata plokiahelast saada järgmine suur asi tehnoloogilises maailmas. Krüptimata, kuid tugeva lahenduse garantiiga saavad ZKP-d ja Blockchain koos luua lisandväärtusega sõnumiplatvormi, mis on turvatud kõigile.
Nullteadmiste tõenditel on suur potentsiaal kulude kokkuhoiul ja kasutajate privaatsuse säilitamisel plokiahela ja krüptomaailmas. Lisaks on seda kontseptsiooni lihtne kasutada ja ZKP-sid toetavad tehnoloogiad on samuti suurepäraselt tõhusad. Kasutades uusima põlvkonna ZKP-d, saavad kasutajad tohutult kasu ilma palju raha kulutamata.
LOE ROHKEM: Konsensuse mehhanismid plokiahela maailmas ja nende tähtsus
- SEO-põhise sisu ja PR-levi. Võimenduge juba täna.
- PlatoData.Network Vertikaalne generatiivne Ai. Jõustage ennast. Juurdepääs siia.
- PlatoAiStream. Web3 luure. Täiustatud teadmised. Juurdepääs siia.
- PlatoESG. Autod/elektrisõidukid, Süsinik, CleanTech, Energia, Keskkond päikeseenergia, Jäätmekäitluse. Juurdepääs siia.
- PlatoTervis. Biotehnoloogia ja kliiniliste uuringute luureandmed. Juurdepääs siia.
- ChartPrime. Tõsta oma kauplemismängu ChartPrime'iga kõrgemale. Juurdepääs siia.
- BlockOffsets. Keskkonnakompensatsiooni omandi ajakohastamine. Juurdepääs siia.
- Allikas: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :on
- :on
- :mitte
- : kus
- 1985
- 2013
- 2018
- a
- MEIST
- üle
- aktsepteerima
- Nõustub
- juurdepääs
- Ligipääs
- meetmete
- tegevus
- lisades
- Täiendavad lisad
- Lisaks
- areng
- toetajad
- Liitunud
- Eesmärgid
- Materjal: BPA ja flataatide vaba plastik
- Kõik tehingud
- võimaldab
- Ka
- edasipüüdlik
- Keset
- summa
- an
- ja
- Anonüümsus
- Teine
- vastus
- vastuseid
- mistahes
- kehtima
- Rakendades
- arhitektuur
- OLEME
- Arthur
- AS
- aspektid
- oletus
- At
- rünnak
- tähelepanu
- autorid
- Pangad
- põhineb
- põhiline
- BE
- muutuma
- olnud
- hakkas
- kasu
- vahel
- Suur
- pimesi
- blockchain
- Blockchain võrk
- blockchain süsteem
- Plokkheli tehnoloogia
- plokiahela tehingud
- mõlemad
- mõlemad osapooled
- tõi kaasa
- Budapest
- kuid
- by
- arvutab
- arvutamisel
- CAN
- pildistatud
- Raha
- väljakutseid
- võimalus
- kontrollima
- chicago
- valimine
- nõudma
- nõuete
- kood
- ühendama
- kombineerimine
- kohustus
- ühine
- võrreldes
- täitma
- keeruline
- keerukus
- arvutusjõud
- arvutused
- mõiste
- disain
- mõisted
- Murettekitav
- Murettekitav
- lühike
- Läbi viima
- konfiguratsioon
- Järelikult
- ehitus
- kontrollida
- Mugav
- tavaline
- veenma
- veendunud
- parandada
- kulud
- võiks
- looma
- loodud
- kriitiline
- krüpto
- cryptocurrencies
- krüptograafia
- krüptograafia
- Daniel
- andmed
- Detsentraliseeritud
- annab
- Näidatud
- arenenud
- digitaalne
- do
- Tilgad
- ajal
- lihtne
- ökosüsteemi
- Tõhus
- tõhus
- Elektrooniline
- elemendid
- Eli Ben-Sasson
- tekkinud
- töötavad
- töötab
- võimaldama
- krüpteeritud
- krüpteerimist
- lõppeb
- tagama
- oluline
- looma
- kehtestab
- asutades
- ethereum
- ilmne
- näide
- Välja arvatud
- täidetud
- täitmine
- asjaolu
- vale
- Faile
- finants-
- järeldused
- leiab
- FINTECH
- järgima
- järgneb
- eest
- relvajõud
- vorm
- endine
- pettusega
- tasuta
- sageli
- Alates
- Täida
- funktsioon
- põhiline
- mäng
- Mängud
- Põlvkonnad
- saamine
- Globaalne
- globaalne digitaalne
- suur
- garantii
- häkkerid
- olnud
- Juhtub
- Olema
- aitama
- siin
- varjatud
- hierarhia
- kõrgelt
- ajalugu
- hoidma
- haiglad
- Kuidas
- aga
- HTTPS
- Tohutult
- idee
- Identifitseerimine
- if
- oluline
- võimatu
- in
- Teistes
- Kaasa arvatud
- üha rohkem
- info
- uuendusi
- integratsioon
- terviklikkuse
- suhtlemist
- interaktiivne
- omavahel seotud
- sisse
- sisse
- IP
- küsimustes
- IT
- ITS
- ise
- liitumine
- hoidma
- Teadma
- teadmised
- teatud
- kihid
- võimendav
- rambivalgustus
- piiratud
- lünki
- masinad
- tehtud
- säilitada
- tegema
- Tegemine
- palju
- matemaatiline
- mehhanismid
- mainitud
- sõnumitooja
- meetod
- MIT
- Rahaline
- raha
- rohkem
- tõhusam
- Pealegi
- kõige
- liikumised
- käike
- palju
- mitmekordne
- peab
- vajalik
- võrk
- Uus
- järgmine
- ei
- sõlme
- vabadusekaotuslik
- märkimisväärne
- arvukad
- takistusi
- of
- Pakkumised
- on
- Ahelas
- kunagi
- ONE
- ones
- Internetis
- ainult
- optimaalselt
- or
- Muu
- välja toodud
- Paber
- dokumendid
- eriline
- isikutele
- partei
- arvutid
- Huvitavat
- inimesele
- Platon
- Platoni andmete intelligentsus
- PlatoData
- mängis
- Pant
- Punkt
- rahvastik
- omama
- võimalus
- postitanud
- potentsiaal
- võim
- esitada
- esitatud
- säilitamine
- privaatsus
- era-
- probleeme
- menetlused
- protsess
- produktiivne
- projekt
- lubadus
- paljutõotav
- tõend
- tõendid
- protokoll
- protokollid
- Tõesta
- tõestatud
- avaldatud
- kvantifitseerib
- kogus
- küsimus
- Küsimused
- Juhuslikult valitud
- hiljuti
- hiljuti
- vähendama
- kohta
- vabastatud
- jääma
- jäi
- jäänused
- esindama
- esindab
- nõudma
- nõutav
- nõue
- Vajab
- Teadlased
- Vahendid
- vastus
- vastutav
- kaasa
- Tulu
- avalduma
- Revealed
- paljastav
- Ülestõusnud
- jõuline
- Roll
- Rullikud
- säästmine
- Skaalautuvus
- skaalautuvia
- ketendamine
- kava
- ulatus
- Saladus
- kindlustama
- tagatud
- kindlalt
- turvalisus
- saatja
- saatmine
- tundlik
- Seeria
- teenus
- komplekt
- jagamine
- peaks
- märkimisväärne
- märgatavalt
- lihtsam
- üheaegselt
- alates
- ühekordne
- lahendus
- mõned
- midagi
- konkreetse
- Kulutused
- standardite
- algab
- väljavõte
- struktuur
- esitatud
- selline
- KOKKUVÕTE
- toetama
- vastuvõtlik
- süsteem
- süsteemid
- tehnikat
- tehnoloogiline
- Tehnoloogiad
- Tehnoloogia
- tingimused
- kui
- et
- .
- teave
- oma
- Neile
- teooria
- Need
- nad
- asi
- kolmanda osapoole
- see
- kolm
- Seega
- aeg
- korda
- et
- kokku
- tornaado
- Tornaado sularaha
- tehing
- Tehingud
- ülekandeid
- läbipaistev
- tõsi
- Usaldatud
- Tõde
- kaks
- liigid
- Ülikoolid
- kuni
- kasutama
- Kasutatud
- Kasutaja
- Kasutajad
- KINNITAGE
- valideerimine
- väärtus
- kontrollitav
- Kontrollimine
- kontrollima
- kontrollimine
- nägemus
- kohta
- Hääletamine
- tahab
- oli
- Tee..
- millal
- kas
- mis
- kuigi
- WHO
- will
- koos
- ilma
- tunnistaja
- sõnad
- maailm
- kirjutas
- veel
- sephyrnet
- null
- null-teadmised
- null teadmiste tõestus
- null teadmiste tõestusmaterjalid
- ZK
- ZK-põhine
- zk-SNARKS