• Circle STARKs mitiga el riesgo al aumentar la cantidad de valores que los atacantes deben adivinar.

  • Los STARK a veces operan en campos ineficientes de 256 bits, como se indica en la publicación.

Vitalik Buterin, cofundador de Ethereum, ha presentado Circle STARKs, un nuevo protocolo criptográfico que tiene como objetivo mejorar la eficiencia y seguridad de blockchain. Buterin describe este avance técnico en su publicación más reciente y explica que utiliza campos más pequeños como Mersenne31 para aumentar en gran medida la velocidad de prueba sin sacrificar la seguridad.

Aunque son seguros, los argumentos de conocimiento transparentes escalables (STARK) convencionales a veces operan sobre campos ineficientes de 256 bits, como se indica en la publicación.

Es posible verificar 620.000 hashes Poseidon2 por segundo en una computadora portátil M3 con Circle STARK. Porque utilizan campos más pequeños, lo que conduce a menores costos informáticos, tasas de prueba más rápidas y ganancias más eficientes.

Mientras que las implementaciones anteriores de STARK hicieron que los campos más pequeños fueran "naturalmente compatibles con la verificación de firmas basadas en curvas elípticas". Buterin señala que esto “condujo a la ineficiencia” debido a las enormes cifras involucradas.

Impulsar la seguridad

Los campos pequeños convencionales son vulnerables a ataques de fuerza bruta debido a sus valores potenciales limitados. Los Circle STARK mitigan este riesgo al aumentar la cantidad de valores que los atacantes deben adivinar. Esto se realiza mediante el uso de campos de extensión y varias comprobaciones aleatorias.

Además, este mecanismo de seguridad preserva la integridad del protocolo, lo que presenta una barrera computacional prohibitiva para los atacantes. Además, una parte esencial de Circle STARK son las pruebas de proximidad interactivas de Oracle (FRI) rápidas de Reed-Solomon, que demuestran que una función es un polinomio de cierto grado.

Al presentar Circle FRI, un método que mantiene intacto el proceso criptográfico, Circle STARK se asegura de que las entradas que no sean polinomiales no pasen la prueba. Al hacer uso de campos diminutos y esta novedosa estructura matemática, los STARK circulares proporcionan más adaptabilidad y eficiencia en el rendimiento informático.

Noticias criptográficas destacadas hoy:

¿Será Ethereum testigo de rupturas de precios en medio del HODLing de los emisores de ETF?