Vitalik Buterin ha introducido el protocolo criptográfico Circle STARKs.
Los Circle STARKs utilizan pequeños campos para mejorar la velocidad de prueba.
Eluden los ataques por fuerza bruta mediante controles aleatorios y campos de extensión.
Avantages des petits champs
La tendencia más importante en el diseño de los protocolos STARK en los últimos dos años ha sido la transición al uso de campos más pequeños.
La creación de Stark ayudó a la transición a campos pequeños más sorprendente.
En su último artículo, Vitalik explica que este salto tecnológico utiliza campos más pequeños, como Mersenne31, para mejorar significativamente la velocidad de prueba sin comprometer las medidas de seguridad.
Los STARKs tradicionales generalmente operan en campos de 256 bits, que aunque son seguros, a menudo son ineficientes. En cambio, los Circle STARKs aprovechan campos más pequeños, lo que reduce los costos computacionales y acelera las velocidades de prueba. Por ejemplo, permiten verificar 620,000 hashes Poseidon2 por segundo en una computadora portátil M3.
Sécurité des Circle STARKs
Uno de los desafíos de los pequeños campos tradicionales es su posible vulnerabilidad a ataques por fuerza bruta debido a sus valores limitados. Los Circle STARKs eluden esta vulnerabilidad realizando múltiples comprobaciones aleatorias y utilizando campos de extensión, lo que aumenta el conjunto de valores que los atacantes deben adivinar.
Agregando múltiples verificaciones aleatorias, la barrera computacional se vuelve prohibitiva para los atacantes, manteniendo la integridad del protocolo.
Implications pratiques
Las Pruebas Interactivas Oracle de Proximidad de Reed-Solomon Rápidas (FRI) demuestran que una función es un polinomio de cierto grado y son un aspecto crucial de los Circle STARKs. La introducción de Circle FRI, un enfoque que mantiene la integridad del proceso criptográfico, garantiza que las entradas no polinomiales no superen la prueba.
Los Circle STARKs ofrecen más flexibilidad y versatilidad para un rendimiento computacional eficiente al utilizar campos pequeños y esta nueva estructura matemática. Esto no solo mejora la seguridad y eficiencia de las blockchains, sino que también reduce los costos y acelera los procesos de verificación.
