Sübutlar nə üçündür?

İndeksləyici PIVX blokçeynini skan edir və ad reyestri qurur. Bəs ona niyə etibar edilməlidir? Əgər o:

• Zəncirdə heç vaxt baş verməmiş qeydiyyatı uydursa?
• Səhv haqq alsa?
• Adı iki dəfə qeydiyyatdan keçirsə?
• Reyestrin vəziyyətini saxtalaşdırsa?

ZK sübutları bu sualları aradan qaldırır. Hər sübut qeydiyyatın düzgün emal olunduğuna dair kriptoqrafik sertifikatdır. İstənilən şəxs sübutu müstəqil şəkildə yoxlaya bilər.

Hər sübut nəyi yoxlayır

PIVX sübut generatoru RISC-V sıfır bilik virtual maşını olan SP1 istifadə edir. Domen olan hər əməliyyat üçün generator zkVM daxilində aşağıdakı yoxlamaları aparır:

1. Adın düzgünlüyü — 1-64 simvol, kiçik hərflər, rəqəmlər və defis, icazə verilən zonada
2. Ünvanın düzgünlüyü — hədəf ünvan düzgün şəbəkədə müasir bech32 formasında qorunan PIVX Sapling ünvanıdır
3. Ed25519 imzası — dəqiq imzalanmış mesaj üzərindəki imza etibarlıdır və əməliyyatın tələb etdiyi açarla atılıb
4. Əməliyyat invariantları — sahiblik, qiymət vəziyyəti və nonce sırası icra olunan əməliyyatla uzlaşır
5. Təkrardan qorunma — nonce qeydin əvvəlki nonce dəyərini ciddi şəkildə üstələyir
6. Vəziyyət keçidi — Merkle sübutu köhnə kökü bərpa edir, yeni kök isə məhz bu dəyişikliyin tətbiqindən çıxır

Hər hansı yoxlama uğursuz olarsa, sübutu yaratmaq mümkün deyil.

Sübutun yoxlamadığı şeylər

Burada dəqiq olmaq təsirli görünməkdən vacibdir:

• Ödəniş sxem daxilində yoxlanılmır. Əməliyyatın düzgün haqq ödəyib-ödəməməsi və BUY əməliyyatının həqiqətən vəsait köçürüb-köçürməməsi zəncirdən kənarda qeydiyyatçı tərəfindən təmin olunur və bunu zənciri dərc olunmuş baxış açarı ilə yenidən oynadan hər kəs yoxlaya bilər. Not sahibliyini zkVM daxilində sübut etmək bu gün bütöv paketin dəyərindən qat-qat baha başa gələrdi və replikasiyanın onsuz da verdiyindən daha zəif zəmanət verərdi: sxem yalnız notun öhdəliyini görür, yenidən oynadan indeksləyici isə deşifrə olunmuş məbləği və memo-nu.
• Sxem giriş verilənlərinin həqiqi zəncirdən olduğunu sübut etmir. O, bu paket verildikdə keçidin qaydalara uyğun olduğunu sübut edir. Paketin həqiqi, tam və düzgün sıralanmış əmr axını olduğunu replikasiya müəyyən edir — bax: Etibar və məxfilik.

Məhz buna görə PiNS saxtakarlığın qarşısını almaq əvəzinə onu görünən edir: səhv paketi ümumiyyətlə sübut etmək mümkün deyil, həqiqi zəncirdən gəlməyən paket isə hər müstəqil indeksləyici tərəfindən təkzib olunur.

İctimai çıxışlar

Hər sübut özünə daimi bağlı 3 dəyərə öhdəlik götürür:

Çıxış	Təsvir
old_root	Bu qeydiyyatdan əvvəlki Merkle ağacının kökü
new_root	Bu qeydiyyatdan sonrakı Merkle ağacının kökü
end_block_height	Qeydiyyat paketinin son PIVX bloku

end_block_height sübutu nəzarət nöqtəsi kimi konkret PIVX blokuna bağlayır. Hər kəs dərc olunmuş baxış açarı ilə zənciri həmin hündürlüyə qədər skan edib memo-ların və məbləğlərin paketin iddia etdiyi ilə üst-üstə düşdüyünü təsdiqləyə bilər.