Zero-Knowledge Proofs (ZKP) ir aizraujošs un spēcīgs kriptogrāfijas jēdziens, kas ļauj kādam pierādīt, ka viņš kaut ko zina, neatklājot to, ko viņi zina. Tas nozīmē, ka varat pārbaudīt, vai kādam ir pareiza informācija, neatklājot nekādu informāciju par šo informāciju. Šim īpašumam ir daudz aizraujošu lietojumprogrammu, sākot no drošas autentifikācijas līdz privātiem darījumiem blokķēdē.

Šajā ziņojumā mēs izpētīsim nulles zināšanu pierādījumu pasauli, tostarp dažādu veidu ZKP, piemēram, ZK-Snarks, ZK-Starks un jaunāko un aizraujošāko izstrādi, PLONK ZKP sistēmu. Mēs arī sniegsim viegli saprotamus piemērus no reālās dzīves, lai palīdzētu jums saprast šos jēdzienus pat tad, ja jums ir pieci gadi.

Kas ir nulles zināšanu pierādījumi?

Zero-Knowledge Proofs (ZKP) ir kriptogrāfijas paņēmiens, kas ļauj vienai pusei, pārbaudītājam, pārliecināt otru pusi, pārbaudītāju, ka tā zina kādu informāciju, neatklājot šo informāciju. Citiem vārdiem sakot, pierādītājs var pierādīt, ka viņam ir noteikta informācija, neatklājot, kas šī ir.

ZKP ir spēcīgi kriptogrāfijas rīki, jo tie nodrošina drošu autentifikāciju, identifikāciju un datu koplietošanu, neatklājot nekādu sensitīvu informāciju. Tie ļauj pusēm pārbaudīt informāciju un darījumus, neatsakoties no privātuma.

ZK-Snarks

ZK-Snarks ir nulles zināšanu pierādījuma veids, ko plaši izmanto blokķēdes tehnoloģijā, jo īpaši blokķēdēs, kas vērstas uz privātumu, piemēram, Zcash. ZK-Snarks apzīmē Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

Lai saprastu ZK-Snarks, iedomāsimies scenāriju, kurā jums ir slepens numurs un jūs vēlaties kādam pierādīt, ka zināt numuru, neatklājot, kas tas ir. ZK-Snarks ļaus jums to izdarīt, izveidojot pierādījumu, kas pārliecinātu otru personu, ka jūs zināt numuru, neatklājot pašu numuru.

ZK-Starks

ZK-Starks ir cita veida nulles zināšanu pierādījums, kas ir līdzīgs ZK-Snarks, taču tam ir dažas atšķirības. ZK-Starks apzīmē Zero-Knowledge Scalable Transparent Argument of Knowledge.

Lai saprastu ZK-Starks, iedomāsimies scenāriju, kurā jums ir slepena frāze un jūs vēlaties kādam pierādīt, ka zināt šo frāzi, neatklājot pašu frāzi. ZK-Starks ļaus jums to izdarīt, izveidojot pierādījumu, kas pārliecinātu otru personu, ka jūs zināt frāzi, neatklājot pašu frāzi.

PLONKS

PLONK ir jaunākā un aizraujošākā attīstība nulles zināšanu pierādījumu pasaulē. PLONK apzīmē uz polinomu balstītu, lineāri sarežģītu, neinteraktīvu un zināšanu drošu.

PLONK ir nulles zināšanu pierādījuma veids, kas ir vēl jaudīgāks un efektīvāks nekā ZK-Snarks un ZK-Starks. Tam ir daudz lietojumprogrammu kriptogrāfijā, tostarp privātos darījumos, autentifikācijā un datu koplietošanā.

Lai saprastu PLONK, iedomāsimies scenāriju, kurā jums ir slepens ziņojums un jūs vēlaties kādam pierādīt, ka zināt ziņojumu, neatklājot pašu ziņojumu. PLONK ļaus jums to izdarīt, izveidojot pierādījumu, kas pārliecinātu otru personu, ka jūs zināt ziņojumu, neatklājot pašu ziņojumu.

Secinājums

Nulles zināšanu pierādījumi ir spēcīgs kriptogrāfijas rīks, kas ļauj pusēm pārbaudīt informāciju un darījumus, neatklājot nekādu sensitīvu informāciju. ZK-Snarks, ZK-Starks un PLONK ir dažāda veida nulles zināšanu pierādījumi, kuriem ir dažādi pielietojumi blokķēdes nozarē un ārpus tās.