Todas las demás plataformas te piden confiar en el operador. Midas reemplaza la confianza por pruebas, en el motor de emparejamiento, la bóveda, la cascada de riesgo y la capa de liquidación. Así es como funciona.
El emparejamiento se hace off-chain por velocidad, pero nada se acepta por fe. Las ejecuciones llevan la firma de ambos traders, los precios provienen de una fuente en la que nadie puede escribir y la solvencia se puede comprobar en tiempo real.
Un motor determinista y reproducible empareja las órdenes; solo las ejecuciones y las raíces de estado llegan a la cadena. Un mercado, un único cerebro de riesgo.
TestnetMidasSettlement solo ejecuta con las firmas EIP-712 de ambos traders y hace cumplir los dos precios límite firmados: el operador no puede falsificar, ejecutar de más, superar un precio ni repetir una operación.
TestnetEl objetivo final: un TEE impone un orden justo dentro del presupuesto de latencia, y las pruebas de conocimiento cero del emparejamiento y de la liquidación, generadas sobre la propia reproducción del motor, son la garantía.
Hoja de rutaPrecio índice = mediana de un grupo mayoritario entre Chainlink, Pyth y un espejo de 6 plataformas. Si las fuentes discrepan, el mercado se detiene; ninguna función puede escribir un precio. Cambiar las fuentes requiere un aviso de 2 días.
TestnetLas raíces Merkle de pasivos se publican con una cadencia fija en un verificador público, con una vía de escape por inactividad: si el operador deja de publicarlas, sales de forma unilateral.
En migración a MidasUn solo cancelAll() anula todas las órdenes que hayas firmado en todos los motores en una única transacción, y sigue funcionando incluso con la plataforma en pausa.
TestnetEl registro usa IA real, no una casilla que marcar. Y a la defensa antisybil no le importa qué documento presentes: reconoce tu rostro.
Cada sesión de KYC ejecuta verificación de documentos con IA, detección pasiva de prueba de vida y comparación facial biométrica con puntuación de coincidencia, además de comprobante de domicilio y control AML, que determinan los límites por niveles.
Si el mismo rostro en vivo ya existe en una cuenta aprobada, incluso con otro documento de identidad, la nueva cuenta se rechaza automáticamente, y el bloqueo se vuelve a activar en cada intento futuro. Independiente del documento y autosostenido.
Comprobaciones en registros mercantiles, con administradores y beneficiarios reales estructurados como UBO y directores, sin duplicados respecto al solicitante, con el umbral del 25 % del FATF.
Una primitiva de la cadena: inferencia atestiguada por TEE y luego demostrada con ZK, con un registro de compromisos de modelos que demuestra qué modelo se ejecutó, eliminando el riesgo de sustitución del modelo. Decisiones de IA demostrablemente justas.
Código listoUna quiebra afecta primero al fondo de seguro y solo como último recurso al desapalancamiento ordenado, y la contabilidad registra cada unidad de PnL, de modo que la deuda incobrable es visible y no se socializa en silencio.
Fondos por activo absorben los déficits de liquidación antes que nada. El saldo se comprueba antes de liquidar; solo si no alcanza se activa el desapalancamiento.
Margen propio → fondo de seguro → ADL, cerrando la fracción más pequeña que restablece la salud de la posición, evaluada al precio más favorable para el trader, para que un diferencial amplio del oráculo no te perjudique.
El PnL se reparte en cuatro saldos separados (fondo de ganadores, colchón de seguro, deuda incobrable visible y derecho canjeable) con una invariante que garantiza que nada se acuña, se destruye ni se promete dos veces.
Los depositantes aportan colateral y asumen el PnL real del creador de mercado del protocolo, tanto ganancias como pérdidas, la verdadera fuente de rendimiento nativo, con un plazo de retiro obligatorio para evitar corridas.
Código listoUn registro compartido limita el nocional liquidado por bloque en todos los motores, para que un único precio distorsionado no pueda arrasar todo el libro; una cascada real igualmente se completa a lo largo de varios bloques.
Código listoCobertura de reservas frente a pasivos, conservadora por defecto: si falta una instantánea se muestra "desconocido", nunca un falso "totalmente respaldado".
On-chain depositas y conservas la propiedad: la liquidación solo puede mover saldos entre usuarios como una ejecución firmada por ambos, y withdraw siempre paga a msg.sender. No existe ninguna función de rescate, barrido ni retiro de emergencia.
TestnetEl margen bloqueado se segrega por compartimento, así que una quiebra en un motor o serie nunca puede tomar el colateral depositado en otro lugar: los perpetuos aislados, el margen cruzado y las opciones por serie están separados entre sí.
TestnetCualquier nueva autoridad de liquidación pasa por un bloqueo temporal público de 3 días antes de poder tocar un saldo, y la salida nunca se puede pausar, así que siempre tienes margen para irte.
TestnetCualquiera puede listar un mercado; quién puede operarlo lo decide una política, por jurisdicción y por activo, con la identidad fuera de la cadena y solo un hash de atestación anónimo en ella.
Un registro de declaraciones compatible con ERC-3643 / ONCHAINID que almacena solo hashes de atestación, nunca datos personales, además de una política on-chain por jurisdicción y activo y un veredicto de elegibilidad sin estado con motivos legibles por máquina.
Un filtro perimetral de sanciones que bloquea ante cualquier fallo (GeoIP + detección de VPN/Tor), elegibilidad basada en la residencia verificada por KYC, no en la IP de la solicitud, y excepciones administrativas por usuario o por país, auditadas.
Control en tiempo real de depósitos, retiros y operaciones frente a la lista de vigilancia de la OFAC, con reglas de velocidad y puntuación de riesgo de 0 a 100; una coincidencia bloquea, congela y abre un caso, en un único punto de control que bloquea ante cualquier fallo.
Comprobaciones de umbral con ajustes por jurisdicción, generación de datos IVMS-101 y envío mediante el protocolo abierto Travel Rule Protocol, además de la recepción entrante como VASP beneficiario.
Resultados del control AML convertidos en veredictos de riesgo: las sanciones confirmadas se rechazan automáticamente; los casos PEP/AML abren un expediente de diligencia debida reforzada, registrado en un libro accesible para auditores.
Tras el cierre de la cuenta, procesos de borrado eliminan los datos personales y las sesiones en los proveedores según un periodo de conservación configurable, conservando solo un registro de auditoría sin datos personales.
Una baliza VRF de umbral nativa y en cada bloque (estilo drand, compromiso antes de la revelación, reforzada opcionalmente con VDF) cuyo resultado ninguna parte por sí sola, incluido el secuenciador, puede predecir ni sesgar. Alimenta los juegos, la selección de jurados y las acuñaciones y airdrops justos.
Sustituto provisional en testnetLos juegos registran cada apuesta antes de que exista el resultado y liquidan según la baliza: la casa no puede hacer trampa aunque quisiera, con una banca on-chain que no puede aceptar una apuesta que no podría pagar.
TestnetMíralo en funcionamiento: explora los contratos activos en el explorador, o añade Midas y prueba un mercado tú mismo.