Muchas felicidades al equipo de @zksync airbender por este hito.
A estas alturas, considero que la batalla por la velocidad está definitivamente ganada, y que la máxima prioridad de los zkEVM debería centrarse por completo en la seguridad.
Para mí, eso significa verificar formalmente:
(i) la equivalencia de la aritmetización con la especificación de Ethereum
(ii) un límite máximo estricto para (el costo de generación de pruebas) / (la cantidad de gas en el bloque)
(iii) la seguridad del propio sistema de pruebas
https://firefly.social/post/x/2110011544360607842
A estas alturas, considero que la batalla por la velocidad está definitivamente ganada, y que la máxima prioridad de los zkEVM debería centrarse por completo en la seguridad.
Para mí, eso significa verificar formalmente:
(i) la equivalencia de la aritmetización con la especificación de Ethereum
(ii) un límite máximo estricto para (el costo de generación de pruebas) / (la cantidad de gas en el bloque)
(iii) la seguridad del propio sistema de pruebas
https://firefly.social/post/x/2110011544360607842