Documento técnico de Dexter
State Roots, Retiros y Flujo de Settlement
El dinero sale del vault sólo cuando el estado publicado, el nonce y la prueba Merkle coinciden.
3 secciones
3 min de lectura
Capítulo del documento
#Flujo de settlement
Un retiro entra a la cola bajo un nonce de cuenta. El runtime lo incluye en el siguiente snapshot, publica state root con compromisos vinculados y entrega al usuario los datos de leaf y proof.
El vault verifica proof contra root aceptado, confirma nonce y espera la ventana de desafío. Sólo entonces libera USDC a la wallet.
#Qué ata el root
- Balance final de cuenta y withdrawal pendiente.
- Commitment de secuencia y batch de órdenes.
- Hash de fuentes de precio y versión de configuración.
- Schema version y timestamp de publicación.
#Fallos seguros
Una prueba incorrecta, un nonce consumido o una ventana incompleta hacen revert. Es una parada segura, no una pérdida: el vault se niega a mover fondos hasta que el estado sea verificable.