ZK-доказуемое соответствие — это способ работы быстрого, приватного ордербука, при этом предоставляя пользователям криптографическую гарантию того, что механизм соответствия следовал правилам. Проблема, которую он решает, проста: CLOB нуждается в операторе (или небольшой группе операторов), чтобы быстро сопоставлять заказы, но этот оператор также может обмануть (переставить, пропустить или выборочно заполнить). ZK меняет модель доверия: оператор может оставаться быстрым, но не может завершить обновление, если не докажет, что оно было вычислено правильно. 𝗛𝗼𝘄 𝗶𝘁 𝘄𝗼𝗿𝗸𝘀 (𝗰𝗼𝗻𝗰𝗲𝗽𝘁𝘂𝗮𝗹𝗹𝘆) ➤ Заказы собираются и сопоставляются вне цепи (так что вы можете получить выполнение с низкой задержкой). ➤ Вместо публикации полного потока заказов система публикует: - 𝘢 𝘤𝘰𝘮𝘮𝘪𝘵𝘮𝘦𝘯𝘵 𝘵𝘰 𝘵𝘩𝘦 𝘣𝘢𝘵𝘤𝘩 / 𝘴𝘵𝘢𝘵𝘦 𝘵𝘳𝘢𝘯𝘴𝘪𝘵𝘪𝘰𝘯 (𝘰𝘧𝘵𝘦𝘯 𝘢 𝘴𝘵𝘢𝘵𝘦 𝘳𝘰𝘰𝘵) - 𝘢 𝘻𝘬-𝘱𝘳𝘰𝘰𝘧 𝘵𝘩𝘢𝘵 𝘵𝘩𝘦 𝘮𝘢𝘵𝘤𝘩𝘪𝘯𝘨 + 𝘳𝘪𝘴𝘬 𝘤𝘩𝘦𝘤𝘬𝘴 + 𝘣𝘢𝘭𝘢𝘯𝘤𝘦 𝘶𝘱𝘥𝘢𝘵𝘦𝘴 𝘸𝘦𝘳𝘦 𝘥𝘰𝘯𝘦 𝘢𝘤𝘤𝘰𝘳𝘥𝘪𝘯𝘨 𝘵𝘰 𝘵𝘩𝘦 𝘱𝘳𝘰𝘵𝘰𝘤𝘰𝘭 𝘳𝘶𝘭𝘦𝘴, - 𝘦𝘯𝘰𝘶𝘨𝘩 𝘥𝘢𝘵𝘢 𝘢𝘷𝘢𝘪𝘭𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘴𝘰 𝘶𝘴𝘦𝘳𝘴 𝘤𝘢𝘯 𝘴𝘵𝘪𝘭𝘭 𝘦𝘹𝘪𝘵 𝘦𝘷𝘦𝘯 𝘪𝘧 𝘵𝘩𝘦 𝘰𝘱𝘦𝘳𝘢𝘵𝘰𝘳 𝘥𝘪𝘴𝘢𝘱𝘱𝘦𝘢𝘳𝘴. Это "достаточная доступность данных" — вот где выбор дизайна @hibachi_xyz интересен: Hibachi работает с высокопроизводительным CLOB и публикует зашифрованные данные о состоянии / сделках в @Celestia (так что стратегии и позиции не являются публичными), при этом публикуя доказательства, чтобы обновления оставались проверяемыми, используя SP1 (zkVM от Succinct), чтобы доказать CLOB. 𝗕𝘂𝘁 𝘄𝗵𝗮𝘁 “𝗺𝗮𝘁𝗰𝗵𝗶𝗻𝗴 𝘄𝗮𝘀 𝗰𝗼𝗿𝗿𝗲𝗰𝘁” 𝗺𝗲𝗮𝗻𝘀 𝗶𝗻 𝗽𝗿𝗼𝗼𝗳 𝘁𝗲𝗿𝗺𝘀? ZK-доказательство может обеспечить те же инварианты, на которые вы обычно полагаетесь, чтобы оператор биржи следовал, например: ➤ Заказы сопоставлялись только тогда, когда цены пересекаются (без невозможных заполнений). ➤ Последовательность заполнения соблюдала правило приоритета площадки (например, приоритет по цене и времени или любое другое, что указывает площадка). ➤ Балансы/маржи обновлялись правильно (без скрытых редактирований баланса). ...