Əsas nəticələr
Sıfır-bilikli sübut (ZKP) kriptoqrafik bir üsuldur; bu üsul bir tərəfə bəlli bir iddianın doğru olduğunu, əsas məlumatları açıqlamadan sübut etməyə imkan verir.
ZKP-lər blokçeyndə məxfilik və təhlükəsizliyi artırır: həssas məlumatlar, məsələn cüzdan ünvanları və ya məbləğlər üzə çıxarılmadan, əməliyyatların yoxlanılmasına imkan verir.
zk-SNARK-lar və zk-STARK-lar bu gün istifadə olunan sıfır-bilikli sübutların (zero-knowledge proofs) iki əsas növüdür; sürət, sübutun ölçüsü və etibarlı ilkin quraşdırma ehtiyacı ilə bağlı fərqli güzəştlərə malikdir.
zk-rolluplar ZKP-lərdən istifadə edərək çoxlu sayda əməliyyatı onlayn (off-chain) toplu şəkildə emal edir və on-çeyndə (on-chain) tək bir kriptoqrafik sübut təqdim edir; bu, ötürücülüyü artırır və komissiyaları azaldır.
Real dünyada ZKP tətbiqlərinə məxfi əməliyyatlar, şəxsiyyətin yoxlanması, mərkəzləşdirilməmiş maliyyə (DeFi) və çarpaz-zəncir uyğunluğu daxildir.
Giriş
Blokçeynlər şəffaflıq üzərində qurulur. Açıq şəbəkədəki hər bir əməliyyat baxmaq istəyən hər kəsə görünür. Bu şəffaflıq etimad yaradır, amma həm də fundamental bir gərginlik doğurur: bəzən əsas məlumatı ifşa etmədən nəyisə yoxlamaq lazımdır.
Sıfır bilik sübutları bu problemi həll edir. Onlar prover adlanan bir tərəfə, verifier adlanan başqa bir tərəfə, əsas məlumatdan əlavə heç bir məlumatı açıqlamadan belə bir iddianın doğru olduğunu inandırmağa imkan verir. Ad birbaşa ideyadan gəlir: verifier əsas verilənlər haqqında sıfır bilik əldə edir, amma iddianın etibarlı olduğunu təsdiqləyə bilir.
ZKP-lər 1980-ci illərdən bəri kriptoqrafiyada nəzəri anlayış olub, amma blokçeynlərdə praktik tətbiqlər yalnız 2010-cu illərdə mümkün oldu. O vaxtdan bəri bu texnologiya sahədə ən aktiv inkişaf edənlərdən birinə çevrilib; məxfilik sikkələrinin, Layer 2 miqyaslama həllərinin və şəxsiyyət sistemlərinin təməlini təşkil edir.
Sıfır bilik sübutları necə işləyir
Mahiyyətcə, sıfır bilik sübutu riyazi protokoldur: prover yoxlayıcının yoxlaya biləcəyi şərtlər toplusunu ödəyən bir sübut yaradır. Verifier orijinal giriş məlumatını tərsinə analiz etmədən sübutun düzgün olduğunu təsdiqləyə bilər.
Klassik bənzətmə ortada kilidli qapısı olan tuneldir. Qapının kodunu bilən prover bir tərəfdən ardıcıl olaraq daxil olub digər tərəfdən çıxmağı bacarır. Xaricdən baxan verifier isə kodu heç vaxt öyrənmədən sübutu görür.
ZK-sübutun etibarlı olması üçün üç xüsusiyyəti ödəməlidir. Tamlıq (completeness) deməkdir ki, dürüst prover həmişə verifieri inandıra bilər. Səslik (soundness) deməkdir ki, dürüstsüz prover yanlış iddianı inandırıcı kimi təqdim edə bilməz (çox kiçik, nəzərəçarpmaz ehtimal istisna olmaqla). Sıfır bilik (zero-knowledge) deməkdir ki, verifier iddianın doğru olub-olmamasından başqa heç nə öyrənmir.
Praktikada, əksər blokçeyn ZK-sübutları qeyri-interaktivdir: prover sübutu tək bir məlumat parçası kimi yaradır və verifier hər hansı qarşılıqlı “geri-gəl” olmadan onu yoxlayır. Bu, ZK-sübutları on-çeyn smart kontraktlarda və Layer 2 protokollarda istifadəyə yararlı edir.
zk-SNARK-lar və zk-STARK-lar
Blokçeyndə ən geniş istifadə olunan sıfır bilik sübutu növləri zk-SNARK-lar və zk-STARK-lardır. Hər ikisi ofçeyn hesablamanın on-çeyn yoxlanmasına imkan verir, amma texniki yanaşmalarına görə fərqlənirlər.
zk-SNARK-lar
Sıfır bilik qısa (succinct) qeyri-interaktiv bilik arqumenti (zk-SNARK) sübutları kompakt və tez yoxlanılır; bu səbəbdən Zcash-in məxfi əməliyyatları və Ethereum smart kontrakt yoxlanması kimi erkən ZKP tətbiqlərində populyarlaşdı.
Əsas çatışmazlıq budur ki, zk-SNARK-lar etibarlı quraşdırma tələb edir: kriptoqrafik parametrlər toplusunun yaradıldığı bir “sənəd mərasimi” (ceremony). Quraşdırma pozularsa, hücumçu saxta sübutlar yarada bilər. Bu riski azaltmaq üçün bir çox layihə çoxtərəfli hesablamalar (multi-party computation) mərasimlərindən istifadə edir.
zk-STARK-lar
Sıfır bilikli miqyaslana bilən şəffaf bilik arqumenti (zk-STARK) sübutları etibarlı quraşdırma tələb etmir; bu da etibarlı-quraşdırma riskini aradan qaldırır. Onlar həmçinin zk-SNARK-lardan daha çox kvant hesablaması (quantum computing) hücumlarına davamlı sayılır. Ticarət-off (qarşılığında) odur ki, zk-STARK sübutları daha böyük ölçüdədir; bu da on-çeyn yoxlanma xərclərinin daha yüksək ola biləcəyi deməkdir. StarkNet miqyas səviyyəsində zk-STARK-lardan istifadə edən diqqətəlayiq istehsal şəbəkəsidir.
zk-Rollup-lar və blokçeyn miqyaslanması
ZK-sübutların ən əhəmiyyətli tətbiqlərindən biri zk-rollup-lardır: blokçeynlər üçün 2-ci səviyyə (Layer 2) miqyaslama həllidir. zk-rollup yüzlərlə əməliyyatı ofçeyn emal edir, onları bir toplu (batch) şəklində birləşdirir və həmin əməliyyatların hamısının etibarlı olduğunu sübut etmək üçün tək bir ZKP-ni əsas zəncirə göndərir.
Bu yanaşma, əsas qatın təhlükəsizliyini miras alaraq əməliyyat məhsuldarlığını kəskin artıra bilər. Əsas alternativ optimistic rollup-lardır: əməliyyatlar çağırış (challenge) edilmədiyi müddətcə etibarlı sayılır və bu, geri çəkilmə gecikməsi yaradır. zk-rollup-larda belə gecikmə yoxdur, çünki etibarlılıq yazı (posting) anında kriptoqrafik şəkildə sübut olunur.
Ethereum-un 2024-cü ilin martında aktivləşdirilən EIP-4844 təklifi Layer 1 və Layer 2 rollup məlumatları üçün ayrılmış məlumat saxlama qatı kimi “blob-lar”ı təqdim etdi. Bu, on-çeynə ZKP batch-larını yerləşdirmə xərclərini xeyli azaltdı və nəticədə zk-rollup-lar son istifadəçilər üçün daha ucuz oldu. zkSync Era, Polygon zkEVM, Scroll və Taiko daxil olmaqla bir neçə zkEVM şəbəkəsi artıq istehsalda aktivdir.
sıfır bilik sübutları üçün istifadə ssenariləri
Şəxsi (privat) əməliyyatlar
ZK-sübutlar göndəricinin ünvanlarını, alıcının ünvanlarını və əməliyyat məbləğlərini açıq blokçeynlərdə gizlədə bilər. Zcash bunu zk-SNARK-lardan istifadə edən qorunan (shielded) əməliyyatlarla pioner etmişdir; bu, istifadəçilərə maliyyə fəaliyyətlərini ictimai ledger-ə göstərmədən əməliyyat aparmağa imkan verir.
Rəqəmsal şəxsiyyətin yoxlanması
ZK-sübutlar istifadəçiyə 18 yaşdan yuxarı olmaq və ya etibarlı səlahiyyətə (credential) malik olmaq kimi bir tələbi ödədiyini, əsas sənədləri açmadan sübut etməyə imkan verir. Bunun tətbiqləri mərkəzləşdirilməmiş şəxsiyyət sistemlərində, KYC uyğunluğunda və giriş nəzarətindədir.
DeFi məxfiliyi
Mərkəzləşdirilməmiş maliyyə (DeFi) protokolları ZK-sübutlardan istifadə edərək məxfi kreditləşmə, borclanma və ticarətə şərait yarada bilər. İstifadəçilər kifayət qədər girovun olduğunu və ya kreditləşmə meyarlarını ödədiyini tam pul kisəsi tarixçəsini və ya balansını ifşa etmədən sübut edə bilərlər.
Çarpaz-zəncir (cross-chain) uyğunluğu
ZK-sübutlar tam node tələb etmədən bir blokçeynin vəziyyətini digərinə doğrulda bilər. Bu, etibarlı vasitəçilərə güvənmək əvəzinə kriptoqrafik təhlükəsizliyi miras alan çarpaz-zəncir körpüləri və uyğunluq qatları qurmağı mümkün edir.
Sıfır bilik sübutlarının məhdudiyyətləri
ZK-sübutlar bütün məxfilik və miqyaslama problemləri üçün tam həll deyil. ZK-sübut yaratmaq ciddi hesablamalar tələb edir; bu isə provers (sübut yaradanlar) üçün daha yüksək aparat tələbləri demək ola bilər. Proving proqram təminatı yetkinləşdikcə bu yaxşılaşır, amma daha kiçik şəbəkələr üçün yenə də nəzərə alınmalıdır.
zk-SNARK-larda “trusted setup” (etibarlı quraşdırma) tələbi bəzi tərtibatçıların və istifadəçilərin qaçınmaq istədiyi etimad fərziyyəsi yaradır. Üstəlik, ZK-sübutlar səslik (soundness) zəmanətində ehtimalidir: yanlış sübutun yoxlamadan keçmə ehtimalı sıfır deyil, amma çox kiçikdir. Praktik məqsədlər üçün bu adətən qəbul edilən sayılır.
Nəhayət, ZKP texnologiyası hələ də inkişaf mərhələsindədir. ZK-sübut sxemlərini (circuits) audit etmək mürəkkəbdir və ixtisaslaşmış təcrübə tələb edir. Bir neçə diqqətçəkən bug ZK-sübut tətbiqlərində tapılıb və bu, onları istehsal (production) sistemlərində yerləşdirməzdən əvvəl ciddi yoxlamanın vacibliyini vurğulayır.
FAQ
Sadə dillə desək, sıfır bilik sübutu nədir?
Sıfır bilik sübutu, nəyisə bildiyinizi onu açıqlamadan sübut etməyin bir yoludur. Sübut verən (prover) yoxlayana (verifier) bir iddianın doğru olduğunu inandırır və yoxlayan yalnız iddianın qüvvədə (keçərli) olduğunu görür; bunun xaricində heç nə öyrənmir.
zk-SNARK-lar ilə zk-STARK-lar arasındakı fərq nədir?
zk-SNARK-lar daha kiçik sübutlar yaradır və tez yoxlanılır, amma etibarlı quraşdırma tələb edir. zk-STARK-lar etibarlı quraşdırma tələb etmir və kvant hücumlarına daha davamlı sayılır, lakin daha böyük sübutlar yaradır. Hər ikisi istehsal blokçeyn sistemlərində istifadə olunur.
Sıfır bilik sübutları Ethereum-un miqyaslanmasında necə istifadə olunur?
zk-rollup-lar çoxsaylı əməliyyatları ofçeyn (off-chain) şəkildə toplamaq və doğrulama üçün tək bir sübutu Ethereum-a göndərmək üçün sıfır bilik sübutlarından istifadə edir. Bu, Ethereum-un əsas qatının təhlükəsizliyini qoruyaraq məhsuldarlığı artırır və əməliyyat haqlarını azaldır.
Sıfır bilik sübutları tamamilə təhlükəsizdir?
ZK-sübutlar çox güclü kriptoqrafik zəmanətlər təqdim edir, amma onlar bənzərsiz (qüsursuz) deyil. zk-SNARK-lardakı “trusted setup” addımı etimad fərziyyəsi yaradır. Bəzi layihələrdə ZK-sübut sxemlərində (circuits) tətbiq xətaları (implementation bugs) aşkar edilib. Hər hansı kriptoqrafik sistemdə olduğu kimi təhlükəsizlik düzgün tətbiqdən və davamlı auditdən asılıdır.
Yekun fikirlər
Sıfır bilik sübutları nəzəri anlayışdan müasir blokçeyn infrastrukturunun əsas tikinti blokuna keçib. Onlar məxfilik yaradır, miqyaslanmanı yaxşılaşdırır və DeFi, şəxsiyyət və uyğunluq (interoperability) sahələrində yeni tətbiqlərə imkan verir.
Texnologiya sürətlə inkişaf etməyə davam edir. zkEVM şəbəkələri artıq Ethereum-da canlıdır; sübutetmə xərcləri azalır və ZK-sübut əsaslı yeni tətbiqlər mütəmadi olaraq yerləşdirilir. Yaxın illərdə ZK-sübutların blokçeynlərin məxfilik və miqyaslama ilə bağlı yanaşmasında getdikcə daha mərkəzi rol oynaması ehtimalı yüksəkdir.
Əlavə oxu
zk-SNARK-lar və zk-STARK-lar izah edildi
Zk-Rollup-lar nədir? 2-ci səviyyə (Layer-2) miqyaslama texnikası
Optimistic vs. Zero-Knowledge Rollups: fərq nədir?
Blokçeyn Layer 1 vs. Layer 2 miqyaslama həlləri
Sıfır bilik sübutları ilə kripto şəffaflığının artırılması
İmtina: Bu kontent yalnız “mövcud olduğu kimi” (as is) ümumi məlumat və təhsil məqsədləri üçün sizə təqdim edilir; hər hansı formada təqdimat və ya zəmanət verilmir. Bunu maliyyə, hüquqi və ya digər peşəkar məsləhət kimi şərh etmək olmaz və hər hansı konkret məhsul və ya xidmətin alınmasını tövsiyə etmək niyyətində deyil. Siz uyğun peşəkar məsləhətçilərdən özünüz ayrıca məsləhət almalısınız. Kontentin üçüncü tərəf tərəfindən təqdim edildiyi hallarda, həmin fikirlərin üçüncü tərəf müəllifinə aid olduğunu, Binance Academy-nin fikirlərini mütləq əks etdirmədiyini nəzərə alın. Rəqəmsal aktivlərin qiymətləri dəyişkən ola bilər. İnvestisiyanızın dəyəri azala və ya arta bilər və invest etdiyiniz məbləği geri ala bilməyə bilərsiniz. Siz investisiya qərarlarınız üçün tam məsuliyyət daşıyırsınız və Binance Academy sizin çəkə biləcəyiniz hər hansı zərərə görə məsuliyyət daşımır. Daha ətraflı məlumat üçün İstifadə Şərtlərimizə, Risk Xəbərdarlığına və Binance Academy Terms-ə baxın.