ZK ile doğrulanabilir eşleştirme, hızlı ve özel bir sipariş defteri çalıştırmanın bir yoludur ve kullanıcılara eşleştirme motorunun kurallara uyduğuna dair kriptografik garanti sunar. Çözümünün basittir: bir CLOB'un emirleri hızlıca eşleştirmek için bir operatöre (veya küçük bir operatör kümesine) ihtiyacı vardır, ancak o operatör aynı zamanda hile yapabilir (yeniden sıralayabilir, atlayabilir veya seçici olarak doldurabilir). ZK güven modelini değiştirir: operatör hızlı kalabilir ama güncellemenin doğru hesaplandığını kanıtlamadıkça güncellemeyi tamamlayamaz. Nasıl çalışır (kavramsal olarak) ➤ Siparişler zincir dışı toplanır ve eşleştirilir (böylece düşük gecikmeli uygulama elde edebilirsiniz). ➤ Tam sipariş akışını yayımlamak yerine, sistem şunları yayınlar: - Parti/durum geçişine bağlılık (genellikle bir durum kökü olarak) - Uyum + risk kontrolleri + denge güncellemelerinin protokol kurallarına göre yapıldığına dair zk-kanıtı, - Operatör ortadan kaybolsa bile kullanıcıların yine de çıkabilmeleri için yeterli veri erişilebilirliği. "Yeterli veri erişilebilirliği" @hibachi_xyz'nin tasarım seçiminin ilginç noktasıdır: Hibachi yüksek performanslı bir CLOB çalıştırıyor ve şifreli durum/ticaret verilerini @Celestia'ye gönderiyor (böylece stratejiler ve pozisyonlar kamuya açık değil), güncellemelerin doğrulanabilir kalması için kanıtlar yayınlıyor ve SP1 (Succinct'in zkVM'i) kullanılarak CLOB'u kanıtlıyor. Ama "eşleşme doğruydu" ispat terimleriyle ne anlama geliyor? Bir zk-proof, normalde bir borsa operatörüne güveneceğiniz aynı invariantları zorunlu kılabilir, örneğin: ➤ Siparişler yalnızca fiyatlar kesiştiğinde eşleştirilirdi (imkansız doldurma yok). ➤ Doldurma dizisi, mekanın öncelik kuralına (örneğin, fiyat-zaman önceliği veya mekanın belirttiği herhangi bir şey) saygı göstermiştir. ➤ Bakiyeler/marjlar doğru güncellendi (gizli bakiye düzenlemeleri yok). ...