Debate sobre Criptografía en Blockchain
En la plataforma X, se está llevando a cabo un debate sobre la criptografía basada en retículos frente a la criptografía basada en hash en el diseño de blockchain. En esta discusión participan Eli Ben Sasson, cofundador de Zcash; Vitalik Buterin, cofundador de Ethereum; y Gabriel Shapiro, abogado general de Delphi Labs.
Iniciativa de a16z Crypto
La conversación se inició cuando a16z crypto defendió la adopción de la criptografía basada en retículos en una reciente publicación en X. En su artículo, a16z crypto expone que el diseño de agregación de firmas basado únicamente en hash, propuesto por Ethereum, depende de la recursión de SNARK, lo que conlleva sobrecargas de coordinación, superficies de error y una seguridad aún no establecida.
Argumentos de Eli Ben Sasson
Eli Ben Sasson, al involucrarse en la publicación de a16z crypto, discrepó fuertemente, argumentando que los retículos tienen una estructura matemática compleja que podría ser vulnerable a ataques de inteligencia artificial. Según a16z crypto, confiar exclusivamente en la criptografía basada en hash puede parecer más seguro, pero en tales diseños, puede resultar en sistemas más frágiles.
Opiniones de Gabriel Shapiro
Gabriel Shapiro amplió la conversación al expresar su opinión en X:
«Creo que el enfoque de Ethereum sigue siendo la mejor opción aquí para Ethereum»
, en desacuerdo con a16z crypto. La hoja de ruta de consenso Lean de Ethereum contempla reemplazar completamente las firmas BLS por firmas basadas en hash (alguna variante de Winternitz) y utilizar STARKs para la agregación. Shapiro sugirió implementar criptografía de retículos para cuentas y billeteras a través de un precompilado, siempre que se demuestre su seguridad frente a la inteligencia artificial, añadiendo que la criptografía basada en hash permite que Ethereum funcione a su máxima capacidad.
Contribuciones de Vitalik Buterin
Vitalik Buterin se unió a la discusión, coincidiendo con Shapiro:
«Podríamos implementar retículos para cuentas y billeteras a través de un precompilado si se demuestra que es seguro para IA»
. Buterin también mencionó:
«La ruta ideal para apoyar la criptografía de todos es, en mi opinión, a través de 8288. Realizas cualquier firma que desees localmente, luego la STARK, y se incluye a través de la máquina agregadora de STARK. No necesitas ningún calldata en la cadena. Ethereum nunca podrá agregar un nuevo precompilado nuevamente»
. Eli Ben Sasson respondió afirmando:
«De acuerdo, este es el camino correcto para Ethereum»
.
Consideraciones sobre la Prueba de Participación
Aparte de Bitcoin, la mayoría de las grandes blockchains utilizan prueba de participación, lo que permite a los validadores votar sobre cada bloque firmándolo. Los grandes conjuntos de validadores son viables gracias a la agregación de firmas. Ethereum utiliza firmas BLS, que tienen una estructura algebraica que les permite combinar decenas de miles de firmas de validadores por slot en un solo elemento de grupo. Sin embargo, a pesar de los beneficios de BLS, no es post-cuántico, ya que no se conocen esquemas de firma post-cuánticos que agreguen de esta manera.
Hoja de Ruta de Resistencia Cuántica
Al explicar la hoja de ruta de resistencia cuántica a principios de este año, Buterin mencionó que la solución serían las firmas recursivas a nivel de protocolo y la agregación de pruebas. También habló sobre la posibilidad de añadir abstracción de cuenta nativa a través de EIP-8141, que proporcionaría un marco de abstracción para la validación de transacciones, ejecución y pago de gas, permitiendo que las cuentas de primera clase utilicen cualquier algoritmo de firma.
