Nə qədər dəfə etanerin transaksiyalarını həyata keçirmək üçün qiymətli dəqiqələr sərf etmisiniz və çox yük olarkən çox çox qaz ( $ ) sərf etmisiniz? Lakin qorxmayın. Yavaş transaksiyalar və yüksək qaz xərcləri üçün həll var, sıfır bilgi sübutları (ZKP) təqdim edilir.

Tarix

ZKP koncepsiyası, bir tərəf digər tərəfə bir ifadənin doğru olduğunu, ifadənin doğruluğundan başqa əlavə məlumat verilmədən sübut etməyə imkan verən maraqlı bir kriptografiya tətbiqidir.

ZKP koncepsiyasını təqdim edən ilk məqalə 1985-ci ildə Massachusetts Institute of Technology (MIT) -in Şafi Goldwasser və Silvio Micali tərəfindən nəşr olunub. Onların "Ehtimalı Şifrələmə" adlı məqaləsi, bir ədədin özünü və onunla bağlı əlavə məlumatları açıqlamadan, onun xüsusiyyətlərini sübut etmək mümkün olduğunu göstərmişdir. Bu əsər ZKP-nin müasir kriptografiyada əsas vasitə kimi inkişaf etməsinə imkan verdi.

Necə işləyir (ELI5)

Konsepsiya: sübut verənlər və təsdiq edənlər

Sıfır-şüur sübutlarında əsas rollar sübut verənlər və təsdiq edənlərdir. Sübut verənlər, özlərini sübut edənlərin bir sirri bildiklərini inandırmağa çalışır, lakin sirri özləri açmır. Təsdiq edənlər isə, sübut verənlərin iddialarını sirri öyrənmədən yoxlamağa çalışır. Bu, sübut verənlərdən yalnız sirri bildikləri təqdirdə tamamlanabilən vəzifələri yerinə yetirmələrini istəməklə həyata keçirilir. Bir şeyi bilməkdə olduğunuzu, onu vermədən sübut etməyin ən sadə yolu tez-tez istifadə olunan "Waldo haradadır?" nümunəsi ilə göstərilə bilər.

Siz və dostunuz Waldo-nu tapmaq istəyirsiniz. Siz şəkildə Waldo-nun harada olduğunu bilirsiniz, amma dostunuz sizə inanmır. Dostunuza Waldo-nun harada olduğunu bildiyinizi, amma onun yerini açmadan necə sübut edirsiniz?

Siz böyük bir kağız parçasını götürüb bütün şəkli örtürsünüz, dostunuza Waldo-nun şəkilini bir kəsikdən göstərirsiniz. Siz Waldo-nun yerini bildiyinizi sübut edə bilərsiniz, amma dostunuz Waldo-nun harada olduğunu öyrənməyəcək, çünki Waldo-nun şəkil ilə olan dəqiq koordinatları hələ də ona məlum olmayacaq.

Bu, ZKP-nin sadə bir analoqudur. Deşikdən Waldo-nu görən hər kəs, Waldo-nun mövcud olduğuna dair sübut alır və sübut verən Waldo-nun harada olduğunu bildiyinə dair məlumat alır, amma əlavə heç bir məlumat vermədən.

ZKP-lər blockchain-də

Blockchain, bizə şəffaflıq, dəyişməzlik və mərkəzləşdirilməmişlik kimi böyük avantajlar gətirsə də, cari ictimai blockchain-lərdə gizlilik tamamilə yoxdur, bu da bəzən "gözəl olardı". Bununla belə, ZKP-ləri blockchain texnologiyası ilə birləşdirərək, layihələr artıq daha çox tranzaksiyanı sürətlə işləyə bilirlər, eyni zamanda istifadəçi məlumatlarını təhlükəsiz və qorunmuş saxlayırlar. Bu, həmçinin həssas məlumatları açmadan kompleks hesablamaların həyata keçirilməsinə imkan verir. ZKP-lər, məlumatları üzərində nəzarət və azadlıq istəyən istifadəçilərə çeviklik və seçim imkanı təqdim edir. Buna görə də, blockchain və ZKP-lər birləşdikdə bir çox istifadə sahəsi var.

