Blokçeyndə Məlumatınızı Qoruyun
Heç vaxt Sting mahnısında yaşadığınızı hiss etmisiniz? “Hər nəfəs aldığınızda, hər hərəkət etdiyinizdə, mən sizi izləyəcəyəm” deyən o mahnı? Bu günlərdə, sanki hər addımınızı izləyən birisi var — həqiqətən. Dükkana gedin, bankınız nə aldığınızı, nə qədər xərclədiyinizi və hətta bunu harada etdiyinizi bilir. Smartfonunuzdakı GPS hər saniyə yerinizi izləyir, CCTV kameraları ictimai yerdə sizi daim izləyir və İnternet Xidmət Təchizatçınız (ISP) onlayn vərdişlərinizi şahin kimi izləyir. Beləliklə, əgər bunlar bir az reallıq TV-si kimi görünürsə, ola bilsin ki, elədir, amma parıltı olmadan!
Sual budur ki, əgər ssenarini dəyişib həyatınızın ən azı bir hissəsini gizli saxlaya bilsəniz? Əslində, çox əhəmiyyətli bir hissə — maliyyə həyatınız. Zero-Knowledge Proofs (ZKP) sisteminə daxil olun. Bu mükəmməl kriptografik alətlər sizə bir əməliyyatın qanuni olduğunu sübut etməyə imkan verir, amma heç bir spesifik məlumatı — kim nə ödəyib, harada, kim nə qədər göndərib və nə vaxt, ya da hər hansı bir maraqlı detalı açıqlamadan. Əsasən, bu, “Hər şey qaydasındadır” demək kimidir, amma heç kəsə faktiki qəbzləri göstərmədən. Maraqlı səslənir? Bu protokolun sizə elmi fantastika kimi hiss olunan, amma tamamilə real olan bir gizlilik səviyyəsinə necə kömək edə biləcəyini görmək üçün burada qalın.
Sıfır Bilgi Sübutları (ZKP-lər) birinin bir parol kimi bir şeyi bildiyini və ya sahib olduğunu sübut etməyə imkan verən kriptoqrafik metodlardır, lakin faktiki məlumatı açmadan
ZKP-lər müxtəlif formalarda mövcuddur, bunlara ZK-SNARK-lar (Sıfır Bilgi Qısa İnteraktiv Olmayan Bilgi Sübutları) və ZK-STARK-lar (Sıfır Bilgi Ölçülə Bilən Şəffaf Bilgi Sübutları) daxildir
ZKP-lər müxtəlif blokçeyn tətbiqlərinə, ZCash kimi gizlilik mərkəzli kriptovalyutalardan zkSync kimi Layer 2 həllərinə qədər, əməliyyatların ötürülmə sürətini artırmaq üçün getdikcə daha çox inteqrasiya edilir
Gəlin ZKP-lərin tərifinə dərhal dalış edək. Əgər bu ilk baxışda bir az mürəkkəb görünürsə, narahat olmayın, biz bunu parçalayacağıq və hər şeyi növbəti cümlədə izah edəcəyik.
Sıfır-Bilgi Sübutu (ZKP) bir tərəfin (sübut edən) digər tərəfə (doğrulayan) bir bəyanatın doğru olduğunu sübut edə biləcəyi kriptoqrafik bir metoddur, əlavə məlumatı, yalnız bəyanatın özünün etibarlılığı xaricində, açıqlamadan. Bu, doğrulayanın bəyanatın həqiqiliyinə inandırıla biləcəyi, lakin əsas məlumatlar və ya sübutun necə qurulduğu haqqında heç bir bilik əldə etmədən deməkdir. Başqa sözlə, Sıfır-Bilgi Sübutu bir tərəfin — deyək ki, bu sizsiniz, Walmart-da alış-veriş edirsiniz — digər tərəfə, məsələn, Walmart-a, bir bəyanatın doğru olduğunu sübut edə biləcəyi bir kriptoqrafik metoddur, məsələn, balansınızda kifayət qədər vəsait olduğunu, əlavə detalları, məsələn, nə qədər pulunuz olduğunu açıqlamadan. Sıfır-Bilgi sübutu yalnız bəyanatın doğru olduğunu təsdiqləyir — yəni, kifayət qədər pulunuz var. Hekayənin sonu.
Prover-Verifier Dinamikası
Bir neçə blokçeyn sıfır bilik sübutlarını gizlilik qoruyan tətbiqlər üçün dəstəkləyir: Zcash, tranzaksiya məlumatlarını ictimai görünüşdən qorumaq üçün ZKP-lərdən istifadə edir, zkSync isə Ethereum üçün gizlilik və genişlənmə təmin etmək məqsədilə ZKP-ləri istifadə edən bir layer-2 genişlənmə həllidir. Həmçinin, ZKP-ləri istifadə edərək gizli tranzaksiyaları və ağıllı müqavilələri mümkün edən gizlilik qoruyan platforma olan Aztec Protokolu da var. Və əlbəttə ki, daha çoxu da var.
İndi ZK-sübut əsaslı bir protokolun real həyatda necə işlədiyinə bir misal verək. Təsəvvür edin ki, blokçeyn mesajlaşma platformasında bir dostunuza gizli bir mesaj göndərmək istəyirsiniz. Köhnə paradigma blokçeyn sistemində, mesajınız şəbəkədəki hər kəsə görünərdi. Bu, sizin gizliliyinizə zərər verə bilər. Amma, deyək ki, Aztec istifadə edirsiniz. Bu protokolla, mesajınız şifrələnəcək və digər tranzaksiyalarla birlikdə bir paketə yığılacaq. Sonra, fərdi tranzaksiyaların məzmununu açmadan, tranzaksiya paketinin etibarlı olduğunu sübut etmək üçün bir ZKP yaradılır. Bu ZKP, təsdiq üçün əsas qat blokçeynə (Ethereum kimi) təqdim edilir.
1980-ci illərdə bəzi ağıllı insanlar — Shafi Goldwasser, Silvio Micali və Charles Rackoff tərəfindən inkişaf etdirilən bu texnologiya, böyük bir problemi həll etmək üçün nəzərdə tutulmuşdu: nəyisə bildiyinizi (məsələn, ödəmək üçün pulunuzun olduğunu) sübut etmənin yolu, bildiyiniz şeyləri açmadan. ZKP-lər, məhz bu cür tapşırıqlar üçün xüsusi olaraq hazırlanmışdır, buna görə də blokçeyn, gizliliklə bağlı bir sahə olduğu üçün bu qədər populyardır. Walmart analoqunu davam etdirmək üçün, sıfır-bilik texnologiyasını ərzaq alış-verişiniz üçün istifadə etdiyiniz zaman, əslində, xərcləri ödəyə biləcəyinizi sübut edən bir hissə məlumatı gizli bir kod halına gətirdiyinizi deyə bilərsiniz.
Walmart’ın sistemi bunu şifrədən çıxarır və sizin faktiki balansınızı və ya tranzaksiya tarixçənizi görmədən təsdiqləyir. Bu, birinin “Mənə etibar et, bunu həll etmişəm” deməsi kimidir, amma faktiki olaraq qəbzləri göstərmədən və ya hər hansı bir həssas detallarını açmadan. Beləliklə, siz alırsınız və gedirsiniz, dünyada tək bir nəfər, bəlkə də Walmartdan başqa, nə aldığınızı və nə qədər ödədiyinizi bilmir.
Şafi Goldwasser və Silvio Micali
Əgər bir sübut sıfır bilik sübutudursa, bu, həmişə bu üç əsas xüsusiyyəti tamamilə təmin edəcək:
Yaxşı, ümid edirəm ki, indi “bəyanat”, “təsdiq edən” və “sübut edən” kimi terminlərdən qorxmursunuz, buna görə də Sıfır Bilgi Texnologiyası haqqında məlumat almaq vaxtıdır. Bu pis oğlanlar bir çox fərqli dadlarda gəlir, hər biri spesifikləri gizli saxlayarkən həqiqəti sübut etməyin öz yoluna malikdir. Burada interaktiv və interaktiv olmayan zk-sübutların əsas növlərinin sürətli xülasəsi var, amma başlamazdan əvvəl, gəlin bir kulinariya analoqu ilə işləri sadələşdirək. Təsəvvür edin ki, siz bir tort bişirirsiniz.
İnteraktiv Sübut: Tortun orijinal olduğunu sübut etmək üçün interaktiv sübutdan istifadə edərək, bir dostunuzu bişirməyə baxmağa dəvət edərdiniz. Onlar xəmirin, içliyin və son məhsulun dadına baxar, bunun həqiqi olduğunu təmin edərlər. Bu, bir təsdiq edən şəxsin sübut yaratma prosesini izləməsi kimidir.
İnteraktiv Olmayan Sübut: Tortun orijinallığını interaktiv olmayan şəkildə sübut etmək üçün tortu bişirərdiniz və sonra dostunuza dadmaq üçün kiçik bir dilim təqdim edərdiniz. Onlar sizi bişirərkən izləmədən dadı və tərkibi təsdiq edə bilərlər. Bu, bir təsdiq edən şəxsin bütün prosesi izləmədən əvvəlcədən yaradılmış bir sübutu yoxlaması kimidir.
Blockchain terminlərində:
İnteraktiv Sübutların problemi isə, hər iki tərəfin eyni anda onlayn olması lazım olmasıdır və hər bir sübut tamamilə yeni bir söhbət başlatmaq kimidir - super səmərəsizdir. Burada İnteraktiv Olmayan Sübutlar devreye girir.
1988-ci ildə Manuel Blum, Paul Feldman və Silvio Micali ilk İnteraktiv Olmayan Sıfır Bilgi Sübutlarını təklif etdilər, burada sübut edən və təsdiq edən birgə açar (CRS) paylaşır. Bu necə işləyir. Həm siz (sübut edən), həm də dostunuz (təsdiq edən) birgə resept (CRS) üzərində razılaşır. Siz reseptə uyğun olaraq tortu bişirirsiniz (sübutu yaradırsınız). Dostunuz tortu dadır (sübutu təsdiq edir). Əgər dadı limon və süd kimidirsə, bilirlər ki, siz reseptə əməl etmisiniz. Blockchain terminlərində, hər iki tərəf sübut edən və təsdiq edən üçün tanınan bir ictimai dəyər yaradır, CRS. Sübut edən kriptoqrafik obyekt (sübut) yaradır. Təsdiq edən sübutun CRS ilə uyğun olub-olmadığını yoxlayır.
İnteraktiv Olmayan Sübutlara əsaslanan protokollara zk-SNARK və zk-STARK əsaslı protokollar daxildir, bunlara növbəti bölmədə baxacağıq.
İnteraktiv Sübutlar real vaxtda, qarşılıqlı əlaqələrə yönəldilsə də, İnteraktiv Olmayan Sübutlar yalnız bir dəfə, yaxşı hazırlanmış sübutla işi bitirməyə imkan tanıyır. Bu, davamlı söhbətə girmək istəmədiyiniz və ya ehtiyacınız olmayan vəziyyətlər üçün onları super səmərəli edir. zk-SNARKs və zk-STARKs interaktiv olmayan sübut anlayışını götürərək blockchain-də gizliliyi daha da artırır. Necə?
ZK-SNARKs sci-fi filmindən bir şey kimi səslənə bilər, amma əslində Sıfır Bilgi Qısa İnteraktiv Olmayan Bilgi Mübahisəsinin fancy akronimidir. Bunu parçalayanda, bu, sadəcə olaraq, az əvvəl danışdığımız interaktiv olmayan sübutların daha inkişaf etmiş versiyasıdır, buna görə narahat olmayın, başa düşəcəksiniz. Əgər ZK-SNARK protokolu ilə məşğulsunuzsa, bu, bu beş əsas xüsusiyyəti tamamilə təmin edəcək:
Təsəvvür edin ki, siz gizli reseptli tort bişirmisiniz. Onun unikallığını qorumaq və başqalarının onu kopyalamasını əngəlləmək istəyirsiniz. Əgər kimsə tortu təkrarlaya bilsə, artıq xüsusi olmaz. Eynilə, blockchain-də, zərərli əməliyyatların təkrarlanması çətin olmalıdır. Bu, şəbəkənin bütövlüyünü və təhlükəsizliyini təmin edir.
Bir neçə "aşpaz" reseptin gizli tərkibini yaratmaq üçün birgə çalışır
“Reseptin” həm unikal, həm də təhlükəsiz olmasını təmin etmək üçün bir neçə “aşpaz” reseptin gizli tərkibini yaratmaq üçün bir araya gəlir — blokçeyn terminlərində CRS olaraq bilinir. Onlar CRS-i yaratmağı bitirdikdən sonra, resepti “məhv” edirlər ki, heç kim ondan sui-istifadə etməsin. Problemin mərkəzində isə bu prosesin bütün aşpazların gizli tərkibin öz hissəsini həqiqətən məhv edəcəyinə etibar etməsi dayanır. Bəs ya onlardan biri etməsə? Burada ZK-STARKs (Zero-Knowledge Scalable Transparent Arguments of Knowledge) devreye girir
ZK-SNARKs sıfır bilik sübutlarını kütləyə təqdim edərkən onların kompaktlığı və səmərəliliyi ilə yeni çətinliklər ortaya çıxardı, məsələn, “aşpazların” etibarlı bir quruluşuna ehtiyac və daha böyük verilənlər dəstləri ilə məhdud genişlənmə. ZK-STARKs bu problemləri həll edir. Onları flip telefonundan ən müasir smartfona keçid kimi düşünün — artıq riskli quruluş yoxdur və böyük verilənləri idarə etməkdə daha yaxşıdır, onları daha güclü, təhlükəsiz və istifadəçi dostu edir. Ancaq ZK-STARKs etibarlı bir quruluş mərhələsinə ehtiyac duymur, burada siz gizli təsadüfi ədədlər və ya parametrlər yaradırsınız və saxlayırsınız. Bunun əvəzinə, gizli quruluş prosedurlarına ehtiyacı aradan qaldırır və müdaxilə və ya təhlükəsizlik pozuntusu riskini azaldır. Gəlin ZK-STARKs-ın nə olduğunu daha ətraflı araşdıraq:
Beləliklə, hələ də bir tort bişirməyə çalışırıq və gizli tərkibi açıqlamadan onu mükəmməl bişirə biləcəyimizi sübut edirik. ZK-STARKs-da “resept” ictimai bilikdir, yəni hər kəs izləməli olduğu addımları bilir. Ancaq yalnız “aşpaz” gizli tərkibi, şahid adlandırılanı bilir. Aşpaz resepti düzgün izlədikdə və tortu bişirdikdə, bu, onun gizli tərkibi bildiyini sübut edir — onun nə olduğunu heç vaxt açıqlamadan.
Yalnızca "şef" gizli inqrediyenti bilir
ZK-STARKs şəffafdır. Onlar etibarlı bir quruluş tələb etmir, bu da onları bəzi hallarda daha təhlükəsiz edir. Diqqət sübutun özünə yönəlib, bu da gizli bir tərkibə etibar etmədən ictimai şəkildə təsdiqlənə bilər. Həm ZK-SNARKs, həm də ZK-STARKs blokçeyn üçün gizlilik və genişlənmə üçün güclü alətlərdir. Onlar arasında seçim tətbiqin spesifik tələblərindən asılıdır.
Sıfır bilgi sübutlarının gələcəyi çox maraqlı olacaq — bunu təsəvvür edin: zk-SNARKs və zk-STARKs artıq dalğalar yaradır, amma tədqiqatçılar kofeinlə dolu innovatorlar kimidirlər, onları daha sürətli və hamar etmək üçün çalışırlar. Məqsəd? Hesablama yükünü azaltmaq, yəni hər şeyi kompüterinizdə daha sürətli və asan etmək. Blokçeyn şəbəkələrinin kərə yağına isti bıçaq kimi işlədiyini təsəvvür edin — yaxşı səslənir, düzdür?
ZKPs ən cool texnologiyalarla birləşir, məsələn, AI və IoT. Biz, sizin şəxsi məlumatlarınıza göz atmadan öyrənə və inkişaf edə bilən AI-dan, bir-biri ilə təhlükəsiz şəkildə danışan IoT cihazlarından danışırıq, eyni zamanda sizin sirrlərinizi qoruyur. Bu, heç kimin sirrini açmadığı yüksək texnologiyalı, gizliliklə maraqlanan bir partiyadır!
Və bilirsinizmi? ZKPs yalnız blokçeyn partiyasını pozmur — onlar digər sahələrə də yayılır. Biz tezliklə onları təhlükəsiz seçki sistemlərində, super gizli tibbi qeydlərdə və gizli iş razılaşmalarında görə bilərik. Bu, bir şeyi sübut etmək, amma detalları açıqlamamaqla bağlıdır. Bu, oyun dəyişdirici bir şeydir!
ZKPs daha irəlilədikcə, biz hər şeyin standartlaşdırıldığı və başqaları ilə yaxşı oynadığı bir dünyaya doğru irəliləyirik. Bunu, qum qutusundakı bütün texnologiya oyuncaqının bir-biri ilə yaxşı keçinməsini təmin etmək kimi düşünün, beləliklə ZKPs hər yerdə problemsiz istifadə oluna bilər.
Bütün bu gizlilik sehrinə baxmayaraq, təhlükəsiz olmaqla anti-pul yuyulması və anti-terrorizmlə maliyyələşdirmə kimi tənzimləmələri yerinə yetirmək arasında hələ də bir tarazlıq var. Bu şirin nöqtəni tapmaq bir tapmaca olacaq, amma hey, bu, əyləncənin bir hissəsidir!
Qısacası, sıfır bilgi sübutları rəqəmsal dünyanın super qəhrəmanları olacaq, hər şeyi gizli, təhlükəsiz və səmərəli edəcək. Texnologiya inkişaf etdikcə, ZKPs bizim onlayn həyatımızı yalnız daha sürətli deyil, həm də daha təhlükəsiz və daha gizli edəcək.
Gələcəyə baxdıqda, aydındır ki, sıfır bilgi sübutları (ZKPs) yalnız bir konsept deyil, böyük təsirləri olan bir texnologiyadır. Bu kriptografik möcüzələr, rəqəmsal sahədə gizlilik, təhlükəsizlik və genişlənmə ilə bağlı yanaşmamızı dəyişdirir. Gizli blokçeyn əməliyyatlarından təhlükəsiz seçki sistemlərinə və gizli iş razılaşmalarına qədər, ZKPs arxa planda gizli qəhrəmanlar olacaq. ZKPs-in interaktiv sübutlardan zk-SNARKs və zk-STARKs-a keçidi inanılmaz olub. Hər addım bizi məlumatlarımızın gizli ola biləcəyi və hələ də təsdiqlənə və doğrulanabiləcəyi bir dünyaya daha da yaxınlaşdırır.
Texnologiya inkişaf etdikcə, AI və IoT ilə inteqrasiya edən daha çox tətbiq gözləyirik ki, bu da əvvəllər elmi fantastika olan gizlilik qoruyucu həllər təqdim etsin. Amma bütün texnologiyalarda olduğu kimi, innovasiya tənzimləmə ilə görüşməlidir. Bu mühitdə gəzmək, ZKPs-in məsuliyyətli və etik şəkildə istifadə olunduğuna əmin olmaq üçün diqqətli düşüncə tələb edəcək.
Qısacası, sıfır bilgi sübutları rəqəmsal gizlilik və təhlükəsizliyi yenidən müəyyən edəcək, daha gizli, təhlükəsiz və səmərəli bir onlayn dünya yaradacaq. İstər texnologiya həvəskarı, istər inkişaf etdirici, istərsə də rəqəmsal gizliliyin necə inkişaf etdiyinə maraqlı olan biri olun, ZKPs-ə diqqət yetirin. Gələcək parlaqdır və bu kriptografik möcüzələr tərəfindən formalaşdırılır.
ZKP-lər bir tərəfin bir bəyanatın doğruluğunu sübut etməsinə imkan verən kriptoqrafik metodlardır, bu zaman bəyanatın özünə dair heç bir detal açıqlanmır. Onlar təsdiq edən şəxsin yalnız bəyanatın doğru olub-olmadığını bilməsini təmin edir, əlavə məlumat almadan.
ZKP-lər interaktiv və qeyri-interaktiv növlərdə mövcuddur. İnteraktiv sübutlar bilik sübut etmək üçün qarşılıqlı mübadilələri əhatə edir, qeyri-interaktiv sübutlar isə tək, statik bir sübut üçün paylaşılmış açar istifadə edir. Hər iki növ, əsas məlumatı gizli saxlayarkən bəyanatları təsdiqləməyə yönəlib.
ZKP-lər blokçeyndə gizliliyi artırır, gizli əməliyyatlar, təhlükəsiz səsvermə və zk-rollup kimi effektiv genişlənmə həlləri təmin edir. Onlar ZCash və zkSync kimi layihələrdə əməliyyat detalları gizli saxlanılaraq sistemin səmərəliliyini artırmaq üçün istifadə olunur.