ZK-перевірене співвідбор — це спосіб швидко запустити приватну книгу замовлень, водночас надаючи користувачам криптографічну гарантію, що механізм відповідності правилам. Проблема, яку він вирішує, проста: CLOB потребує оператора (або невеликого набору операторів) для швидкого узгодження замовлень, але цей оператор також може обманювати (перевпорядковувати, пропускати або вибірково заповнювати). ZK змінює модель довіри: оператор може залишатися швидким, але не може завершити оновлення, якщо не доведе, що обчислення було правильним. Як це працює (концептуально) ➤ Замовлення збираються і підбираються поза ланцюгом (щоб отримати виконання з низькою затримкою). ➤ Замість публікації повного потоку замовлень система публікує: - зобов'язання до переходу пакетного / стану (часто корінь стану) - ZK-підтвердження, що відповідність + перевірки ризику + оновлення балансу здійснювалися відповідно до правил протоколу, - достатню доступність даних, щоб користувачі могли вийти навіть у разі зникнення оператора. Саме «достатня доступність даних» — ось де @hibachi_xyz цікавий вибір дизайну: Хібачі запускає високопродуктивний CLOB і публікує зашифровані дані стану/торгівлі до @Celestia (щоб стратегії та позиції не були публічними), при цьому публікуючи докази, щоб оновлення залишалися перевіряними, застосовуючи SP1 (Succinct's zkVM) для підтвердження CLOB. Але що означає «відповідність була правильною» в термінах доведення? zk-proof може застосовувати ті ж інваріанти, які зазвичай покладаються на оператора обміну, наприклад: ➤ Замовлення узгоджувалися лише при перетині цін (без неможливих заповнень). ➤ Послідовність заповнення відповідала правилу пріоритету майданчика (наприклад, пріоритет ціна-час або те, що вказує місце проведення). ➤ Баланси/маржі були оновлені коректно (без прихованих редагувань балансу). ...