Slow and Steady: Preventing MEV with Verifiable Delays
Este artículo propone un mecanismo de defensa contra el Valor Máximo Extraíble (MEV) en libros de contabilidad distribuidos mediante la imposición de retrasos verificables en la generación de transacciones, demostrando su efectividad tanto en modelos bizantinos como de teoría de juegos, al tiempo que describe sus limitaciones teóricas y viabilidad práctica basándose en datos históricos.
Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
Imagina un mundo donde el dinero digital no es solo números en una cuenta bancaria, sino un libro de contabilidad gigante y público que todos pueden ver y actualizar. Este es el mundo de la blockchain, la tecnología detrás de las criptomonedas como Bitcoin y Ethereum. Piensa en ello como un cuaderno masivo y compartido donde cada transacción se escribe en una nueva "página" de bloques. Para mantener este cuaderno honesto, un grupo especial de personas (o computadoras) llamadas "creadores de bloques" se turnan para escribir estas nuevas páginas. Ellos son los árbitros del juego.
Sin embargo, en esta carrera digital de alta velocidad, ha surgido un problema escurridizo llamado MEV, o Valor Extraíble Máximo. Imagina una carrera donde la persona que recorre la pista (el creador del bloque) puede echar un vistazo a los planes de los corredores antes de que comiencen. Si ve que un corredor está a punto de comprar un artículo raro, el árbitro puede intervenir, comprarlo primero y vendérselo al corredor a un precio más alto, embolsándose la diferencia. En el mundo de la blockchain, esto significa que la persona que escribe el bloque puede reorganizar las transacciones para obtener un beneficio rápido, a menudo a expensas de los usuarios habituales. Es como si el árbitro manipulara el juego para ganar una apuesta por su cuenta. La gran pregunta para científicos y desarrolladores es: ¿Cómo detenemos al árbitro para que no manipule el juego sin ralentizar toda la carrera hasta dejarla a paso de tortuga?
Este artículo, titulado "Lento y Constante: Previniendo el MEV con Retrasos Verificables", propone una solución ingeniosa inspirada en la vieja fábula de la Liebre y la Tortuga. Los autores, Zeta Avarikioti y su equipo, sugieren que, a veces, ralentizar las cosas es exactamente lo que necesitas para ganar. Introducen un mecanismo que impone un "retraso verificable" en cada transacción. Piensa en ello como un reloj de arena mágico que un usuario debe girar antes de que su transacción pueda ser aceptada. Este reloj de arena tarda un tiempo determinado en agotarse y, lo más importante, nadie puede acelerarlo, incluso si tiene una supercomputadora.
Así es como funciona la magia: Cuando un usuario quiere enviar una transacción, no solo la grita a la red. En su lugar, primero pone la transacción en una "caja cerrada" (un compromiso criptográfico) y luego la pasa por un rompecabezas especial llamado Función de Retraso Verificable (VDF). Este rompecabezas está diseñado para que tome un tiempo específico para resolverse —por ejemplo, 30 minutos— y no hay forma de resolverlo más rápido, sin importar cuántas computadoras le lances. Solo después de que se resuelva el rompecabezas, la transacción puede ser revelada y añadida a la blockchain.
El artículo encuentra que este retraso crea un escudo poderoso contra el MEV. Aquí está la lógica: Si un creador de bloques ve una transacción que parece una oportunidad de ganar dinero (como la oportunidad de hacer un "sandwich" a la operación de un usuario), normalmente intentaría intervenir y reorganizar el orden para robar el beneficio. Pero con este nuevo sistema, para cuando el creador del bloque descubre la oportunidad e intenta construir un nuevo bloque para explotarla, la transacción original ya ha sido bloqueada y finalizada debido al retraso obligatorio. El creador del bloque es demasiado lento para reaccionar. El artículo demuestra matemáticamente que si el retraso se establece en un tiempo mayor al que normalmente tarda una transacción en confirmarse, el "manipulador" simplemente no puede ganar.
Los autores también analizaron el lado de la "teoría de juegos", preguntándose si las personas racionales seguirían intentando manipular el juego. Encontraron que si todos siguen las reglas, nadie tiene incentivos para romperlas porque el retraso hace que sea imposible obtener beneficios de la manipulación. Sin embargo, también identificaron un escenario "negativo": si todos deciden coludirse e ignorar las reglas juntos, aún podrían causar problemas, pero este es un problema general de cualquier sistema, no solo de este.
Crucialmente, el artículo no solo ofrece teoría; verifica el mundo real. Los autores analizaron datos históricos de Ethereum y otras redes. Encontraron que, si bien algunas oportunidades de MEV son enormes (millones de dólares), la gran mayoría —más del 99%— son en realidad bastante pequeñas, a menudo de unos pocos dólares o incluso menos de un dólar. Esto sugiere que un retraso de aproximadamente 30 minutos (que es aproximadamente el doble del tiempo de seguridad normal para Ethereum) sería suficiente para detener casi todas estas estafas pequeñas y molestas, específicamente aquellas que son impredecibles.
El artículo concluye que este enfoque de "Lento y Constante" es una defensa realista. Sugiere que podemos hacer que las blockchains sean más justas y fáciles de usar aceptando un poco de lentitud. Sin embargo, los autores advierten cuidadosamente que esto no es una varita mágica para todo. Funciona muy bien para cosas como registrar un NFT o enviar dinero, donde esperar 30 minutos está bien. Pero para el comercio de alta velocidad en un intercambio descentralizado, donde los precios cambian en segundos, este retraso podría ser demasiado largo y, de hecho, podría perjudicar a los usuarios que intenta proteger. El artículo sugiere que esta herramienta debe usarse con sabiduría, quizás solo para tipos específicos de aplicaciones donde la velocidad no es lo más importante.
En resumen, el artículo argumenta que, al forzar un "tiempo de espera" que no puede ser manipulado, podemos nivelar el campo de juego. Convierte la carrera de un sprint donde el más rápido (y a veces el más astuto) gana, en una marcha constante donde todos llegan al mismo tiempo y el árbitro no puede manipular la línea de meta.
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.