Un clan de investigadores anunció un nuevo verificador criptográfico poscuántico para la Máquina Aparente Ethereum (EVM) este martes 19 de mayo en Ethereum Research. Este mejora reemplaza un esquema previo que se vio comprometido oportuno a la refutación del fundamento en tres artículos académicos publicados entre 2025 y 2026.
El nuevo sistema mantendrá la paridad de costos con el sistema presente, pero introduce cambios importantes. depende sólo de resultados matemáticos Elimina la dependencia de especulaciones probadas y no verificadas.
Este avance es parte de los esfuerzos para adaptar Ethereum a escenarios que utilizan computadoras cuánticas que pueden atravesar esquemas criptográficos de curva elíptica como Groth16, que se usa ampliamente en pruebas de conocimiento cero (ZK). El plan es consolidar completamente la red para 2029.
Problemas con el diseño previo.
El verificador presentado en 2024 se basó en una hipótesis conocida como . Brecha de proximidad por limitaciones de capacidad con código Reed-Solomon. En pocas palabras, esta conjetura intenta achicar el número de comprobaciones necesarias para certificar que un polinomio sea correcto sin comprobarlo por completo.
El problema es que esta “ley” no ha sido probada. Tres estudios posteriores citados en el Blog de investigación de Ethereum, demostró que no se cumple en todos los casos..
Si este supuesto falta, las herramientas de potencia anteriores pierden eficiencia y seguridad. Se necesitan más consultas para prolongar el mismo nivel de confianza; Esto aumenta los costos del gas y deja la posibilidad de que las pruebas no válidas sean aceptadas a un ritmo maduro de lo esperado.
Qué está cambiando: de las conjeturas a las garantías comprobadas
Las investigaciones muestran que las nuevas herramientas de potencia reemplazan esa amor con herramientas matemáticas establecidas.
Uno de los cambios centrales es que Conclusión de Johnson, un resultado peculiar de la teoría del códigos. Este coto define un coto auténtico en la cantidad de errores que un sistema puede tolerar al intentar recobrar un mensaje (o polinomio) sin equívoco.
En otras palabras: Establecer hasta qué punto la información se puede “corregir” sin valer el aventura de aceptar datos inexactos.. Contrariamente a las especulaciones anteriores, este coto ha sido probado formalmente, lo que nos permite construir garantías de seguridad verificables.
Adicionalmente, el sistema opera con campos de 31 bits en emplazamiento de los 254 bits de diseños anteriores. Esto reduce la complejidad computacional y hace que la potencia interiormente de EVM sea más valioso.
Bajo estos parámetros, los autores estiman una robustez de 100 bits para un polinomio de tamaño 2²². En la actos, esto significa que la probabilidad de que se acepte una prueba falsa es muy descenso (del orden de 1 en 2¹⁰⁰).
Costo: En carrera con lo que ya usa Ethereum
El coste estimado del nuevo validador se estima en 5,64 millones de gas (aproximadamente 3,98 dólares en el comercio de ETH a un precio de 0,554 Gwei y más de 2.200 dólares), una sigla comparable al sistema actualmente en funcionamiento.
Como relato, las soluciones basadas en pruebas de ZK como StarkNet informan casi 5 millones de costos de gas en 2021 y cerca de de 6 millones de costos de gas en 2024.
Esta equivalencia es importante. Esto demuestra que, al menos en este caso, una maduro resistor cuántica no significa un aumento prohibitivo de los costes.
Limitaciones: aún no se puede implementar
A pesar del progreso, el sistema aún no está vivo para su implementación directa en la red principal.
El principal obstáculo es técnico: los contratos de verificadores. Supera el coto de tamaño permitido por Ethereum en más de 8.500 bytes De 24.576 resultados. Por lo tanto, la tarea debe dividirse en varios contratos y aún no se ha completado.
Adicionalmente, faltan mediciones importantes, como el costo total de las pruebas Merkle excluyendo las simplificaciones y la integración de verificadores interiormente de un sistema completo de prueba de conocimiento.
Nuevas herramientas de potencia resuelven problemas importantes. Reemplazar fundamentos teóricos inválidos por fundamentos matemáticos sólidos manteniendo costes competitivos. Sin bloqueo, sigue siendo sólo una parte de un sistema más amplio. El “escudo post-cuántico” de Ethereum hasta que esté completamente integrado y pueda implementarse en la red principal Continúa siendo una promesa técnica en mejora.es más que una opción ampliamente aprovechable.
(Traducción de etiquetas) Computación cuántica
