Zk-SNARK

Zk-SNARK дегеніміз не?

Zk-SNARK – бұл «білімнің нөлдік білімінің интерактивті емес аргументі» дегенді білдіретін аббревиатура. Zk-SNARK – бұл бір тарапқа белгілі бір ақпаратқа ие екендігін дәлелдеуге мүмкіндік беретін криптографиялық дәлел. Бұл дәлел операция жасалғанға дейін жасалған құпия кілт арқылы мүмкін болды. Ол Zcash криптовалютасына арналған протокол бөлігі ретінде қолданылады.

Негізгі өнімдер

  • Zk-SNARK шифрлауда қолданылатын нөлдік білімді дәлелдеу протоколы және «Нөлдік білімнің интерактивті емес білімінің нөлдік білімі» дегенді білдіретін қысқартылған сөз.
  • Бұл дәлел алғаш рет 1980-ші жылдардың соңында жасалды және енгізілді, ал қазір криптовалюта Zcash-те Bitcoin типті блокчейндермен анонимділік мәселесін шешу үшін қолданылады.
  • Zk-SNARK дәлелдемелері қауіпсіздікке тән ақаулық ретінде бағаланған бастапқы «сенім жүйесін» орнатуға негізделген.




Zk-SNARK туралы түсінік

Криптовалюта қауымдастығының көптеген бастапқы мүшелері үшін, ең алдымен Bitcoin қоғамдастығы үшін құпиялылық криптовалютаның мақсаты мен ерекшелігі болды. Алайда, криптовалютаның электронды валюта мен цифрлық транзакциялардың тұтастығына кепілдік беретін «сенімсіз» жүйені құру қажеттілігін ескере отырып, құпиялылық әрқашан екінші ретті мәселе болды.

2010 жылдардың басында адамдарды қайта анықтау мүмкін емес, бірақ салыстырмалы түрде оңай екенін дәлелдеді.

Bitcoin сияқты кейбір бастапқы криптовалюталардың құпиялылығының жоқтығына байланысты, әзірлеушілер құпиялылыққа бағытталған монеталармен жұмыс істей бастады. Ең көрнекті осы болды Zcash З.К.-SNARKs ретінде белгілі технологиясы бойынша қолдады.


Білімнің нөлдік дәлелі

А З.К.-Snark ( «білім нөлдік білім мен шағын көлемдi емес интерактивті дәлел») ретінде белгілі тұжырымдамасын пайдаланады «нөлдік-білім дәлелдеу.» Бұл дәлелдердің негізіндегі идея алғаш рет 1980 жылдары дамыған. Қарапайым тілмен айтқанда, нөлдік білім – бұл мәміле жасасқан екі тараптың әрқайсысы бір-біріне өздерінің белгілі бір мәліметтер жиынтығын тексере алатын, сонымен бірге бұл ақпараттың не екенін ашпайтын жағдай.

Көптеген басқа дәлелдеу түрлері үшін екі тараптың кем дегенде біреуі барлық ақпаратқа қол жеткізуі керек. Дәстүрлі дәлелдеуді желілік желіге кіру үшін қолданылатын парольмен салыстыруға болады. Пайдаланушы парольді жібереді, ал желі өзі парольдің мазмұнын тексеріп, оның дұрыстығын тексереді. Ол үшін желіде парольдің мазмұнына қол жетімділік болуы керек.

Бұл жағдайдың білімді дәлелдеудің нұсқасы пайдаланушының желіге (математикалық дәлелдеу арқылы) парольдің өзін көрсетпей-ақ дұрыс парольге ие екендігін көрсетуден тұрады. Бұл жағдайда құпиялылық пен қауіпсіздіктің артықшылықтары айқын: егер желіде құпия сөзді тексеру мақсатында сақтау болмаса, құпия сөзді ұрлау мүмкін емес.

Zk-SNARKS-тің математикалық негізі күрделі. Осыған қарамастан, осы типтегі дәлелдер бір тарапқа тек белгілі бір ақпараттың бар екендігін ғана емес, сонымен бірге қаралып отырған тараптың бұл ақпараттан хабардар екендігін көрсетуге мүмкіндік береді. Zcash жағдайында zk-SNARK бірден тексерілуі мүмкін, ал протокол провайдер мен тексеруші арасында өзара әрекеттесуді қажет етпейді.

Zk-SNARK сыны

Әрине, zk-SNARK-қа қатысты алаңдаушылық бар. Мысалы, егер біреу дәлелдеу хаттамасының параметрлерін жасау үшін пайдаланылған жеке кілтке қол жеткізе алса, олар тексерушілерге жарамды болып көрінетін жалған дәлелдер жасай алады. Бұл адамға жалған ақша жасау арқылы Zcash жаңа белгілерін жасауға мүмкіндік береді. Бұған жол бермеу үшін Zcash дәлелдеуші протоколдарды өңдеп, бірнеше тарапқа тарататын етіп жасалды.

Zcash-ді дәлелдеу процесінің құрылысы жалған дәлелдер арқылы токендерді қолдан жасау мүмкіндігін азайтуға мүмкіндік беретін жолмен аяқталғанымен, криптовалютаға қатысты тағы бір проблема бар. Zcash таңбалауыштың алғашқы бірнеше жылында жасалған барлық блоктардан алынатын 20% «салық» есебінен құрылды. Бұл салық «құрылтайшылар салығы» деп аталады және ол криптовалютаның әзірлеушілеріне өтемақы төлеу үшін қолданылады.

Сыншылардың пікірінше, құрылтайшылар жүйенің осы қырын Zcash жетондарының шексіз санын жасау үшін пайдалана алады, бұл белгілердің бар екендігі туралы ешкім білмейді. Осы себепті осы уақытта Zcash таңбалауыштарының нақты санын білу толық мүмкін емес.

2019 жылдан бастап кейбір әзірлеушілер zk-SNARK-ті сенімді қондырғыларды алып тастау арқылы жетілдіріп жатыр. Suterusu деп аталатын команда zK-ConSNARK деп аталатын жүйені ойлап тапты, олар сенімді қондырғыларсыз жұмыс істей алады, Bitcoin сияқты негізгі блок -тізбектердің құпиялылық қорғанысын қамтамасыз ете алады және кез-келген криптовалюта үшін ең төменгі инфляцияға ие.