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

Bu səhifə PiNS-in nəyə zəmanət verdiyini və nəyə vermədiyini dəqiq şəkildə açıqlayır. Burada dəqiq olmaq sakitləşdirici olmaqdan daha faydalıdır: güclü olan hissələr həqiqətən güclüdür, sərhədlərin harada olduğunu bilmək isə məhz onlara arxalanmağa imkan verən şeydir.

Xüsusiyyət: saxtakarlıq görünən olur

PiNS saxtakarlığı görünən edir (fraud-evident). İstənilən qayda pozuntusu ya başlanğıcda sübut oluna bilməz, ya da baxan hər kəs üçün ictimai olaraq görünəndir — baxmaq üçün lazım olan verilənlər isə dərc olunub, yəni baxmaq nə icazə, nə də operatorun əməkdaşlığını tələb edir.

Başa düşülməyə dəyər fərq iki yarı arasındadır. Sahiblik və vəziyyət keçidləri kriptoqrafiya ilə təmin olunur və sadəcə pozula bilməz. Qalan hər şey müstəqil replikasiya ilə müəyyən edilir; orada kənara çıxma bütün replikalar tərəfindən eyni anda təkzib olunur. Hər ikisi güclüdür — lakin fərqli şəkildə güclüdür və bu səhifə hansının harada tətbiq olunduğunu açıq deyir.

Ümumiyyətlə mümkün olmayanlar

Bunlar riyaziyyatla təmin olunur. Operatorun heç bir hərəkəti bunları keçə bilməz.

• Domeni sahibindən almaq olmaz. İstənilən vəziyyət dəyişikliyi əməliyyatın tələb etdiyi açarla atılmış Ed25519 imzası tələb edir və bu, sxem daxilində ciddi doğrulama ilə yoxlanılır. Qeydiyyatçı sizin açarınızı saxlamır və onu saxtalaşdıra bilməz.
• Adı iki dəfə qeydiyyatdan keçirmək olmaz. REG daxil olmama sübutu tələb edir, artıq mövcud olan ad isə belə sübut verə bilməz.
• Satıcının imzalamadığı qiymətlə satış mümkün deyil. BUY ödənilən qiymətin elan edilmiş qiymətə bərabər olmasını tələb edir, o isə satıcının imzalanmış LST əmri ilə ağaca sabitlənib.
• Etibarlı sübut olmadan vəziyyət kökünü lövbərləmək olmaz. BNB Smart Chain üzərindəki lövbər müqaviləsi kökü qəbul etməzdən əvvəl hər sübutu programVkey qarşısında yoxlayır. Etibarsız keçidi ümumiyyətlə sübut etmək mümkün deyil.
• Sxemi səssizcə dəyişdirmək olmaz. programVkey konkret kompilyasiya edilmiş proqrama bağlanır. Bir sətri dəyişmək açarı dəyişir, açarı zəncir üzərində dəyişmək isə həm sekvenserin, həm də sahibin iştirakını tələb edən ikitərəfli əməldir.

Sxemlə deyil, müşahidə ilə yoxlananlar

Bəzi xüsusiyyətlər sübutun daxilində təmin olunmur, əvəzində ictimai verilənləri yenidən oynadan hər kəs tərəfindən müəyyən edilir. Bu, başqa mexanizmdir, daha zəif nəticə deyil: bunları hər müşahidəçi icazəsiz yoxlaya bilər və kənara çıxma seçilmiş bir neçə nəfərə deyil, hamıya eyni anda görünür.

• Əmrlərin daxil edilməsi və sırası. Paketləri qeydiyyatçı yığır, deməli əmrləri sıraya düzən odur. Lakin protokol ünvanı və baxış açarı dərc olunduğu üçün hər müstəqil indeksləyici eyni sıranı zəncirin özündən çıxarır və eyni kökü hesablayır. Buraxılmış və ya yeri dəyişdirilmiş əmr bütün replikaların təkzib etdiyi kök verir — həm də dərhal və kimsə xüsusi axtarmadan.
• Paketin bildirdiyi end_block_height dəyəri. O, sxem daxilində məhdudlaşdırılmaq əvəzinə ictimai çıxışlara ötürülür, çünki replikasiya bunu onsuz da müəyyən edir: zənciri yenidən oynadan indeksləyici paketin hansı bloku əhatə etdiyini bilir, ona görə səhv hündürlük də istənilən digər kənara çıxma kimi aşkarlanır.
• Çıxarış təyinatları. Ödəniş məbləğləri, komissiyalar və öhdəliklər dərc olunmuş baxış açarı ilə tam yoxlana bilir — hər ödəniş hesabını adı ilə göstərən memo daşıyır, beləliklə balans reyestrini hər kəs bərpa edə bilər. İctimai qeydlərdə olmayan yeganə şey istifadəçinin hansı təyinat ünvanını göstərməsidir, çünki bu sorğu saytda edilir. Bu hissəni imzaladığı sorğunu saxlayan alıcı bilavasitə özü təsdiqləyir. Bax: Etibar və məxfilik.

Əsl zəmanət niyə replikasiyadır

ZK sübutu bu suala cavab verir: bu giriş verilənləri ilə qaydalara əməl olunubmu?

Replikasiya bu suala cavab verir: bunlar həqiqi giriş verilənləri idimi?

Praktikada ikinci sual daha vacibdir və ona kriptoqrafiya cavab vermir — ona qeydiyyatçının öz protokol ünvanını və baxış açarını dərc etməsi cavab verir; bunun sayəsində hər kəs bütün əmr tarixçəsini başlanğıcdan deşifrə edə, açıq mənbəli indeksləyici ilə yenidən oynada və kökləri müqayisə edə bilər. Qaydalardan kənara çıxan qeydiyyatçı hər müstəqil replikanın təkzib etdiyi kök alır.

Məhz buna görə baxış açarının ictimai olması təfərrüat deyil. Bu, mexanizmin özüdür.

Dəqiq desək: suveren rollup

Struktur baxımından PiNS bir ZK-rollup-dır:

• Verilənlərin əlçatanlığı — hər əmr PIVX əməliyyatının memo sahəsində yaşayır, ödəniş isə eyni qorunan notun içindədir, beləliklə niyyət və ödəniş ayrılmaz şəkildə bağlanır.
• İcra — zəncirdən kənarda, SP1 zkVM daxilində.
• Hesablaşma — BNB Smart Chain lövbərlənmiş kökü saxlayır və sübutları saniyələr ərzində yoxlayır.

Tipik rollup-dan fərqi odur ki, verilənlərin əlçatanlıq qatı məxfilik zənciridir, ona görə «giriş verilənlərini hər kəs oxuya bilər» ifadəsi baxış açarının dərc olunmasını tələb edir — və o dərc olunub.

Bunu özünüz necə yoxlaya bilərsiniz

Yuxarıdakıların heç birini olduğu kimi qəbul etmək lazım deyil:

• Sübut generatorunu kompilyasiya edib müqavilə ilə tutuşdurmaqla programVkey dəyərini yenidən alın.
• Zənciri dərc olunmuş baxış açarı ilə öz indeksləyicinizdən keçirin və kökləri müqayisə edin.
• İstənilən ayrıca adın həllini Merkle sübutu və zəncir üzərində kök yoxlaması ilə təsdiqləyin — bax: Sübutların yoxlanması.