Vitalik Buterin ha solicitado un límite máximo en los costos de prueba de Ethereum por unidad de gas de bloque. Buterin felicitó al equipo de Airbender de ZKsync en una publicación del 15 de octubre y identificó tres prioridades de verificación formal: hacer coincidir la representación matemática de la ejecución con la especificación de Ethereum, limitar el costo del probador en relación con el gas del bloque y asegurar el sistema de prueba. El gas representa el trabajo de ejecución y limita el consumo de recursos del bloque, pero un límite de prueba útil debe conectar ese permiso con los recursos de generación de prueba, incluidas cargas de trabajo deliberadamente difíciles. La Fundación Ethereum estableció una fase centrada en la seguridad para diciembre de 2025.
El análisis actual de costo de cómputo de EIP-7904 recomienda no modificar el costo de gas de cómputo y especifica ningún cambio en el calendario de gas de Ethereum. EIP-7904 es una propuesta informativa en Última Llamada desde el 18 de octubre, con una fecha límite el 1 de noviembre. El análisis de EIP-7904 tiene como objetivo 100 millones de gas por segundo en clientes de ejecución nativa optimizados. EIP-7904 atribuye su conclusión modificada a optimizaciones habilitadas por Listas de Acceso a Nivel de Bloque, incluyendo trabajo paralelo que acelera operaciones previamente problemáticas. Sin embargo, EIP-7904 cubre la ejecución en una CPU desnuda y excluye expresamente la consideración específica de la generación de pruebas ZK-SNARK, que impone cargas de trabajo diferentes.
ZKsync informó el 13 de octubre que una NVIDIA RTX PRO 6000 Blackwell probó el 99% de 7.200 bloques consecutivos de ethereum mainnet en menos de 10 segundos cada uno, incluida la preparación de los testigos. ZKsync informó que cada bloque muestreado finalizó en menos de 12 segundos. ZKsync también describió configuraciones separadas de ETHproofs en vivo utilizando dos y cuatro GPU. Sin embargo, una garantía de costo máximo debe cubrir toda carga de trabajo permitida dentro de las suposiciones indicadas, incluidos bloques deliberadamente diseñados para ser costosos de probar. Un bloque típico puede adaptarse a una configuración pequeña, mientras que una carga de trabajo permitida difícil determina la capacidad de reserva que un operador necesita para producir pruebas a tiempo.
Lin Oshitani de Nethermind Research encontró en mediciones del 27 de enero que los precompilados criptográficos y varias operaciones de aritmética modular o división resultaron relativamente costosas por gas. Las mediciones de Oshitani mostraron que los costos variaban según el probador y que los conteos de ZK-cycle no se tradujeron en tiempos de prueba uniformes entre operaciones. El estudio estimó el tiempo marginal de prueba variando la cantidad de operaciones mientras mantenía constante el contexto de ejecución circundante. El estudio probó SP1 v5.2.3 con sp1-cluster y RISC0 v3.0.4, utilizando reth v1.9.3 y cuatro GPU NVIDIA GeForce RTX 4090. RISC0 utilizó la configuración RISC0_KECCAK_PO2=15. Las mediciones utilizaron entradas representativas fijas o esfuerzos máximos en casos adversos, omitieron la validación del encabezado del bloque y accidentalmente omitieron BLOCKHASH. Una investigación completa de los costos dependientes del argumento permaneció como trabajo futuro.
El marco de referencia de peor caso de enero de la Ethereum Foundation relaciona el rendimiento requerido de prueba con un límite de gas de bloque elegido y una fecha límite de prueba. El marco requiere que un bloque difícil se ajuste al hardware y al presupuesto de tiempo previstos. El marco explica que las estimaciones a nivel de operación necesitan verificaciones de extremo a extremo porque la generación de pruebas tiene una sobrecarga fija, la agregación puede ser no lineal, y las configuraciones de hardware y los parámetros de seguridad afectan el rendimiento. También importa el conjunto de clientes de ejecución y sistemas de prueba que se espera que participen.
Mejorar un circuito o camino de ejecución costoso podría reducir el trabajo de prueba sin cambiar las unidades de gas de ejecución de transacciones, permitiendo a los operadores utilizar menos recursos para la misma carga de trabajo. El estudio de Nethermind también describió una medición ponderada de ZK-gas con un límite por bloque que podría restringir operaciones intensivas en pruebas antes de agotar el límite ordinario de gas de ejecución. La protección ofrecida por la medición ponderada de ZK-gas dependerá de qué tan precisamente los pesos capturen entradas complejas. Un límite de recursos puede restringir el trabajo admitido sin determinar los pagos del usuario de la aplicación ni los ingresos del probador. Cobrar por un recurso de prueba requeriría decisiones de diseño adicionales. EIP-7999 sigue siendo una propuesta de mercado de tarifas multidimensional en borrador que separa los datos de llamada en su propio recurso.
La revalorización de Opcode asignaría más gas a operaciones costosas, permitiendo que entren menos de estas operaciones en un bloque con un límite de gas fijo. Las aplicaciones que utilicen operaciones revalorizadas podrían consumir más gas para la misma ejecución exitosa. El mecanismo de tarifa de ejecución de EIP-1559 multiplica el gas cobrado por el precio efectivo del gas. Una aplicación cobrada con más gas para la misma transacción exitosa pagaría más a un precio efectivo positivo inalterado.
EIP-8025 sigue siendo una propuesta opcional en borrador de prueba de ejecución que no proporciona incentivos al probador y mantiene la re-ejecución incluso cuando están disponibles las pruebas. Las prioridades de la Fundación Ethereum para septiembre posponen las pruebas obligatorias, con el orden de la bifurcación bajo revisión. La fecha límite de revisión del 1 de noviembre para EIP-7904 se refiere al análisis de CPU, mientras que los probadores independientes necesitan un límite vinculado a cargas de trabajo explícitas, implementaciones, configuraciones de seguridad y suposiciones de hardware. Tal límite convertiría un límite de gas en un límite confiable sobre los recursos de prueba que un operador debe estar preparado para proporcionar.
Los costos de prueba de Ethereum enfrentan el desafío del límite duro de Vitalik
CryptoSlateCompartir
Resumen
Vitalik Buterin propuso un límite fijo en los costos de prueba de Ethereum por unidad de gas de bloque para alinear la generación de pruebas con las restricciones de gas. EIP-7904, en Última Llamada hasta el 1 de noviembre, destaca las optimizaciones de Listas de Acceso. ZKsync y Nethermind mostraron variaciones en costos y eficiencia utilizando GPUs. La Fundación Ethereum está desarrollando un marco de evaluación para escenarios de prueba en condiciones extremas. Los activos con riesgo recibieron nueva atención amid medidas de la CFT.
Fuente:Mostrar original
Descargo de responsabilidad: La información contenida en esta página puede proceder de terceros y no refleja necesariamente los puntos de vista u opiniones de KuCoin. Este contenido se proporciona solo con fines informativos generales, sin ninguna representación o garantía de ningún tipo, y tampoco debe interpretarse como asesoramiento financiero o de inversión. KuCoin no es responsable de ningún error u omisión, ni de ningún resultado derivado del uso de esta información.
Las inversiones en activos digitales pueden ser arriesgadas. Evalúa con cuidado los riesgos de un producto y tu tolerancia al riesgo en función de tus propias circunstancias financieras. Para más información, consulta nuestras Condiciones de uso y la Declaración de riesgos.