И во реалниот живот и во дигиталниот свет, често сакаме да им докажуваме нешта на другите. Пред да влезат во деловна зграда, вработените обично обезбедуваат некаков вид лична карта пред да влезат внатре.
Кога корисниците се обидуваат да се логираат на апликација како што се Фејсбук или Твитер, овие услуги мора прво да побараат од корисникот да се најави со лозинка и повремено се испраќа еднократна лозинка (OTP) на нивниот мобилен уред.
Негативна страна на обезбедувањето докази е што често даваме други видови информации. Обезбедувањето лозинка на веб-локација сепак значи дека самата веб-локација чува копија од хашираната лозинка на своите сервери. Ако некој го хакира скенерот за идентификација на вработени во канцелариската зграда, можеби ќе може да ги добие приватните клучеви на сите.
Доказите со нула знаење или ZKP обезбедуваат начин за потврдување на идентитет или трансакција без да мора да се обезбедат дополнителни информации. Поради неговите апликации во криптографијата, ZKP се прилагодени од блокаџии да креирате безбедни и скалабилни протоколи за валидација.
Кои се доказите со нула знаење?
Доказите со нула знаење за прв пат беа предложени од истражувачите на МИТ Силвио Микали, Чарлс Ракоф и Шафи Голдвасер во 1985 година во нивниот труд. „Комплексноста на знаењето на интерактивните доказни системи“
Овој труд го воведе концептот на сложеност на знаењето. Ова се однесува на количината на знаење за доказ пренесен од проверувачот до проверувачот. Доказите со нула знаење имаат за цел да и овозможат на страната да докаже дека одредена изјава е вистинита за друга страна без да мора да открие други информации.
ZKPs може да се користат како безбедна алтернатива на тековните системи за автентикација, а исто така може да се додадат во протоколите на блокчејн за да ги задржат трансакциите приватни.
Како функционираат ZKPs?
Пример од реалниот свет
За да илустрираме како функционираат доказите со нула знаење, ајде да погледнеме апстрактен пример на ZKP.
Да речеме дека имате пријател кој е црвено-зелен далтонист. Имате со себе две идентични топчиња кои се разликуваат само по боја: една црвена и една зелена. На вашиот пријател тие изгледаат идентично, но како личност без слепило, лесно можете да ги разликувате.
Дали е можно да му докажете на пријателот дека се со различна боја без да откриете која топка е црвена или зелена?
Всушност, постои начин да се докаже ова без да се откриваат боите на топчињата. Прво, мора да му дозволите на вашиот пријател да ги стави двете топки зад грб и да му кажете да покаже која било топка и повторно да ја сокрие. Следно, му кажувате на вашиот пријател дека има избор повторно да ја покаже истата топка или да ја префрли со другата.
Секогаш кога ќе се покаже нова топка, можете да му кажете дали ја сменил топката или не. Ако продолжите да го погодувате вистинскиот повик, станува сè поверојатно дека топчињата се различно обоени. Вашиот пријател сега треба да биде убеден дека топчињата се различно обоени без да мора да му кажувате кои топчиња имаат каква боја.
практични апликации
Повеќето практични примери на докази со нула знаење спаѓаат во два вида.
Прво, ZKP може да се користат при дизајнирање протоколи. Можеме да обезбедиме различни страни да не можат да мамат или да го искористат протоколот. Второ, ZKP може да се користат за идентификација.
На пример, можеме да користиме ZKP за безбедно да се најавиме на веб-апликација без да мора да ја откриеме самата лозинка.
Ајде да погледнеме неколку примери за тоа како можеме да користиме докази со нула знаење.
Е-гласање
Една најчесто дискутирана примена на ZKP е нивната можна улога во онлајн гласањето. Да речеме дека имаме претстоен референдум на кој корисниците ќе можат да гласаат за предложената политика. На секој избирач со право на глас му е дозволено да гласа или 1 или 0 на гласачкото ливче.
Со користење на ЗКП, гласачите можат да го докажат своето право да гласаат без да го откријат својот идентитет. Ова осигурува дека секој глас ќе биде навистина анонимен. Ќе се користи и дополнителен ZKP за да се докаже дека гласот на одреден корисник е дел од конечната пресметка на гласови.
Во однос на самата содржина на гласачките ливчиња, системот за гласање може да генерира и доказ со нула знаење дека секое гласачко ливче содржи или 1 или 0. Ова се постигнува без да се знае содржината на самото гласачко ливче.
Приватност на блокчејн
Блокчејновите, како што се Биткоин и Етереум, природно не поддржуваат приватни трансакции. Сè додека вашиот биткоин паричник е јавен, секој може да оди кај истражувач на блокови, како на пр Блокстрим да ги видите сите трансакции од кои е дел паричникот.
Во меѓувреме, користењето на услуга како банка или платежни услуги како што се Cash App или Venmo ви дава можност приватно да вршите трансакции. Оваа погодност, сепак, доаѓа по цена на откривање на вашите информации на централизираната услуга.
Можеме да ја комбинираме анонимноста со децентрализацијата со додавање на ZKP на протоколот за блокчејн. Криптовалутите како ZCash користат ZKP за да создадат приватни трансакции кои им овозможуваат на имателите на монети да ја задржат својата анонимност. Неколку од овие криптовалути користат тип на ZKP познат како zk-SNARK.
Овие ZKP не бараат интеракција помеѓу проверувачот и проверувачот.
Собирања со нула знаење
ZK-rollups се решение за приспособливост што овозможува веднаш да се проверат трансакциите надвор од синџирот и со минимални надоместоци за гас. Тие се начин да се комбинираат голем број трансакции од Layer 2 и да се достават на протоколот Layer 1.
Покрај обезбедувањето приватност, ZKP овозможува и скалирање на сложени системи. Блокчејн протоколите можат да користат ZKP за да докажат дека корисниците ги подмириле вистинските трансакции, имаат соодветна рамнотежа итн. Овие сигурни, но скалабилни решенија се можни само преку математички докази направени надвор од синџирот во ZKP.
Протоколите како што е Loopring користат докази со нула знаење за да помогнат во процесот на трансакции надвор од синџирот без да се загрозува безбедноста.
Придобивки од доказите со нула знаење
- ZKP-ите ги заменуваат помалку сигурните форми на автентикација како што се PIN-кодовите или картичките за идентификација
- ZKPS ја зголемува приспособливоста на блокчејновите
- Имплементацијата на ZKP бара едноставни методи за шифрирање
- Употребата на ZKPS може да ги направи системите побезбедни со тоа што нема да бара непотребни информации да се складираат во системот.
Заклучок
Приватноста на податоците е веќе главен проблем и во централизираните и во децентрализираните системи. Доказите со нула знаење обезбедуваат начин за различни страни да ги докажат или потврдуваат трансакциите и идентитетите без да мора да ги откријат споменатите трансакции или идентитети.
Како што технологијата на блокчејн станува се пошироко употребувана, усвојувањето на ZKP за безбедно ракување со верификацијата ќе биде клучно за загриженоста за приспособливост.
Оставете Одговор