Skip to main content

İş axını

PIVX Adlandırma Xidməti (PiNS) istifadəçilərə insan tərəfindən oxuna bilən domen adlarını (məsələn, myname.pivx) qeydiyyatdan keçirməyə, yeniləməyə, siyahıya salmağa və köçürməyə və onları təhlükəsiz şəkildə PIVX shielded (Sapling) ünvanlarına xəritələşdirməyə imkan verir.

PIVX ü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 işlədə bilməz. Bunu həll etmək üçün PiNS zəncirdən kənar əməliyyatları yerinə yetirən, məlumatları PIVX ü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. PIVX Blockchain: Məlumatın Əlçatımlılığı Layeri​

İstifadəçinin gördüyü hər bir hərəkət - adın qeydiyyatı (REG), ünvanın yenilənməsi (UPD), mülkiyyət hüququnun ötürülməsi (CHG), bazarda siyahının çıxarılması (LST), siyahıdan çıxarılması (ULT) və ya satınalma (BUYX yerli əməliyyat kimi) Tranzaksiya əməliyyat yaddaşı sahəsində strukturlaşdırılmış mətn əmrindən ibarətdir (məsələn, PiNS:1:REG:domain:address:pubkey:nonce:signature).

  • PIVX zənciri həqiqətin mənbəyidir. O, hər domen əmrini daimi olaraq saxlayır. Qeydə alınmış PIVX ə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ğı PIVX 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?
  • REG0__ riyazi Merkle sübutlarından istifadə edərək REG1__ 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 tərtib edilmiş versiyası Doğrulama Açarı (vkey) adlı unikal kriptoqrafik identifikator verir. REG2__ tərtib edilmiş qonaq proqramının strukturunun özünün 32 baytlıq hashıdır. Doğrulama kodunun bir sətri belə dəyişdirilərsə, proqram tamamilə fərqli bir REG3__ kodunu tərtib edir.

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

Yaradılmış ZK sübutu və onun ictimai daxiletmələri Arbitrumda PinNSanchor 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ə REG4__ (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ə REG5__-i Succinct SP1 Verifier Gateway-ə göndərir.
  • Key-Lock Validation: Doğrulama şlüzü yalnız qeydiyyatdan keçmiş REG6__ 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ş REG7__ ilə təsdiqlənirsə, müqavilə rəsmi, qlobal olaraq qəbul edilmiş dövlət kökünü REG8__ 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 REG9__ 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 PIVX 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).