La hoja de ruta criptográfica de Ethereum está cambiando, ya que nuevos sistemas de prueba hacen que las funciones hash tradicionales resulten más prácticas para la capa 1 de la red. Vitalik Buterin reconoció las contribuciones pasadas de Poseidon a las pruebas de privacidad, mientras que el investigador de la Ethereum Foundation Justin Drake señaló que la Fundación se está orientando hacia SHA o BLAKE. Drake vinculó el cambio a los SNARKs de campos binarios más rápidos y a la investigación post-cuántica en curso.

Los SNARKs de campos binarios pueden hacer que SHA2 y BLAKE2s sean prácticos dentro de las pruebas de conocimiento cero, reduciendo la ventaja que Poseidon solía tener. El cambio importa más allá del rendimiento: SHA2 y BLAKE son funciones hash estandarizadas desde hace mucho tiempo y ampliamente auditadas, con décadas de escrutinio criptoanalítico, mientras que diseños amigables con SNARK como Poseidon son mucho más recientes y han enfrentado análisis de seguridad continuos, incluida la criptoanalítica de terceros sobre su estructura algebraica. Ethereum contempla una leanVM de nivel de producción en 2027, con despliegues más amplios de consenso y ejecución posiblemente en 2028.

El papel de Poseidon en Ethereum

Buterin dijo que años de trabajo se invirtieron en los hashes Poseidon, que permitieron una generación rápida de SNARKs en el lado del cliente para protocolos de privacidad. Sin embargo, destacó el progreso en los STARK de propósito general, señalando que los sistemas actuales pueden probar cómputos amplios por lotes con una sobrecarga de tres dígitos medios, una cifra que, según dijo, pronto podría alcanzar niveles de dos dígitos o menos.

Drake describió el desarrollo de Poseidon como un esfuerzo de ocho años respaldado por financiamiento de ocho cifras. La Ethereum Foundation comenzó a investigar hashes amigables con SNARK en 2018; Poseidon surgió en 2019 y más tarde dio soporte a zk-rollups y zkVMs. Si los hashes tradicionales ahora pueden probarse de manera eficiente dentro de SNARKs, los diseños especializados creados específicamente para evitar ese costo se vuelven menos necesarios en la hoja de ruta de Ethereum.

Los campos binarios cambian la ecuación

Según Drake, los diseños más recientes de SNARK pueden usar hashes tradicionales sin funciones amigables con SNARK. Mencionó a SHA2 y BLAKE2s como ejemplos que ahora pueden igualar a Poseidon dentro de un SNARK.

Drake explicó que los campos binarios usan el número primo 2 y se adaptan de forma natural a las operaciones hash tradicionales, en contraste con los campos primos grandes, donde la manipulación de bits requiere más trabajo. Los investigadores pueden probar 1 millón de llamadas hash por segundo en una laptop, dijo, con aproximadamente 100 veces la sobrecarga del cómputo booleano nativo de la CPU.

La hoja de ruta post-cuántica de Ethereum

Drake atribuyó a Jim y Ben el mérito de Binius en 2023, y a Ron, Benedikt y William el de Flock en junio. Emile y Thomas están desarrollando sistemas de campos binarios, añadió.

La hoja de ruta contempla una leanVM de nivel de producción en 2027, con despliegues en consenso, disponibilidad de datos y capa de ejecución posiblemente en 2028. Drake también mencionó contratiempos con los esquemas HAWK, basado en retículos, y SQIsign, basado en isogenias, ambos presentes en la Ronda 3 de la competencia de firmas del NIST. Las computadoras cuánticas, una vez suficientemente potentes, amenazarían las firmas de curva elíptica de las que Ethereum depende hoy, por lo que la investigación de firmas post-cuánticas forma parte de la hoja de ruta; los enfoques basados en hashes se consideran resistentes a tales ataques.

Señaló que SNARK.fast ha superado los 1,8 millones de pruebas BLAKE3 por segundo en una M3 Max, y mencionó los esfuerzos ECDSA.fail, zk.golf y autoresearch. La décima llamada de Ethproofs se centrará en los campos binarios a las 2 p. m. UTC.

Drake dijo que la criptografía basada en hashes ha ganado para las firmas post-cuánticas de blockchain, y que los SNARKs pueden comprimir firmas —incluidos umbrales k-de-n y multisigs complejos— en una única prueba de bloque.