Vitalik Buterin propone límite de costos para pruebas en Ethereum

Vitalik Buterin defiende la creación de un techo rígido para los costos de prueba por unidad de gas en Ethereum. La medida busca establecer un límite claro para el esfuerzo exigido a los operadores independientes incluso en bloques diseñados para ser complejos.

El debate cobra fuerza tras los avances recientes en la velocidad de las pruebas de conocimiento cero como los resultados obtenidos por el equipo de ZKsync. El uso de una GPU NVIDIA RTX PRO 6000 permitió procesar casi la totalidad de los bloques de la red principal en menos de diez segundos.

La propuesta de Buterin se centra en tres prioridades de verificación formal. El objetivo es alinear la representación matemática de la ejecución con la especificación de Ethereum y garantizar la seguridad del sistema de pruebas.

El análisis actual de costos computacionales detallado en la EIP-7904 se enfoca en la ejecución nativa en CPUs y no abarca la generación de pruebas ZK-SNARK. El documento sugiere que no existe necesidad de cambios en las tarifas de gas para la ejecución optimizada aunque reconoce que la carga de trabajo para generar pruebas es distinta.

La red enfrenta el desafío de mantener la previsibilidad del costo de prueba mientras busca aumentar la capacidad de ejecución. El plazo final para la EIP-7904 que trata sobre la capacidad de procesamiento está marcado para el primero de noviembre.