Skip to main content

Necə işləyir

PIVX Ad Xidməti (PiNS) insan üçün oxunaqlı domen adlarını (məsələn, myname.pivx) qeydiyyatdan keçirməyə, həll olunduqları ünvanı dəyişməyə, başqa sahiblərə ötürməyə və bazarda satışa çıxarmağa imkan verir, onları PIVX ünvanlarına təhlükəsiz şəkildə bağlayır.

PIVX ümumi təyinatlı ağıllı müqavilələri olmayan UTXO əsaslı blokçeyn olduğuna görə, domen reyestri kimi mürəkkəb verilənlər bazası sistemini özü işlədə bilməz. PiNS bunu həll etmək üçün rollup tipli arxitekturadan istifadə edir: əməliyyatlar zəncirdən kənarda icra olunur, verilənlər PIVX-də saxlanılır, təhlükəsizlik isə BNB Smart Chain üzərində lövbərlənir.

Sistem bir-biri ilə əlaqəli beş komponentdən ibarətdir:

1. PIVX blokçeyni: verilənlərin əlçatanlıq qatı​

İstifadəçinin hər hərəkəti — adın qeydiyyatı (REG), ünvanın dəyişdirilməsi (UPD), sahibliyin ötürülməsi (CHG), bazarda satışa çıxarma (LST), satışdan çıxarma (ULT) və ya alış (BUY) — adi PIVX əməliyyatı kimi başlayır. Əməliyyat memo sahəsində strukturlaşdırılmış mətn əmri daşıyır (məsələn, PiNS:1:REG:domain:address:pubkey:nonce:signature).

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

2. Qeydiyyatçı qovşağı: sekvenser​

Avtomatik qeydiyyatçı qovşağı PIVX blokçeynini skan edir. O, domen əmrlərini oxuyur, istifadəçinin düzgün haqq ödədiyini yoxlayır və əməliyyatları növbəyə qoyur. Hər 10 dəqiqədən bir qeydiyyatçı bu əməliyyatları vahid paketə (batch) birləşdirir.

3. SP1 zkVM: sıfır bilik mühərriki (Succinct tərəfindən)​

Əməliyyat paketi SP1 Sıfır Bilik Virtual Maşınına (zkVM) göndərilir. zkVM ciddi protokol hakimi kimi işləyən xüsusi Rust qonaq proqramını icra edir. Sübut generatoru paketdəki hər əməliyyatı yoxlayır:

  • İmzalar etibarlıdırmı və həqiqətən domen sahibləri tərəfindən atılıbmı?
  • Təkrar hücumların qarşısını almaq üçün nonce-lar ciddi şəkildə artırmı?
  • Domen prefiksləri düzgün formatlanıbmı?
  • BUY əməliyyatı LST əməliyyatında göstərilən qiyməti dəqiq ödəyirmi?
  • old_root riyazi Merkle sübutları ilə düzgün şəkildə new_root dəyərinə keçirmi?

Bütün qaydalar ödənilirsə, zkVM (Groth16 ilə) ZK-SNARK kriptoqrafik sübutu yaradır. Bu sübut riyazi olaraq bunu bəyan edən kiçicik sertifikatdır: «A vəziyyət kökündən başlayaraq, bu etibarlı əməliyyat paketi tətbiq olunduqdan sonra yeni vəziyyət kökü B-dir».

Bu qonaq proqramın hər kompilyasiya edilmiş versiyası doğrulama açarı (vkey) adlanan unikal kriptoqrafik identifikator verir. vkey — kompilyasiya edilmiş qonaq proqramın strukturunun 32 baytlıq heşidir. Doğrulama kodunun hətta bir sətri dəyişdirilsə, proqram tamamilə başqa vkey ilə kompilyasiya olunur.

4. BNB Smart Chain müqaviləsi: lövbər​

Yaradılmış ZK sübutu və onun ictimai giriş verilənləri BNB Smart Chain üzərindəki PiNSAnchor ağıllı müqaviləsinə göndərilir. Müqavilə hesablaşma şlüzü kimi çıxış edir.

  • Kriptoqrafik bağ: ağıllı müqavilənin daxilində zəncir üzərində programVkey (qonaq proqramın gözlənilən 32 baytlıq heşi) saxlanılır. Sübut təqdim edildikdə müqavilə onu programVkey ilə birlikdə Succinct-in SP1 Doğrulama Şlüzünə ötürür.
  • «Açar-kilid» yoxlaması: doğrulama şlüzü sübutu yalnız qeydə alınmış programVkey ilə uyğun gələn məhz həmin qonaq proqram tərəfindən yaradılıbsa təsdiqləyəcək.
  • Sübut etibarlıdırsa və qeydə alınmış programVkey qarşısında doğrulanıbsa, müqavilə rəsmi, hamı tərəfindən qəbul edilən vəziyyət kökünü B olaraq yeniləyir və onu tarixçəsində saxlayır.
  • Hətta bir qayda pozulubsa və ya sübut dəyişdirilmiş qonaq proqramla yaradılıbsa (bu, başqa vkey verərdi), müqavilə əməliyyatı rədd edir və icazəsiz vəziyyət keçidlərinin qarşısını alır.

Niyə BNB Smart Chain​

Lövbər zəncirinin yeganə işi kökü saxlamaq və sübutu yoxlamaqdır, ona görə əhəmiyyətli olan iki şeydir: nəzarət nöqtəsinin nə qədər tez yekunlaşması və onun belə qalacağına nə dərəcədə əmin olmaq mümkünlüyü.

  • Təxminən 2 saniyəlik blok müddəti, beləliklə paket sübut olunan kimi lövbərlənir və indeksləyicilər yeni nəzarət nöqtəsində tez birləşir.
  • Praktikada dərin yenidən təşkillər yoxdur, beləliklə indeksləyicinin sinxronlaşdığı nəzarət nöqtəsi ayağının altından çəkilmir. Dərin yenidən təşkilləri olan lövbər zənciri indeksləyiciləri artıq yekunlaşmış saydıqları vəziyyəti geri qaytarmağa məcbur edərdi.
  • Sübutun yoxlanması paketin ölçüsündən asılı olmayaraq zəncir üzərində sabit və ucuz xərcdir — bir Groth16 yoxlaması paketdəki bütün əməliyyatları əhatə edir.

5. Paylanmış indeksləyicilər: həlledicilər​

İstənilən şəxs müstəqil indeksləyici qovşağı işlədə bilər. İndeksləyicilər domen əməliyyatları üçün PIVX blokçeynini, doğrulanmış kök nəzarət nöqtələri üçün isə BNB Smart Chain müqaviləsini skan edir. Onlar əməliyyatları yerli olaraq tətbiq edir, öz Merkle ağaclarını hesablayır və yerli köklərinin zəncirdəki nəzarət nöqtəsi ilə üst-üstə düşdüyünü yoxlayır.

  • Bu, bütün indeksləyicilərin, harada işləmələrindən asılı olmayaraq, domenləri həmişə tam eyni hədəf ünvana həll etməsini təmin edir (paylanmış uclarda vahid vəziyyət saxlanılır).