Təhlükəsizlik Zəmanətləri

PiNS-in arxitekturası mütləq təhlükəsizliyə, dəyişməzliyə və mərkəzsizləşdirməyə zəmanət verir, heç bir qurumun domen verilənlər bazasını korlaya bilməməsini təmin edir.

ZK-SNARKs: Dürüstlüyün kriptoqrafik sübutu

Standart verilənlər bazası sistemlərində qeydləri dəyişdirməmək üçün verilənlər bazası administratoruna (yaxud ardıcıllığa) etibar etməlisiniz. PiNS-də etibar riyaziyyatla əvəz olunur.

• Arbitrum ağıllı müqavilə yalnız kök yeniləməsini etibarlı ZK sübutu ilə müşayiət olunarsa qəbul edəcək.
• zkVM Rust qonaq proqramı domen sahibliyini və tranzaksiya qaydalarını ciddi şəkildə tətbiq etdiyinə görə, sekvenser **başqa sahibə ixtiyari olaraq domeni təyin edə, ünvanı imzasız dəyişdirə və ya siyahıya iki dəfə xərcləyə bilməz. Əgər cəhd etsələr, ZK sübut generasiyası uğursuz olacaq və Arbitrum müqaviləsi yeniləməni rədd edəcək.

Suveren Toplama Modeli

PiNS konseptual olaraq ZK-Rollup ilə eynidir:

• Məlumatların Əlçatımlılığı: Xam əməliyyat məlumatları PIVX yerli təhlükəsizliyindən və dəyişməzliyindən zövq alaraq PIVX üzərində saxlanılır.
• İcra: Emal SP1 zkVM-dən kənar zəncirinə yüklənir.
• Hesablaşma: Arbitrum millisaniyələrdə riyaziyyatı yoxlayan dövlət kökünü birləşdirən yüksək səmərəli konsensus koordinatoru kimi çıxış edir.

Konsensusun Saxlanması (Bölünmüş Beyin Probleminin Həlli)

Paylanmış sistemlərdə ümumi problem müxtəlif serverlərin eyni domen üçün fərqli hədəf ünvanlarını göstərdiyi "split-brain" problemidir. PiNS bunu Arbitrum Yoxlama Nöqtələri istifadə edərək həll edir:

1. Arbitrum müqaviləsindəki hər təsdiqlənmiş dövlət kök yeniləməsi onun təmsil etdiyi dəqiq PIVX Blok Hündürlüyünə uyğunlaşdırılır.
2. İndeksatorlar bu xüsusi blok hündürlüyü ilə sinxronlaşır və öz yerli Merkle Ağacını hesablayırlar.
3. İndeksləşdiricinin yerli kökü müqavilənin yoxlama nöqtəsindən fərqlidirsə, indeksləşdirici onun əməliyyatı qaçırdığını, məlumatları sıradan çıxardığını və ya verilənlər bazası xətası ilə qarşılaşdığını dərhal bilir.
4. İndeksləşdirici daha sonra etibarlı şəkildə təsdiqlənmiş tarixçə ilə sinxronlaşa bilər və bütün həlledicilərin qlobal miqyasda vahid, ardıcıl vəziyyəti saxlamasını təmin edir.

Etibarsız Audit (Kənardan Audit)

Bütün xam əməliyyat məlumatları ictimai PIVX blokçeynində qeydə alındığı və qonaq proqramının qaydaları açıq mənbəli olduğu üçün sistem tamamilə auditdən azad və şəffafdır:

• Doğrulama Açarı (vkey) Zəmanəti: Hər kəs açıq mənbəli Rust qonaq proqramını endirə, onu standart SP1 alətlərindən istifadə etməklə yerli olaraq tərtib edə və yaradılan vkey-nin PiNSAnchor-də saxlanılan programVkey ilə uyğunluğunu yoxlaya bilər. Bu, ağıllı müqavilənin gizli boşluqlar və arxa qapılar olmadan dəqiq, dəyişdirilməmiş protokol qaydalarını tətbiq etdiyini sübut edir.
• Dövlət keçidinin yoxlanılması: Hər kəs PiNS Genesis Block-dan PIVX blokçeynini skan edə, bütün ad xidməti əməliyyatlarını çıxara və yerli olaraq qonaq proqramı vasitəsilə işlədə bilər.
• Dövlət Kökünün Uyğunluğu: Tranzaksiyaları təkrarlamaqla, sizin yerli indeksator Arbitrum smart müqaviləsində qeydə alınmış təsdiqlənmiş köklərə uyğun gələn Merkle Kökünü hesablayacaq.
• Dövlət Yoxlanışı: Bu, istənilən üçüncü tərəfə, tərtibatçıya və ya auditora adlandırma xidmətinin etibarlı, təhlükəsiz olduğunu və yaradıldığı gündən ona heç bir müdaxilə edilmədiyini kriptoqrafik yolla sübut etməyə imkan verir.

Nəyə görə bu, Ağıllı olmayan Müqavilə Zəncirləri üçün Ən Yaxşı Həlldir

Bitcoin və ya PIVX kimi təhlükəsizlik və tranzaksiya sürətini ağıllı müqavilələrdən üstün tutan blokçeynlər üçün mürəkkəb proqramları yerli olaraq qurmaq mümkün deyil. Standart alternativ, tək uğursuzluq və senzura nöqtəsini təqdim edən etibarlı mərkəzləşdirilmiş serverdən istifadə etməkdir.

PiNS üçüncü yolu təmin edir: sıfır bilik yoxlaması ilə qeyri-mərkəzləşdirilmiş zəncirdən kənar icra. O, PIVX əsas protokolunu dəyişdirmədən, istifadəçinin şəxsi açarlarını təhlükəsiz saxlamadan və mütləq mərkəzləşdirilməmiş mülkiyyət hüququnu qoruyub saxlamadan PIVX-a EVM səviyyəli təhlükəsizlik və adlandırma xüsusiyyətləri gətirir.