Núll-þekking sönnun

Núllþekking sönnun, stundum einnig nefnd ZK siðareglur, er sannprófunaraðferð sem á sér stað á milli sannprófanda og sannprófanda. Í núllþekkingarsönnunarkerfi er sannprófandinn fær um að sanna fyrir sannprófandanum að þeir hafi þekkingu á tilteknum upplýsingum (eins og lausn stærðfræðilegrar jöfnu) án þess að sýna upplýsingarnar sjálfar. Þessi sönnunarkerfi geta verið notuð af nútíma dulritunarfræðingum til að veita aukið næði og öryggi.

Hugmyndinni um núll-þekkingu sönnun var fyrst lýst í 1985 MIT grein, gefin út af Shafi Goldwasser og Silvio Micali. Þeir sýndu fram á að hægt væri að sanna einhverja eiginleika númers án þess að gefa upp númerið eða frekari upplýsingar um það. Þessi grein kynnti einnig þá stærðfræðilega mikilvægu niðurstöðu að samskipti milli sannprófanda og sannprófanda gætu dregið úr magni upplýsinga sem þarf til að sanna tiltekna setningu.

ZK sönnun verður að uppfylla tvær grunnkröfur sem kallast heilleiki og traustur. Með fullkomleika er átt við getu sannprófandans til að sýna fram á þekkingu á viðkomandi upplýsingum með mikilli líklegri nákvæmni. Til að sönnunin sé traust verður sannprófandinn að geta áreiðanlega ákvarðað hvort sannprófandinn hafi í raun og veru yfir upplýsingum. Að lokum, til þess að vera raunverulega núllþekking, verður sönnunin að ná bæði heilleika og trausti án þess að umræddar upplýsingar séu nokkurn tíma sendar milli sannprófanda og sannprófanda.

Núllþekkingarsönnun eru aðallega notuð fyrir forrit þar sem næði og öryggi eru nauðsynleg. Auðkenningarkerfi, til dæmis, geta notað ZK sönnunargögn til að sannreyna skilríki eða auðkenni án þess að birta þau beint. Sem einfalt dæmi er hægt að nota það til að sannreyna að einstaklingur hafi lykilorð að tölvukerfi án þess að þurfa að gefa upp hvað lykilorðið er.

Eitt áberandi raunveruleikatilvik um sönnun fyrir núllþekkingu er að finna í heimi dulritunargjaldmiðils og blockchain tækni. Með því að nota tegund sönnunar sem kallast núllþekking Succinct Non-gagnvirkt þekkingarrök (zk-SNARK), geta dulritunargjaldmiðlar eins og Zcash boðið upp á blockchain viðskipti með auknu næði til notenda sinna. Ethereum er einnig að vinna með zk-SNARK sannanir síðan Byzantium uppfærsla þess árið 2017.