İspatlar neden gerekli?

Bir indeksleyici PIVX blok zincirini tarar ve bir isim kütüğü oluşturur. Peki ona neden güvenilsin? Ya şunları yaparsa:

• Zincirde hiç gerçekleşmemiş bir kaydı uydurursa?
• Yanlış ücret alırsa?
• Bir ismi iki kez kaydederse?
• Kütük durumunu tahrif ederse?

ZK ispatları bu soruları ortadan kaldırır. Her ispat, kaydın doğru işlendiğine dair kriptografik bir sertifikadır. Herkes ispatı bağımsız olarak doğrulayabilir.

Her ispat neyi doğrular

PIVX ispat üreticisi, bir RISC-V sıfır bilgi sanal makinesi olan SP1 kullanır. Alan adı içeren her işlem için üretici, zkVM içinde şu denetimleri yapar:

1. İsim geçerliliği — 1-64 karakter, küçük harf, rakam ve tire, izin verilen bir bölgede
2. Adres geçerliliği — hedef adres, doğru ağda modern bech32 biçiminde korumalı bir PIVX Sapling adresi
3. Ed25519 imzası — tam olarak imzalanmış mesaj üzerindeki imza geçerli ve işlemin gerektirdiği anahtarla atılmış
4. İşlem değişmezleri — sahiplik, fiyat durumu ve nonce sırası, yapılan işlemle tutarlı
5. Tekrar koruması — nonce, kaydın önceki nonce değerini kesin olarak aşıyor
6. Durum geçişi — Merkle ispatı eski kökü yeniden kurar ve yeni kök, tam olarak bu değişikliğin uygulanmasından çıkar

Herhangi bir denetim başarısız olursa ispat üretilemez.

İspatın denetlemediği şeyler

Burada kesin olmak, etkileyici görünmekten daha önemli:

• Ödeme devre içinde doğrulanmaz. Bir işlemin doğru ücreti ödeyip ödemediği ve bir BUY işleminin gerçekten para aktarıp aktarmadığı, zincir dışında kayıt operatörü tarafından dayatılır ve zinciri yayımlanmış görüntüleme anahtarıyla yeniden oynatan herkes bunu denetleyebilir. Not sahipliğini zkVM içinde ispatlamak, bugün bütün paketin maliyetinden çok daha pahalıya mal olurdu ve çoğaltmanın zaten sağladığından daha zayıf bir garanti verirdi: bir devre yalnızca bir not taahhüdünü görür, yeniden oynatan bir indeksleyici ise çözülmüş tutarı ve memo'yu görür.
• Devre, girdilerin gerçek zincir olduğunu ispatlamaz. Bu toplu iş verildiğinde geçişin kurallara uyduğunu ispatlar. Toplu işin gerçek, eksiksiz ve doğru sıralanmış komut akışı olduğunu çoğaltma saptar — bkz. Güven ve gizlilik.

PiNS bu yüzden sahtekârlığı önlemek yerine görünür kılar: hatalı bir toplu iş zaten hiç ispatlanamaz ve gerçek zincirden gelmeyen bir toplu iş, her bağımsız indeksleyici tarafından yalanlanır.

Açık çıktılar

Her ispat, kendisine kalıcı olarak bağlı 3 değere bağlanır:

Çıktı	Açıklama
old_root	Bu kayıttan önceki Merkle ağacı kökü
new_root	Bu kayıttan sonraki Merkle ağacı kökü
end_block_height	Kayıt toplu işinin son PIVX bloğu

end_block_height, ispatı bir kontrol noktası gibi belirli bir PIVX bloğuna sabitler. Herkes, yayımlanmış görüntüleme anahtarıyla zinciri o yüksekliğe kadar tarayıp memo'ların ve tutarların toplu işin iddia ettiğiyle eşleştiğini doğrulayabilir.