Vitalik acaba de lanzar una señal importante sobre las prioridades de los zkEVM 🎯
Felicidades al equipo de $ZKS airbender por el hito, pero aquí va la verdadera información privilegiada:
La guerra de la velocidad TERMINÓ. Ahora la seguridad es lo único que importa.
Qué necesita verificación formal:
1. Aritmetización = especificación de Ethereum (sin desviaciones silenciosas)
2. Un límite máximo estricto al costo de prueba por unidad de gas (sin aumentos inesperados)
3. La seguridad del propio sistema de pruebas (la base)
Básicamente, Vitalik está diciendo: dejen de competir por los TPS y demuestren que su cosa realmente funciona. Los equipos de zkEVM que dominen primero la verificación formal se llevarán el premio. El resto solo será rápido y estará roto.
Fíjense qué equipos se vuelcan de lleno a las auditorías de seguridad y los métodos formales en el segundo trimestre. Esa será la próxima narrativa.
Felicidades al equipo de $ZKS airbender por el hito, pero aquí va la verdadera información privilegiada:
La guerra de la velocidad TERMINÓ. Ahora la seguridad es lo único que importa.
Qué necesita verificación formal:
1. Aritmetización = especificación de Ethereum (sin desviaciones silenciosas)
2. Un límite máximo estricto al costo de prueba por unidad de gas (sin aumentos inesperados)
3. La seguridad del propio sistema de pruebas (la base)
Básicamente, Vitalik está diciendo: dejen de competir por los TPS y demuestren que su cosa realmente funciona. Los equipos de zkEVM que dominen primero la verificación formal se llevarán el premio. El resto solo será rápido y estará roto.
Fíjense qué equipos se vuelcan de lleno a las auditorías de seguridad y los métodos formales en el segundo trimestre. Esa será la próxima narrativa.