Vitalik Buterin ha pedido un límite estricto en los costes de prueba de Ethereum por unidad de gas de bloque, añadiendo un requisito de contabilidad de recursos a la carrera por pruebas de conocimiento cero más rápidas. En una publicación del 15 de octubre, felicitó al equipo de Airbender de ZKsync y planteó tres prioridades: ajustar la representación matemática de la ejecución a la especificación de Ethereum, acotar el coste del probador en relación al gas del bloque y proteger el propio sistema de pruebas.
El lado de la prueba avanza rápido. ZKsync informó el 13 de octubre de que una única GPU NVIDIA RTX PRO 6000 Blackwell probó el 99% de 7.200 bloques consecutivos de la mainnet de Ethereum en menos de 10 segundos cada uno, y todos los bloques muestreados terminaron en menos de 12 segundos. Pero el rendimiento por muestreo no es una garantía: un límite de coste debe cubrir los bloques deliberadamente costosos, no los típicos.
Por qué importa
El gas existe para limitar el consumo de recursos de un bloque, y el argumento de Buterin es que esa asignación también debería traducirse en un límite fiable sobre los recursos de prueba. EIP-7904, actualmente Informativo en Last Call con fecha límite del 1 de noviembre, no recomienda reajustar los precios de cómputo, pero su análisis cubre solo la ejecución en CPU pura a 100 millones de gas por segundo y expresamente no aborda la generación de pruebas ZK-SNARK.
Las mediciones de enero de Nethermind Research hallaron que las precompilaciones criptográficas y las operaciones de aritmética modular o división cuestan desproporcionadamente más de probar por gas, con resultados que varían según el probador. Para un operador que presupuesta hardware, la carga de trabajo legal más dura, no el bloque promedio, determina la capacidad de reserva necesaria.
Impacto en el mercado
Las respuestas probables incluyen una medición ponderada de ZK-gas con un techo por bloque, como propone Nethermind, o un reajuste de precios de los opcodes dentro de la asignación de gas existente, lo que encarecería las aplicaciones que usan operaciones intensivas en pruebas. El mercado de comisiones multidimensional de EIP-7999 sigue en Draft, y la propuesta de pruebas de ejecución opcional de EIP-8025 no ofrece incentivos a los probadores. Hasta que llegue un límite vinculado a cargas de trabajo, hardware y supuestos de seguridad explícitos, una mayor capacidad de ejecución implica una factura de prueba impredecible para los probadores independientes.
Preguntas frecuentes
-
¿Qué propuso Vitalik Buterin sobre los costes de prueba de Ethereum?
En una publicación del 15 de octubre pidió un límite estricto al coste de prueba por unidad de gas de bloque, junto a prioridades de verificación formal que abarcan el ajuste de la ejecución a la especificación y la seguridad del sistema de pruebas.
-
¿Qué rapidez tienen las pruebas actuales de ZKsync para Ethereum?
ZKsync informó de que una única GPU NVIDIA RTX PRO 6000 Blackwell probó el 99% de 7.200 bloques consecutivos de la mainnet en menos de 10 segundos cada uno, y todos los bloques muestreados en menos de 12 segundos.
-
¿Por qué no cubre EIP-7904 la generación de pruebas?
EIP-7904 no recomienda reajustar los precios de cómputo basándose en un análisis de ejecución en CPU pura a 100 millones de gas por segundo, y afirma expresamente que no aborda la generación de pruebas ZK-SNARK, que impone cargas de trabajo distintas.
-
¿Qué operaciones son más caras de probar en Ethereum?
Las mediciones de Nethermind Research hallaron que las precompilaciones criptográficas y varias operaciones de aritmética modular o división cuestan relativamente más de probar por gas, con costes que varían entre probadores como SP1 y RISC0.
-
¿Cómo podría Ethereum hacer cumplir un límite de coste de prueba?
Las opciones incluyen una medición ponderada de ZK-gas con un techo por bloque, como propone Nethermind, o reajustar los precios de los opcodes dentro de la asignación de gas existente, de modo que las operaciones intensivas en pruebas consuman más de la capacidad del bloque.
WuBlockchain
CoinTelegraph
CZ Binance
TheBlock
Crypto Rank News
CoinDesk