Puntos clave de la noticia:
-
Vitalik Buterin ha presentado Circle STARKs, un nuevo protocolo criptográfico que mejora la eficiencia y seguridad de las blockchains al utilizar campos matemáticos más pequeños.
- El nuevo protocolo permite verificar hasta 620,000 hashes Poseidon2 por segundo en un portátil M3, reduciendo los costos computacionales y aumentando la velocidad de las pruebas.
-
Circle STARKs enfrenta desafíos de seguridad debido a los campos pequeños, pero los mitiga mediante múltiples comprobaciones aleatorias y campos de extensión.
Vitalik Buterin, cofundador de Ethereum, ha presentado un innovador protocolo cripto conocido como Circle STARKs, diseñado para mejorar tanto la eficiencia como la seguridad de las blockchain. Este avance tecnológico marca un importante progreso en el campo de la blockchain al emplear campos matemáticos más pequeños para optimizar el rendimiento de las pruebas criptográficas.
En una reciente publicación, Vitalik detalla cómo Circle STARKs utiliza campos más pequeños, como los Mersenne31, en lugar de los tradicionales campos de 256 bits utilizados en los STARKs convencionales. Esta transición permite una notable mejora en la velocidad de las pruebas y una reducción importante en los costos computacionales. Por ejemplo, el nuevo protocolo es capaz de verificar hasta 620,000 hashes Poseidon2 por segundo utilizando un portátil M3, una mejora considerable respecto a las implementaciones anteriores.
Exploring circle STARKshttps://t.co/WoVeucLXS6
Thank you to @StarkwareLtd friends for the kind support in understanding these concepts!
See also my implementation at https://t.co/qJP3lnaS8m
— vitalik.eth (@VitalikButerin) July 23, 2024
A pesar de sus ventajas, el uso de campos más pequeños plantea ciertos desafíos de seguridad. Los campos pequeños tienen un número limitado de posibles valores, lo que puede hacerlos susceptibles a ataques de fuerza bruta. Para contrarrestar esta vulnerabilidad, Circle STARKs implementa múltiples comprobaciones aleatorias y utiliza campos de extensión para ampliar el conjunto de valores que los atacantes tendrían que adivinar. Este enfoque crea una barrera computacional que dificulta los intentos de ataque, preservando la integridad del protocolo.
Vitalik Aborda las Limitaciones y Desafíos de STARKs
Vitalik también señala que las implementaciones anteriores de STARKs hicieron que los campos más pequeños fueran «naturalmente compatibles con la verificación de firmas basadas en curvas elípticas», aunque esto a veces resultó en ineficiencias debido a los grandes números involucrados. Con Circle STARKs, se ha superado esta limitación al hacer más eficientes las pruebas sin comprometer la seguridad.
El protocolo Circle STARKs también introduce el concepto de Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI), que asegura que una función sea un polinomio de un grado específico. Esta característica es esencial para mantener la integridad del proceso criptográfico, asegurando que las entradas no polinomiales no pasen la prueba.
Según Vitalik, Circle STARKs promete ofrecer una combinación de eficiencia mejorada y robustez de seguridad para la tecnología blockchain, aprovechando los campos pequeños y nuevas estructuras matemáticas para optimizar el rendimiento computacional. Esta innovación representa un avance necesario para la industria, con implicaciones potenciales para el futuro de la seguridad.