ZKP-lərin istifadə sahələri:

  • ZKP, istifadəçilərin şəxsi məlumatlarını ictimai blockchain-lərdə açmadan gizliliyini artırır.

  • ZKP, təsirsiz identifikasiya metodlarını əvəz edərək məlumatların təhlükəsizliyini gücləndirir. ZKP, istifadəçilərə həssas məlumatı açıqlamadan məlumatın sahibi olduğunu və ya ona giriş icazəsi olduğunu sübut etməyə imkan verərək bir çox zəifliyi aradan qaldırır.

  • ZKP, blockchain throughput və şkalalaşdırmasını artırır. ZKP, blockchain texnologiyası ilə bağlı bəzi şkalalaşdırma problemlərini, daha sürətli və daha təhlükəsiz tranzaksiyalar həyata keçirməyə imkan verərək həll edir.

ZK-əsaslı Blockchain Layihələrinin Nümunələri

ZK texnologiyasını tətbiq edən ən populyar blockchain protokollarından bəziləri bunlardır:

zk-SNARK istifadə edən mərkəzləşdirilməmiş saxlama

  • Filecoin: Filecoin indiyə qədər ən böyük tətbiq olunan zk-SNARK şəbəkəsidir. Filecoin, şəbəkənin asılı olduğu əsas kriptoloji protokollar olan Replikasiya Sübutu (PoRep) və Məkan-Zaman Sübutu (PoSt) üçün SNARK-lardan istifadə edir. Filecoin, 7 dövr ərzində cəmi $258.2 milyon maliyyə toplayıb. Onların son maliyyələşməsi $205.8 milyonluq İlk Coin Təklifidir. Filecoin-in tokeni FIL hazırda $7 qiymətində ticarət olunur və bazar dəyəri $2.7 milyarddır. Filecoin-in saxlama xidməti aktivdir və inkişafçılar məlumatları saxlama köməkçilərinə göndərmək üçün API-lərdən və ya kitabxanalardan istifadə edirlər. Arxa planda, saxlama köməkçiləri məlumatları alır və onu etibarlı və mərkəzləşdirilməmiş bir şəkildə saxlamaq üçün əsas prosesləri idarə edirlər.

Gizlilik Layihələri

  • Aztec Network: Aztec Network, eteryum şəbəkəsindəki ilk xüsusi ZK-rollup'dır. Bu, DApps-lərin gizlilik və şkalalaşdırmaya daxil olmaq üçün istifadə etdiyi bir gizlilik mühərrikidir. Aztec, 4 dövr ərzində $119.1 milyon maliyyə toplayıb. Onların son maliyyələşməsi A16z tərəfindən idarə olunan $100 milyonluq B Seriyası dövrüdür. Aztec Connect, istifadəçilərin Ethereum DeFi Dapps ilə qarşılıqlı əlaqə qurmasına imkan tanıyır və Ethereum əsas şəbəkəsində fəaliyyət göstərir. Aztec üçün token yoxdur, amma bir airdrop mümkün görünür.

Zk-rollups

Eteryumun qarşılaşdığı əsas çətinlik şkalalaşdırmadır. Bu, şəbəkədən istifadə edə biləcək insanların sayını məhdudlaşdırdığı üçün vacib bir məsələdir və eyni zamanda yüksək on-chain saxlama və hesablama resurslarına olan tələbdən ötəri tranzaksiyaların daha baha başa gəlməsinə səbəb olur.

