Commit + colateral
Se publica la política de reversión y se bloquea garantía para penalizar intentos inválidos.
Ecuación 0
Smart Contract Reverse para devoluciones verificables.
Arquitectura para reversiones operativas por encima del consenso: sin reescribir L1, sin degradar seguridad y con verificación honesta de coste marginal cercano a cero.
Definición operativa
limN→∞ Cverify(N) / N = 0
P(R inválida aceptada) ≤ ε(λ)
La verificación honesta de una reversión se convierte en un caso base: prueba sucinta, firma umbral e inclusión Merkle.
<200msVerificación móvil
<32KBRecibo ℜ
1–5minAnclaje L1
2⁻¹²⁸Objetivo ε(λ)
Prueba sucinta
La reversión R se certifica con zk-SNARK/STARK y firma umbral agregada.
Estado corregido
Se genera S' = T(S,R), se publica root(S') y se emite un recibo verificable ℜ.
Verificación instantánea
Cliente, comercio o auditor validan zk + BLS + Merkle sin reorg.