Niyə sübutlar?

İndeksator PIVX blokçeynini skan edir və adların reyestrini qurur. Bəs niyə kimsə buna inanmalıdır? Nə olarsa:

• Zəncirdə heç vaxt olmayan bir qeydiyyatı hazırlayır?
• Səhv rüsum alır?
• Bir adı iki dəfə qeyd edir?
• Reyestr dövlətinə müdaxilə edir?

ZK sübutları bu sualları aradan qaldırır. Hər bir sübut qeydiyyatın düzgün aparıldığına dair kriptoqrafik sertifikatdır. Hər kəs sübutu müstəqil olaraq yoxlaya bilər.

Hər Sübut Nəyi Təsdiq edir

PIVX Prover SP1 - RISC-V sıfır bilikli virtual maşından istifadə edir. Domen ilə hər bir əməliyyat üçün prover zkVM daxilində aşağıdakı yoxlamaları həyata keçirir:

1. Adın etibarlılığı -- 1-64 simvol, kiçik hərf-rəqəm + defis
2. Haqqın kifayət qədər olması -- əməliyyat ad uzunluğu üçün kifayət qədər PIVX ödənilib
3. Protokol əmrinin bütövlüyü -- əməliyyat ad uzunluğu üçün kifayət qədər PIVX ödənilib
4. Ed25519 imza -- memo command üzərindəki imza etibarlıdır
5. Merkle ağacının daxil edilməsi -- ad onsuz da mövcud deyildi və yeni dövlət kökü düzgündür

Hər hansı bir yoxlama uğursuz olarsa, sübut yaradıla bilməz.

İctimai Nəticələr

Hər bir sübut ona daimi olaraq bağlı olan 3 dəyər verir:

Çıxış	Təsvir
old_root	Merkle ağacının kökü bu qeydiyyatdan əvvəl
new_root	Merkle ağacının kökü bu qeydiyyatdan sonra
end_block_height	Qeydiyyat dəstinin ən son PIVX bloku

block_height sübutu xüsusi PIVX blokuna (nəzarət məntəqəsi kimi) bağlayır. Hər kəs PIVX qovşağında əməliyyatlara baxa və memo və dəyər uyğunluğunu təsdiqləyə bilər.