Pencocokan yang dapat diverifikasi ZK adalah cara untuk menjalankan buku pesanan pribadi yang cepat sambil tetap memberi pengguna jaminan kriptografi bahwa mesin pencocokan mengikuti aturan. Masalah yang dipecahkannya sederhana: CLOB membutuhkan operator (atau sekelompok kecil operator) untuk mencocokkan pesanan dengan cepat, tetapi operator itu juga dapat menipu (menyusun ulang, melewatkan, atau mengisi secara selektif). ZK mengubah model kepercayaan: operator dapat tetap cepat, tetapi tidak dapat menyelesaikan pembaruan kecuali mereka membuktikan bahwa itu dihitung dengan benar. Cara kerjanya (secara konseptual) ➤ Pesanan dikumpulkan dan dicocokkan secara off-chain (sehingga Anda bisa mendapatkan eksekusi latensi rendah). ➤ Alih-alih menerbitkan alur pesanan penuh, sistem menerbitkan: - komitmen terhadap transisi batch / status (seringkali akar status) - ZK-proof bahwa pencocokan + pemeriksaan risiko + pembaruan saldo dilakukan sesuai dengan aturan protokol, - Ketersediaan data yang cukup sehingga pengguna tetap dapat keluar meskipun operator menghilang. "Ketersediaan data yang cukup" adalah di mana pilihan desain @hibachi_xyz menarik: Hibachi menjalankan CLOB berkinerja tinggi dan memposting data status / perdagangan terenkripsi ke @Celestia (sehingga strategi dan posisi tidak dipublikasikan), sambil tetap menerbitkan bukti sehingga pembaruan tetap dapat diverifikasi, menggunakan SP1 (zkVM Ringkas) untuk membuktikan CLOB. Tetapi apa arti "pencocokan itu benar" dalam istilah pembuktian? Zk-proof dapat menegakkan invarian yang sama dengan yang biasanya Anda andalkan pada operator pertukaran untuk diikuti, misalnya: ➤ Pesanan dicocokkan hanya ketika harga bersilang (tidak ada pengisian yang mustahil). ➤ Urutan pengisian menghormati aturan prioritas tempat (misalnya, prioritas harga-waktu, atau apa pun yang ditentukan tempat). ➤ Saldo/margin diperbarui dengan benar (tidak ada pengeditan saldo tersembunyi). ...