ZK-ověřitelné párování je způsob, jak provozovat rychlý, soukromý bookbook, přičemž uživatelům stále poskytuje kryptografickou záruku, že matching engine dodržuje pravidla. Problém, který řeší, je jednoduchý: CLOB potřebuje operátora (nebo malou skupinu operátorů), aby rychle sjednal objednávky, ale tento operátor může také podvádět (přeobjednat, přeskočit nebo selektivně vyplnit). ZK mění model důvěry: operátor může být rychlý, ale nemůže dokončit aktualizaci, pokud neprokáže, že byla správně vypočítána. Jak to funguje (konceptuálně) ➤ Objednávky se sbírají a párují mimo řetězec (takže můžete dosáhnout nízké latence vykonání). ➤ Místo zveřejnění celého toku objednávek systém zveřejňuje: - závazek k přechodu mezi dávkou / stavem (často kořen stavu) - zk-důkaz, že matching + risk checks + balance updates byly prováděny podle pravidel protokolu, - dostatečnou dostupnost dat, aby uživatelé mohli odejít i v případě, že operátor zmizí. Právě "dostatečná dostupnost dat" je to, co @hibachi_xyz designové rozhodnutí zajímá: Hibachi provozuje vysoce výkonný CLOB a zveřejňuje šifrovaná data o stavu / obchodech na @Celestia (aby strategie a pozice nebyly veřejné), přičemž stále publikuje důkazy, aby aktualizace zůstaly ověřitelné, přičemž používá SP1 (Succinctova zkVM) k prokázání CLOB. Ale co znamená "shoda byla správná" z hlediska důkazu? Zk-proof může vynutit stejné invarianty, které byste normálně spoléhali na operátor výměny, například: ➤ Objednávky se párovaly pouze tehdy, když se ceny křížily (žádné nemožné vyplňování). ➤ Sekvence plnění respektovala prioritní pravidlo místa (např. priorita cena-čas nebo cokoli, co místo určuje). ➤ Zůstatky/marže byly správně aktualizovány (žádné skryté úpravy zůstatku). ...