Rollup texnologiyası sürətlə populyarlıq qazanır. Rolluplar, eteryumun bir tranzaksiya blokunu təsdiq etmək üçün hesablama və saxlama tələblərini azaltan ağıllı müqavilələrdir. Rolluplar, bir çox tranzaksiyanı bir yerə yığaraq bunu edir; bu, roll-up ağıllı müqaviləsinin vəzifəsidir ki, onları parçalasın və yeni bir blok olaraq eteryuma göndərilmədən əvvəl bir tranzaksiyanın içindəki bütün transferləri təsdiq etsin. İki əsas L2 rollup kateqoriyası vardır - Optimistik Rollups (OP Rollups) və Sıfır-şüur rollupları (ZK-rollups).

  • Optimistik - Tranzaksiyaların varsayılan olaraq etibarlı olduğunu qəbul edir, amma əgər birisi tranzaksiyanın etibarsız olduğunu sübut edə bilsə, 7 gün əvvəlki tranzaksiyaları geri qaytarmaq lazım olacaq.

  • ZK - hesablama off-chain-də həyata keçirilir və zəncirə etibarlılıq sübutu təqdim edir. Bu, fırıldaqçılıq olmadığını sübut etmək üçün inkişaf etmiş kriptologiyadan istifadə edir.

İki rollup növü arasında mürəkkəb ticarət balansları var.

ZK-rolluplar, eteryumun tranzaksiya throughput-unun artırılmasını təmin edərkən təhlükəsizlik və mərkəzləşdirilməmişliyi saxlayır. Onlar iki müqavilədən, əsas və təsdiq edən müqavilələrdən, və tranzaksiya yığınlarını işləyib sıfır-şüur sübutlarını təsdiqləmək üçün off-chain virtual maşından istifadə edirlər.

ZK-rolluplarda etibarlılıq sübutlarının düzgünlüyü, tranzaksiya tamamlama gecikmələri olmadan riyazi sübutlarla təmin edilə bilər. Buna görə də, bir çoxları ZK-rollupları eteryum şkalalaşdırma probleminə potensial son həll kimi görür.

  • zkSync: zkSync, eteryum üçün etibarsız şkalalaşdırma və gizlilik həllidir və ZK Roll-uplara əsaslanır. Bu, eteryuma minlərlə tranzaksiyanın saniyədə həyata keçirilməsi üçün VISA miqyasında throughput gətirmək məqsədini güdür. Eyni zamanda, vəsaitlərin L1 hesablarında olduğu kimi təhlükəsiz qalmasını və yüksək dərəcədə sensura müqavimətini təmin edir. Matter Labs, zkSync-in arxasında duran şirkətdir. Ümumilikdə, Matter Labs $458 milyon yığıb. Onların son maliyyələşməsi Blockchain Capital tərəfindən idarə olunan $200 milyonluq C Seriyası dövrüdür. zkSync-in açıq test şəbəkəsi hazırda fəaliyyət göstərir. zkSync tokeni yoxdur, amma yaxın zamanda bir airdrop gələcəyi ilə bağlı çoxsaylı şayiələr var.

  • Polygon, blockchain şkalalaşdırma həlləri arasında ən tanınmışlardan biri kimi ortaya çıxıb. Əvvəlcə eteryum yan zənciri olaraq tanınan Polygon, evdəki şkalalaşdırma həllinə çevrilib. Polygon, 8 dövr ərzində $451.5 milyon maliyyə toplayıb. Onların son dövrü $450 milyonluq D Seriyası dövrüdür və bu, Sequoia Capital tərəfindən idarə olunur. Polygon-un tokeni Matic-in bazar dəyəri $11 milyarddır və hazırda $1.22 qiymətində ticarət olunur. Polygon, eteryumun şkalalaşdırma problemlərini düzəltmək üçün İsveçrə ordusu bıçağına çevrilib. Polygon-un zkEVM-i, kriptoloji sıfır-znake (zero-knowledge) sübutları istifadə edən mərkəzləşdirilməmiş eteryum Layer 2 şkalalaşdırma həllidir. Bunun martın sonunda təqdim edilməsi planlaşdırılır və eteryumla uyğun ağıllı müqavilələrin icrasını daha yüksək sürət və daha aşağı qiymət ilə təmin edəcəyini vəd edir. Yanaşın.