ZK-дәлел (zero-knowledge proof, «білімсіз дәлел») — бір фактінің шындығын, оның артындағы деректерді ашпай-ақ дәлелдеу тәсілі. Клиенттің 18-ге толғанын паспортын көрсетпей дәлелдеу. Қаражаттың заңды көзден келгенін бүкіл транзакция тізбегін жарияламай дәлелдеу. Айырбас пункті үшін бұл оқулықтағы абстрактілі криптография емес, комплаенс пен клиент құпиялылығының үйлесуін өзгертіп жатқан нақты құрал.
«Білімсіз дәлел» деген сөз нені білдіреді
Мағынасы қарапайым: бір тарап тұжырымды дәлелдейді, екіншісі оны артық ештеңе көрмей тексереді.
Есіктегі күзетші жеке куәлікті сұрамай, банктің QR-кодын сканерлейтін барды елестетіңіз — онда тек бір ғана жазба тұр: «бұл адам кәмелетке толған». Туған күні, аты-жөні, құжат нөмірі — бәрі жасырын қалады. ZK дәл осылай жұмыс істейді: математикалық дәлел тұжырымды растайды, бірақ ол шығарылған бастапқы деректерді ашпайды.
Мұның артында zk-SNARK пен zk-STARK сияқты криптографиялық схемалар тұр — ішкі құрылымы күрделі, бірақ идеясы қарапайым: дәлел адамға деген сенімді математикаға деген сенімге алмастырады.
Бұл іс жүзінде қалай жұмыс істейді
Іс жүзінде бәрі үш қадамға саяды: пайдаланушы дәлелді өз құрылғысында жергілікті түрде жасайды, оны желіге жібереді, ал желі бастапқы деректерді мүлдем көрместен оны тексереді.
zkSync, Starknet немесе Polygon zkEVM сияқты ZK-роллаптар жақсы мысал бола алады. Олар Ethereum-дағы мыңдаған транзакцияны бір дәлелге сығып, оны негізгі желіге тексеруге жібереді. Дайын дәлелді тексеру бірнеше секундты алады. Әр транзакцияны жеке-жеке тексеру одан әлдеқайда көп уақыт пен блок кеңістігін жейтін еді.
Zcash басқа жолды таңдады: онда ZK аударым сомасы мен мекенжайларын жасырады, ал транзакцияның өзі желі үшін тексерілетін күйде қалады.
Бұл айырбас пунктіне неге маңызды
Мұндағы қызығушылық абстрактілі емес, таза практикалық: сақталатын және берілетін жеке деректер аз болған сайын, ағып кету қаупі де, оларды қорғауға жұмсалатын күш те азаяды.
zkKYC тұжырымдамасы дәл осы бағытта дамып келеді: клиент провайдерде бір рет верификациядан өтеді, ал айырбас пунктіне немесе биржаға толық құжатты емес, «верификация өтті, лимит асырылмады, юрисдикция қара тізімде жоқ» дегенді растайтын дәлелді көрсетеді. Бастапқы деректер оныншы рет көшірілмейді, ал олардың ағып кету қаупі клиент оларды көрсеткен қызметтер санына қарай көбеймейді.
Бұл реттеушіден жасырынудың тәсілі емес. Юрисдикциялардың басым бөлігінде айырбас пункті заңды сұрау бойынша деректерді ашу мүмкіндігін сақтауы тиіс — ZK бөгде адамдардың әдепкі бойынша нені көретінін өзгертеді, ал құқық қорғау органдары қажет кезде нені көре алатынын емес.
ZK крипта әлемінде қазірдің өзінде қайда қолданылады
Гипотетикалық емес, нақты іске асырылған жобалардың тізімі қалағаннан қысқарақ, бірақ жыл сайын өсіп келеді.
- Zcash — 2016 жылдан бері «қорғалған» (shielded) транзакциялар.
- zkSync, Starknet, Polygon zkEVM — ZK-роллаптар арқылы Ethereum-ды масштабтау.
- Proof-of-personhood жобалары — жеке басты ашпай-ақ «мен бірегей тірі адаммын» дегенді дәлелдеу.
- Кейбір комплаенс-провайдерлердің zkKYC пилоттық схемалары, олар әлі салалық стандартқа айналған жоқ.
Айырбас пункті үшін практикалық қорытынды біреу: бұл технология енді экспериментальды ойыншық емес, бірақ бір батырмамен қосылатын дайын функция да емес.
Шектеулер мен тәуекелдер: ZK нені шешпейді
ZK деректерді шындыққа жақындатпайды — ол оларды жасырынырақ етеді. Дәлелге жалған ақпарат салынса, дәлелдің өзі оны түзетпейді: кіріс қоқыс болса, шығыс та қоқыс болады.
Одан басқа, жердегі шектеулер де бар. Дәлел құрастыру нақты есептеу қуатын талап етеді — әлсіз құрылғыда бұл байқалатын кідіріске әкеледі. Дәлел жүйесінің өзінде схема қатесі болуы мүмкін — мәні бойынша бұл математикалық кепілдіктегі саңылау, әрі мұндай қателерді жетілген жобалардан да кейін тауып жатады. Ал көптеген елдерде заңнама ZK арқылы верификацияланған комплаенстің AML талаптарына қалай сәйкес келетінін әлі нақты сипаттамаған — заңгерлерге ұқсастық бойынша пайымдауға тура келеді.
Сондықтан ZK-ны құпиялылық пен комплаенс мәселесін бірден шешетін дайын шешім деп есептеу әлі ерте.
Қорытынды
ZK-дәлелдер нақты әрі тар мәселені шешеді: қажеттіден артық ештеңе ашпай факт дәлелдеу. Бұл сиқырлы таяқша да, ойластырылған қауіпсіздік архитектурасының орнын басатын нәрсе де емес — көбіне мультисиг немесе транзакцияларды мониторингтеу сияқты құралдар қатарындағы тағы бір құрал.
Жаңадан бастап жатқан немесе платформасын жаңартып жатқан айырбас пункті үшін ZK қолдауын нөлден әзірлеу қымбат әрі ұзақ. Дайын инфрақұрылымға сүйеніп, бизнес өскен сайын функционалды біртіндеп кеңейткен әлдеқайда оңай — мысалы, iEXExchanger платформасындағы дайын қозғалтқыштан бастап, комплаенс пен құпиялылықтың неғұрлым күрделі механизмдерін кезең-кезеңімен қосу арқылы.
