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

zNS 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 (və ya ardıcıllığına) etibar etməlisiniz. zNS-də etibar riyaziyyatla əvəz olunur.

• Arbitrum smart müqaviləsi yalnız etibarlı ZK sübutu ilə müşayiət olunan kök yeniləməsini 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

zNS konseptual olaraq ZK-Rollup ilə eynidir:

• Məlumatların Əlçatımlılığı: Xam əməliyyat məlumatları ZCash tarixində saxlanılır, ZCash yerli təhlükəsizliyi və dəyişməzliyindən zövq alı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 "bölünmüş beyin" problemidir. zNS 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 ZCash Blok Hündürlüyünə uyğunlaşdırılır.
2. İndeksatorlar bu xüsusi blok hündürlüyü ilə sinxronlaşdırılı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ərqlənirsə, 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 ZCash 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 zNSAnchor-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 zNS Genesis Block-dan ZCash 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 ZCash 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.

zNS üçüncü yolu təmin edir: sıfır bilik yoxlaması ilə qeyri-mərkəzləşdirilmiş zəncirdən kənar icra. O, ZCash ə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 ZCash-a EVM səviyyəli təhlükəsizlik və adlandırma xüsusiyyətləri gətirir.