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

Оновлення нормативів безпеки робототехніки (США/ЄС) До кінця 2025 року регуляторна історія щодо «роботів у громадських просторах» виглядає інакше в ЄС і США. У ЄС напрямок спрямований до єдиного, багаторівневого стеку відповідності: ➤ безпека продукції (для фізичної машини) ➤ кібербезпека (бо роботи підключені) ➤ та управління ШІ (оскільки автономія та сприйняття керуються ШІ) Командам потрібна документація, контроль життєвого циклу та (у деяких випадках) паралельні робочі потоки класифікації ризиків ШІ (класичне регулювання для ЄС, багато обмежень і паперової роботи). У США ситуація більше залежить від секторів: найчіткіші федеральні «оновлення» стосуються автономії на дорогах (NHTSA ДТС звітності та шляхи розгортання/звільнення) та дронах (контроль FAA Remote ID). Для наземних роботів на тротуарах і в закритих громадських місцях правила залишаються більш фрагментованими і часто місцевими.