El cofundador de Ethereum, Vitalik Buterin, ha introducido un protocolo criptográfico innovador llamado Circle STARKs, cuyo objetivo es mejorar la seguridad y eficiencia de blockchain. Buterin en su última publicación de blog explica cómo Circle STARK utiliza campos matemáticos más pequeños para acelerar significativamente la generación de pruebas sin sacrificar la seguridad.
¿Qué es Circle STARK?
Los protocolos criptográficos tradicionales llamados STARK (Argumentos de conocimiento transparentes escalables) utilizan grandes campos de 256 bits para garantizar la seguridad. Si bien son eficaces, estos campos suelen ser lentos y costosos desde el punto de vista computacional. Los Circle STARK, por otro lado, utilizan campos más pequeños, como Mersenne31, lo que reduce en gran medida los costos computacionales y acelera el proceso de prueba.
Los campos más pequeños significan que los Circle STARK pueden realizar operaciones mucho más rápido. Por ejemplo, pueden verificar 620.000 hashes Poseidon2 por segundo en una computadora portátil M3, una mejora significativa con respecto a los métodos más antiguos. Este aumento en la velocidad y la eficiencia podría cambiar las reglas del juego para la tecnología blockchain, haciendo que las transacciones sean más rápidas y eficientes.
Un desafío con los campos más pequeños es que tienen menos valores posibles, lo que los hace vulnerables a ataques de fuerza bruta. Los campos pequeños tradicionales están limitados en la cantidad de valores que pueden manejar, lo que puede ser explotado por atacantes que intenten numerosas combinaciones. Los Circle STARK superan esto realizando múltiples comprobaciones aleatorias y utilizando campos de extensión. Estos métodos amplían el conjunto de valores que los atacantes necesitan adivinar, lo que les dificulta enormemente tener éxito, manteniendo así una seguridad sólida.
Buterin señala que si bien hay alrededor de dos mil millones de valores posibles para xxx en campos más pequeños, los métodos de verificación mejorados de Circle STARK crean una barrera computacional prohibitiva para los atacantes. Esto garantiza que la seguridad de la cadena de bloques no se vea comprometida.
Garantizar la integridad con Circle FRI
Una parte crucial de Circle STARK son las pruebas de proximidad (FRI) de Oracle interactivas Fast Reed-Solomon. Esta técnica verifica que una función sea un polinomio de cierto grado, asegurando que las entradas no polinómicas no pasen la prueba. Circle FRI, un enfoque que mantiene la integridad del proceso criptográfico, garantiza que las medidas de seguridad sean sólidas y confiables.
Los Circle STARK representan un avance significativo en la tecnología blockchain. Al utilizar campos más pequeños y técnicas matemáticas innovadoras, ofrecen pruebas de transacciones más rápidas, eficientes y seguras. Este nuevo protocolo podría allanar el camino para aplicaciones blockchain más flexibles y de alto rendimiento.
La introducción de Circle STARK por parte de Vitalik Buterin marca un desarrollo emocionante para la comunidad criptográfica, que promete seguridad y eficiencia mejoradas. Con estos avances, el futuro de la tecnología blockchain parece más brillante y prometedor que nunca.
