El cofundador de Ethereum, Vitalik Buterin, dijo el miércoles que espera que una propuesta para reducir el costo de las transacciones privadas seguras cuánticamente en más del 99% sea incluida en una futura actualización de la red.

EIP-8288, del que es coautor desde junio, movería la criptografía más pesada fuera de la ruta de ejecución de la red. Las firmas post-cuánticas actualmente tienen un tamaño de 2 o 3 kilobytes y cuestan entre 150.000 y 200.000 gas para verificar.

Las pruebas STARK son peores, superando los 128 kilobytes y llegando hasta los 512 kilobytes cuando se generan rápidamente, lo que eleva la verificación a millones de gas. Una transacción privada bien diseñada cuesta alrededor de 300.000 gas hoy, tuiteó Buterin, y aproximadamente 10 millones si se quiere que sea segura cuánticamente. Según EIP-8288, dijo Buterin, ambas se situarían en las decenas de miles bajas.

Funciona al no colocar la criptografía en la cadena en absoluto. Una transacción, en cambio, declara una "dependencia"—una afirmación breve de que algún mensaje fue firmado por alguna clave, o que algunos datos satisfacen alguna prueba—con un costo de 96 bytes. Los nodos del mempool luego recopilan esas afirmaciones cada segundo, generan una única prueba STARK recursiva que las prueba todas a la vez y la transmiten. El bloque contiene una prueba que cubre todo lo que hay en él.

Una decisión sobre RISC-V

Las pruebas recursivas necesitan un lenguaje común para expresar declaraciones, y el principal candidato es RISC-V, un conjunto de instrucciones abierto utilizado en el diseño de chips. La adopción de la propuesta lo convertiría en el conjunto de instrucciones canónico de facto de Ethereum, lo que Buterin calificó como una "gran decisión" que debe tomarse con cuidado, y una que él cree necesaria.

Él propuso el mismo movimiento en julio, en una hoja de ruta de "Lean Ethereum" que reconstruiría casi todos los componentes principales del protocolo durante tres o cuatro años y consagraría las STARK recursivas como núcleo.

Otro uso que esbozó es la abstracción de cuenta privada: mantener la lógica de una cuenta oculta en la cadena, para luego cambiar la propiedad de cada posición y activo adjunto en una única transacción, sin revelar cuáles.

EIP-8288, del que Buterin es coautor junto con Thomas Coratger, depende de Frames, la revisión de transacciones que promovió el domingo, y que aún no tiene fecha. Él quiere ambos en I-star, la actualización posterior a Hegota, que según ha dicho será la última de Ethereum antes de que comience la era Lean. Ninguno de los dos ha sido asignado a una bifurcación.