La correspondencia verificable por ZK es una forma de gestionar un libro de pedidos rápido y privado mientras se ofrece a los usuarios una garantía criptográfica de que el motor de emparejamiento sigue las reglas. El problema que resuelve es sencillo: un CLOB necesita un operador (o un pequeño conjunto de operadores) para emparejar órdenes rápidamente, pero ese operador también puede hacer trampa (reordenar, saltarse o llenar selectivamente). ZK cambia el modelo de confianza: el operador puede mantenerse rápido, pero no puede finalizar una actualización a menos que demuestre que se calculó correctamente. Cómo funciona (conceptualmente) ➤ Las órdenes se recogen y emparejan fuera de la cadena (para que puedas obtener una ejecución de baja latencia). ➤ En lugar de publicar el flujo completo de órdenes, el sistema publica: - un compromiso con la transición por lotes / estado (a menudo una raíz de estado) - una prueba zk de que las actualizaciones de coincidencia + control de riesgo + balance se realizaron según las reglas del protocolo, - suficiente disponibilidad de datos para que los usuarios puedan salir incluso si el operador desaparece. Esa "suficiente disponibilidad de datos" es donde la elección de diseño de @hibachi_xyz resulta interesante: Hibachi está ejecutando un CLOB de alto rendimiento y publicando datos cifrados de estado/comercio a @Celestia (para que las estrategias y posiciones no sean públicas), mientras sigue publicando pruebas para que las actualizaciones sean verificables, usando SP1 (zkVM de Succinct) para demostrar el CLOB. Pero, ¿qué significa "coincidencia correcta" en términos de demostración? Una prueba zk puede imponer los mismos invariantes que normalmente dependerías de un operador de intercambio para seguir, por ejemplo: ➤ Los pedidos se emparejaban solo cuando los precios se cruzaban (sin rellenos imposibles). ➤ La secuencia de llenado respetaba la regla de prioridad del lugar (por ejemplo, prioridad precio-tiempo, o lo que especifique el local). ➤ Los saldos/márgenes se actualizaron correctamente (sin ediciones ocultas de saldo). ...