Niyə sübutlar?

İndeksator ZCash 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

ZCash Prover SP1 istifadə edir - RISC-V sıfır bilikli virtual maşın. 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 ZEC ödənilib
3. Protokol əmrinin bütövlüyü - protokolun bütün şərtləri yerinə yetirilir
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 ZCash bloku

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