Un borrador de Ethereum propone pagos compartidos para pruebas por lotes
Machine translatedView English original
Reading sizeRead report ↓
加载图片中
El colaborador de Ethereum Marchhill ha presentado un borrador de propuesta para habilitar la verificación genérica de pruebas y el procesamiento por lotes patrocinado, permitiendo que múltiples reclamaciones de transacciones compartan una prueba mientras conservan pagos y firmas separados. La propuesta de Marchhill, presentada al repositorio EIP de Ethereum el 11 de nov.…
Compartir
El colaborador de Ethereum Marchhill ha presentado una propuesta preliminar para habilitar la verificación genérica de pruebas y el procesamiento por lotes patrocinado, lo que permite que múltiples reclamaciones de transacciones compartan una prueba mientras conservan pagos y firmas separados.
• Los patrocinadores podrían pagar las pruebas por lotes mientras las transacciones de los miembros pagan sus reclamaciones individuales.
• Los subconjuntos válidos podrían entrar en un bloque sin requerir que los miembros firmen nuevamente sus transacciones.
• Las tarifas y los límites de recursos propuestos siguen siendo provisionales, y su activación depende de las mediciones de rendimiento.
• La presentación es una solicitud de extracción en borrador, sin un número de EIP asignado ni una fecha de activación en la red principal.
La propuesta de Marchhill, presentada al repositorio de EIP de Ethereum el 13 de noviembre, activaría el LEANSTARK_SCHEME reservado en la EIP-8288 e introduciría reglas para lotes patrocinados. La presentación sigue en desarrollo y no ha sido adoptada como una actualización de la red Ethereum.
El borrador reúne en una sola propuesta la verificación genérica, la identidad de las pruebas, los límites de recursos, los resúmenes de dependencias y los pagos por lotes. Sustituye a una presentación anterior, la solicitud de extracción n.º 12654, mientras que aún quedan por asignar un número de EIP y un hilo de debate específico.
Las pruebas por lotes de Ethereum separarían los pagos del patrocinador y de los miembros
En el centro del borrador hay un acuerdo de pago en el que un patrocinador cubre cada hoja de lote retenida, un componente de prueba individual que contiene varias reclamaciones. Las transacciones de los miembros pagarían según sus propias reclamaciones presentadas.
Un constructor podría incluir cualquier subconjunto válido sin pedir a los miembros que firmen de nuevo. Por lo tanto, alguien cuya transacción estuviera lista para su inclusión no necesitaría una nueva firma únicamente porque otros miembros del grupo original quedaran excluidos, según el mecanismo propuesto.
El borrador preservaría los nonces y los recibos individuales de cada transacción. Un nonce identifica la posición de una transacción en la secuencia de transacciones de una cuenta, mientras que un recibo registra su resultado de ejecución. Compartir el trabajo de prueba dejaría esos registros vinculados a las transacciones separadas.
La correspondencia de pagos se verificaría durante la finalización, con pruebas recursivas que autenticarían las fuentes utilizadas en el lote. La propuesta distingue la labor de establecer que las reclamaciones son válidas de la labor de confirmar que los pagos necesarios las acompañan.
Las reclamaciones con descuento y los pagos de patrocinadores irían directamente a los constructores de bloques. Las pruebas ordinarias que abarcan una sola declaración seguirían siendo elegibles para el mempool público, donde las transacciones esperan a ser incluidas en los bloques.
La verificación genérica se basa en el EIP-8288
El EIP-8288 subyacente, redactado por Vitalik Buterin y Thomas Coratger, propone agregar firmas criptográficas y pruebas fuera del proceso de ejecución principal de Ethereum. Las transacciones identificarían las declaraciones que necesitan verificación, y un STARK recursivo establecería su validez a nivel de bloque.
Los STARK son pruebas criptográficas que demuestran que un cálculo se realizó correctamente sin requerir que cada verificador lo repita. La recursión permite que una prueba verifique otras pruebas, combinando sus resultados.
Actualmente, el EIP-8288 reserva el esquema genérico leanSTARK en lugar de permitir su uso en marcos de dependencia. La propuesta de Marchhill plantea habilitar esa vía y sustituir la declaración de hash de datos simple del borrador base por un resumen estable que represente una lista de afirmaciones.
El diseño se basa en un debate anterior sobre la verificación criptográfica, incluido el respaldo de Buterin a la gestión de criptografía compleja mediante pruebas agregadas. Sus comentarios se referían a la arquitectura subyacente; el borrador de Marchhill establece un acuerdo específico de verificación y pago.
Los cargos propuestos siguen sujetos a calibración
La revisión proporcionada enumera cargos provisionales de 15.400 de gas para la verificación nativa y 572.000 de gas para la verificación genérica ordinaria. Asigna 5.100 de gas a la cuota intrínseca de la prueba, 675.000 de gas a un pago de hoja y 4.200 de gas a una reclamación por lote.
Los pagos de hoja conllevan un cargo separado porque los pagos vinculantes añaden trabajo fijo más allá de la verificación ordinaria, explica el borrador. Las reclamaciones y los pagos no incurrirían en ninguna cuota de prueba intrínseca adicional. Las cifras requieren una calibración conjunta, por lo que no establecen un calendario definitivo de tarifas ni un ahorro confirmado para los usuarios.
Los controles de recursos incluyen un límite de bloque provisional de 16.384 dependencias distintas, aplicado con independencia del gas, junto con una regla correspondiente de ajuste a la lista de inclusión. Una hoja podría contener hasta 256 reclamaciones, mientras que un paso de prueba podría tener 16 entradas. Ninguna de las dos cifras constituye un límite para todo el bloque.
La activación requeriría mediciones de rendimiento de bloque completo
Antes de su activación, la propuesta exige mediciones que abarquen el calendario completo de procesamiento, la reparación tardía del patrocinador y cargos por prueba que se ajusten a los límites de gas de las transacciones, incluido el sobrecoste requerido.
Su material de referencia distingue los resultados de bloque medidos en un solo nodo individual y en una sola máquina de las cifras modeladas con 16 trabajadores. El borrador exige que las pruebas y las brechas de rendimiento restantes queden registradas en su material de referencia.
Un patrocinio invalidado podría desperdiciar el trabajo de un constructor, y la presentación señala que el gas de inclusión no reembolsaría ese trabajo. La construcción concreta de los compromisos y las codificaciones permanecen en la especificación del sistema de pruebas fijada. La propuesta no introduce nuevos mensajes de red.
