Cómo las nuevas pruebas criptográficas facilitan la seguridad

Vitalik Buterin, cofundador de Ethereum, ha introducido importantes avances en las pruebas criptográficas, mejorando significativamente la velocidad de verificación y simplificando el proceso.

Estos desarrollos aprovechan nuevas técnicas en STARK e introducen herramientas innovadoras como Plonky2 y Binius. Estos cambios mejorarán drásticamente la eficiencia de las tecnologías blockchain.

Pruebas criptográficas rápidas y fáciles de verificar

En el punto de mira están los STARK: temas de conocimiento escalables y transparentes. Según Buterin, estas pruebas criptográficas se destacan por su capacidad para verificar de manera eficiente afirmaciones complejas, como la validez de un bloque de Ethereum.

Una innovación notable en los STARK es el uso de tamaños de campo más pequeños, que contrastan marcadamente con los enteros más grandes de 256 bits requeridos por sus predecesores, los SNARK. Este cambio reduce la carga computacional y acelera significativamente el proceso de verificación.

La nueva herramienta criptográfica, Plonky2, ejemplifica este progreso. Utilizando el campo Ricitos de Oro, que opera con enteros de 64 bits, Plonky2 logra velocidades de prueba cientos de veces más rápidas que los métodos anteriores. Estas mejoras en la eficiencia son cruciales, especialmente para las aplicaciones blockchain donde la velocidad y la escalabilidad son clave.

“La principal innovación de Plonky2 fue el módulo aritmético de un primo menor: 264−232+1=18446744069414584321. Ahora, cualquier suma o multiplicación siempre se puede realizar con solo unas pocas instrucciones en una CPU, y reunir todos los datos es 4 veces más rápido que antes”, explicó Buterin.

El trabajo de Vitalik Buterin no se limita a optimizar las dimensiones del campo. Su última aventura en pruebas criptográficas explorar el potencial de los campos binarios, utilizando ceros y unos simples. Este enfoque, implementado por un sistema llamado Binius, aprovecha varias estrategias matemáticas para simplificar aún más la generación de pruebas.

Binius se diferencia por centrarse en campos binarios, que son fundamentalmente eficientes para sistemas digitales. La razón detrás de este enfoque es que los sistemas digitales son inherentemente binarios. Por lo tanto, alinear las operaciones criptográficas con esto puede minimizar la sobrecarga computacional.

“Si usas Binius, ya no tendrás que preocuparte por hacer cálculos “aritméticos”: los hashes “normales” ya no son más eficientes que los hashes aritméticos tradicionales, la multiplicación Módulo 232 o Módulo 2256 ya no es un gran dolor de cabeza en comparación con la multiplicación. módulo p, etc.”, concluyó Buterin.

Leer más: ¿Qué son las pruebas de conocimiento cero? Garantizar el crecimiento de las aplicaciones Web3

Estas innovaciones demuestran el compromiso continuo de Vitalik Buterin para mejorar la tecnología blockchain. A medida que estos nuevos métodos criptográficos se generalicen, se espera que reduzcan significativamente las barreras para la adopción de blockchain.