Skip to main content

İş axını

ZCash Adlandırma Xidməti (zNS) istifadəçilərə qeydiyyatdan keçməyə, həlledici ünvanı yeniləməyə, başqa sahiblərə köçürməyə və bazarda insan tərəfindən oxuna bilən domen adlarını (məsələn, myname.zcash) siyahıya salmağa və onları ZCash ünvanlara təhlükəsiz şəkildə xəritələşdirməyə imkan verir.

ZCash ümumi məqsədli ağıllı müqavilələri olmayan UTXO əsaslı blokçeyn olduğundan, o, domen reyestri kimi mürəkkəb verilənlər bazası sistemini yerli olaraq idarə edə bilməz. Bunu həll etmək üçün zNS zəncirdən kənar əməliyyatları yerinə yetirən, məlumatları ZCash üzərində saxlayan və Arbitrumda təhlükəsizliyi təmin edən Toplam üslublu Arxitekturadan istifadə edir.

Sistem bir-biri ilə əlaqəli beş komponentlə təchiz edilmişdir:

1. ZCash Blockchain: Məlumatın Əlçatımlılığı Layeri​

İstifadəçinin gördüyü hər bir hərəkət - adı qeydiyyata almaq (REG), ünvanı yeniləmək (UPD), mülkiyyət hüququnu köçürmək (CHG), bazarda siyahıya salmaq (LST), siyahıdan çıxarmaq (ULT) və ya satın almaq (BUY) tranzaksiya olaraq yerli başlanğıc - PH__X_5. Tranzaksiya əməliyyat yaddaşı sahəsində strukturlaşdırılmış mətn əmrindən ibarətdir (məsələn, zNS:1:REG:domain:address:pubkey:nonce:signature).

  • ZCash zənciri həqiqətin mənbəyidir. O, hər domen əmrini daimi olaraq saxlayır. Qeydə alınmış ZCash əməliyyat olmadan heç bir vəziyyət dəyişikliyi baş verə bilməz.

2. Qeydiyyatçı Node: Sequencer​

Avtomatlaşdırılmış qeydiyyat qovşağı ZCash blokçeynini skan edir. O, domen əmrlərini oxuyur, istifadəçinin düzgün əməliyyat haqqını ödədiyini yoxlayır və əməliyyatları növbəyə qoyur. Qeydiyyatçı hər 10 dəqiqədən bir bu əməliyyatları bir Paketə yığır.

3. SP1 zkVM: Sıfır Bilik Mühərriki (Succinct tərəfindən)​

Əməliyyatların toplusu SP1 Zero-Knowledge Virtual Machine (zkVM)-ə göndərilir. zkVM ciddi protokol hakimi kimi çıxış edən ixtisaslaşmış Rust qonaq proqramı işlədir. Prover dəstədəki hər əməliyyatı yoxlayır:

  • İmzalar etibarlı və faktiki domen sahibləri tərəfindən imzalanıbmı?
  • Təkrar hücumların qarşısını almaq üçün qeyri-müəyyənliklər ciddi şəkildə artır?
  • Domen prefiksləri düzgün formatlaşdırılıbmı?
  • BUY əməliyyatı LST əməliyyatında göstərilən dəqiq qiyməti ödəyirmi?
  • old_root riyazi Merkle sübutlarından istifadə edərək new_root keçidinə düzgün keçid edirmi?

Bütün qaydalar yerinə yetirilərsə, zkVM ZK-SNARK kriptoqrafik sübut yaradır (Grot16 istifadə edərək). Bu sübut riyazi olaraq bəyan edən kiçik sertifikatdır: "A dövlət kökündən başlayaraq, bu etibarlı əməliyyatlar toplusunu tətbiq etdikdən sonra yeni dövlət kökü B-dir."

Bu qonaq proqramının hər bir tərtib edilmiş versiyası Doğrulama Açarı (vkey) adlı unikal kriptoqrafik identifikator verir. vkey tərtib edilmiş qonaq proqramının strukturunun özünün 32 baytlıq heşidir. Doğrulama kodunun hətta bir sətri dəyişdirilərsə, proqram tamamilə fərqli bir vkey tərtib edir.

4. Arbitrum Ağıllı Müqavilə: Çapa​

Yaradılmış ZK sübutu və onun ictimai daxiletmələri Arbitrumda zNSAnchor smart müqaviləsinə göndərilir. Müqavilə hesablaşma qapısı kimi çıxış edir.

  • Kriptoqrafik Bağlama: Ağıllı müqavilənin daxilində programVkey (qonaq proqramının gözlənilən 32 baytlıq hash) zəncirdə saxlanılır. Sübut təqdim edildikdə, müqavilə sübutu və programVkey-i Succinct SP1 Verifier Gateway-ə göndərir.
  • Key-Lock Validation: Doğrulama şlüzü yalnız qeydiyyatdan keçmiş programVkey ilə uyğun gələn dəqiq qonaq proqramı tərəfindən yaradılıbsa, təsdiq edəcək.
  • Əgər sübut etibarlıdırsa və qeydiyyatdan keçmiş programVkey ilə təsdiqlənirsə, müqavilə rəsmi, qlobal olaraq qəbul edilmiş dövlət kökünü B olaraq yeniləyir və onu öz tarixində saxlayır.
  • Əgər tək bir qayda pozulubsa və ya sübut dəyişdirilmiş qonaq proqramı ilə yaradılıbsa (bu, fərqli vkey yarada bilər), müqavilə icazəsiz dövlət keçidlərinin qarşısını alaraq əməliyyatı rədd edir.

5. Paylanmış İndeksatorlar: Həlledicilər​

Hər kəs müstəqil İndeksləyici Node işlədə bilər. İndeksatorlar domen əməliyyatları üçün ZCash blokçeynini skan edir və təsdiqlənmiş kök yoxlama nöqtələri üçün Arbitrum müqaviləsini skan edir. Onlar əməliyyatları yerli olaraq tətbiq edir, öz Merkle Ağacını hesablayır və yerli köklərinin Arbitrum yoxlama məntəqəsinə uyğun olduğunu yoxlayır.

  • Bu, harada işlədilməsindən asılı olmayaraq bütün indeksləşdiricilərin həmişə domenləri dəqiq eyni hədəf ünvanına həll etmələrini təmin edir (paylanmış uclarda vahid vahid vəziyyəti saxlamaq).