En los últimos años, el diseño de protocolos STARKs ha tendido a utilizar campos más pequeños. Las implementaciones tempranas usaban campos de 256 bits, pero eran menos eficientes. Para resolver este problema, STARKs ha comenzado a utilizar campos más pequeños, como Goldilocks, Mersenne31 y BabyBear. Esta transición ha mejorado significativamente la velocidad de prueba.
Un problema común al usar campos más pequeños es que los parámetros seleccionados al azar pueden ser adivinados por un atacante. Las soluciones incluyen realizar múltiples verificaciones aleatorias o expandir los campos. Los campos expandidos son similares a los números complejos, pero están basados en un campo finito. Esto permite realizar operaciones más complejas en el campo finito, mejorando la seguridad.
Circle STARKs es un esquema ingenioso que permite implementar FRI de manera eficiente en campos pequeños como Mersenne31. Utiliza un conjunto de puntos en el círculo como grupo, donde estos puntos siguen una regla de adición específica. La construcción de Circle FRI y Circle FFT es similar a la de FRI convencional, pero los objetos que se manejan son espacios de Riemann-Roch en lugar de polinomios estrictos.
Al implementar Circle STARKs, es necesario utilizar algunas técnicas especiales para reemplazar las operaciones de multiplicación convencionales y las operaciones de polinomios que desaparecen. El orden de evaluación también debe ajustarse a un orden de bits invertido especial.
En general, los STARKs de Circle no son mucho más complejos para los desarrolladores que los STARKs convencionales. Es una solución STARK eficiente, especialmente adecuada para su uso en campos numéricos de 31 bits. Combinando otras tecnologías como Mersenne31, BabyBear, etc., nos estamos acercando al límite de eficiencia de la capa base de STARKs.
Las direcciones clave de optimización de STARK en el futuro podrían incluir: optimización aritmética de primitivas criptográficas, construcción recursiva para mejorar la paralelización, máquina virtual aritmética para mejorar la experiencia de desarrollo, entre otras. Estas optimizaciones mejorarán aún más el rendimiento y la usabilidad de STARK.
Ver originales
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
10 me gusta
Recompensa
10
7
Compartir
Comentar
0/400
NFTRegretter
· hace8h
FRI ha mejorado un poco en comparación con antes.
Ver originalesResponder0
WalletManager
· 08-04 06:32
La optimización de pequeños campos es el punto clave. No hay problema en acumular código.
Ver originalesResponder0
StableBoi
· 08-04 06:32
Realmente le da en la cara a Goldilocks.
Ver originalesResponder0
NFTFreezer
· 08-04 06:30
¿La velocidad de prueba ha aumentado y corre más rápido que geth?
Ver originalesResponder0
ColdWalletGuardian
· 08-04 06:30
No entiendo muy bien, pero parece impresionante. ¿Podrías explicarlo?
Circle STARKs: Una nueva solución para implementar FRI eficiente en campos pequeños
Explorando Circle STARKs
En los últimos años, el diseño de protocolos STARKs ha tendido a utilizar campos más pequeños. Las implementaciones tempranas usaban campos de 256 bits, pero eran menos eficientes. Para resolver este problema, STARKs ha comenzado a utilizar campos más pequeños, como Goldilocks, Mersenne31 y BabyBear. Esta transición ha mejorado significativamente la velocidad de prueba.
Un problema común al usar campos más pequeños es que los parámetros seleccionados al azar pueden ser adivinados por un atacante. Las soluciones incluyen realizar múltiples verificaciones aleatorias o expandir los campos. Los campos expandidos son similares a los números complejos, pero están basados en un campo finito. Esto permite realizar operaciones más complejas en el campo finito, mejorando la seguridad.
Circle STARKs es un esquema ingenioso que permite implementar FRI de manera eficiente en campos pequeños como Mersenne31. Utiliza un conjunto de puntos en el círculo como grupo, donde estos puntos siguen una regla de adición específica. La construcción de Circle FRI y Circle FFT es similar a la de FRI convencional, pero los objetos que se manejan son espacios de Riemann-Roch en lugar de polinomios estrictos.
Al implementar Circle STARKs, es necesario utilizar algunas técnicas especiales para reemplazar las operaciones de multiplicación convencionales y las operaciones de polinomios que desaparecen. El orden de evaluación también debe ajustarse a un orden de bits invertido especial.
En general, los STARKs de Circle no son mucho más complejos para los desarrolladores que los STARKs convencionales. Es una solución STARK eficiente, especialmente adecuada para su uso en campos numéricos de 31 bits. Combinando otras tecnologías como Mersenne31, BabyBear, etc., nos estamos acercando al límite de eficiencia de la capa base de STARKs.
Las direcciones clave de optimización de STARK en el futuro podrían incluir: optimización aritmética de primitivas criptográficas, construcción recursiva para mejorar la paralelización, máquina virtual aritmética para mejorar la experiencia de desarrollo, entre otras. Estas optimizaciones mejorarán aún más el rendimiento y la usabilidad de STARK.