Documento técnico de Dexter
Pruebas de Retiro, Disputas y Root Challenges
Cada payout sale del vault contra una prueba criptográfica que une wallet, nonce, balance adeudado y root publicado.
3 secciones
3 min de lectura
Capítulo del documento
#Ciclo de vida del retiro
- El usuario solicita retiro y se crea nonce de cuenta.
- El runtime incluye la solicitud en el siguiente snapshot.
- State root y compromisos asociados se publican en Base.
- La ventana de desafío se abre.
- El usuario recibe leaf y Merkle proof.
- El vault verifica prueba, nonce y ventana antes de liberar USDC.
#Disputas y root challenges
Si el root publicado no coincide con el estado esperado, la finalización no se fuerza. El sistema espera una publicación corregida o una resolución de challenge. Esto protege al usuario de un root incorrecto y protege al vault de una prueba falsa.
#Qué ve el usuario
La interfaz debe mostrar estado de solicitud, root id, ventana pendiente, prueba disponible y hash de salida. Un retiro pendiente no significa dinero perdido; significa que la prueba aún no está lista o que la ventana de seguridad no terminó.