Circle STARKs: un nuevo esquema para construir pruebas de conocimiento cero eficientes sobre campos pequeños

robot
Generación de resúmenes en curso

Explorando Circle STARKs

En los últimos años, la tendencia en el diseño del protocolo STARKs es hacia el uso de campos más pequeños. Las primeras implementaciones de STARKs utilizaron campos de 256 bits, pero este diseño tiene una eficiencia bastante baja. Para mejorar la eficiencia, STARKs ha comenzado a utilizar campos más pequeños, como Goldilocks, Mersenne31 y BabyBear.

El uso de campos pequeños puede aumentar significativamente la velocidad de prueba. Por ejemplo, Starkware puede probar 620,000 hashes Poseidon2 por segundo en una computadora portátil M3. Pero los campos pequeños también presentan algunos desafíos, como cómo lograr suficiente aleatoriedad en un espacio de valores limitado.

Vitalik nueva obra: explorando Circle STARKs

Para resolver este problema, se puede utilizar el método de múltiples chequeos aleatorios o el método de campos extendidos. Los campos extendidos son similares a los plurales, introduciendo un nuevo valor α tal que α^2 es igual a un valor específico, creando así estructuras matemáticas más complejas.

Vitalik nueva obra: explorando Circle STARKs

Circle STARKs es un esquema ingenioso que permite implementar el protocolo FRI de manera eficiente sobre campos pequeños como Mersenne31. Utiliza una estructura de grupo circular especial que tiene propiedades similares a un mapeo de dos a uno. Esta estructura nos permite llevar a cabo reducciones polinómicas eficientes sobre campos pequeños.

Vitalik nueva obra: explorando Circle STARKs

Circle STARKs también soporta operaciones FFT similares, pero trabaja con espacios de Riemann-Roch en lugar de polinomios estrictos. Esto trae algunas diferencias en los detalles, como la forma en que se construyen los polinomios de cociente y aquellos que desaparecen.

Vitalik nueva obra: explorando Circle STARKs

Vitalik nuevo trabajo: explorando Circle STARKs

En general, Circle STARKs proporciona a los desarrolladores una forma de construir STARKs eficientes en campos pequeños, sin necesidad de preocuparse demasiado por los detalles matemáticos subyacentes. Combina la eficiencia computacional de los campos pequeños con una seguridad adecuada, lo que representa una dirección de optimización de STARK muy prometedora.

Vitalik nueva obra: explorando Circle STARKs

Las futuras optimizaciones de STARK podrían centrarse en: 1) optimización de la aritmética de los primitivos criptográficos básicos; 2) mejora de la paralelización mediante construcciones recursivas; 3) mejora de la aritmética de la máquina virtual para mejorar la experiencia de desarrollo. Estamos cerca del límite de eficiencia de la capa base de STARK, y las futuras optimizaciones se centrarán más en estas direcciones.

Vitalik nueva obra: explorando Circle STARKs

Vitalik nueva obra: explorando Circle STARKs

Ver originales
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Recompensa
  • 5
  • Compartir
Comentar
0/400
AirdropHunterZhangvip
· hace19h
¡Otra vez haciendo palomitas de maíz de conocimiento cero!
Ver originalesResponder0
PumpDetectorvip
· hace19h
hmm la temporada de stark nunca termina... se ve muy alcista, no voy a mentir
Ver originalesResponder0
SneakyFlashloanvip
· hace19h
zk es divertido
Ver originalesResponder0
MetaverseLandladyvip
· hace19h
¿Están haciendo nuevas tonterías de nuevo?
Ver originalesResponder0
BearMarketGardenervip
· hace19h
pequeño campo STARKs increíble ah
Ver originalesResponder0
  • Anclado
Opere con criptomonedas en cualquier momento y lugar
qrCode
Escanee para descargar la aplicación Gate
Comunidad
Español
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)