En los últimos años, la tendencia en el diseño de protocolos STARKs es hacia el uso de campos más pequeños. Las implementaciones más tempranas de STARKs utilizaban campos de 256 bits, pero este diseño es menos eficiente. 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 presenta algunos desafíos, como el problema de la falta de aleatoriedad. Para resolver este problema, hay dos soluciones: realizar múltiples comprobaciones aleatorias o expandir los campos. La expansión de campos es similar a los números complejos, pero se basa en un campo finito.
Circle STARKs es una solución ingeniosa. Dado un número primo p, se puede encontrar un grupo de tamaño p que tiene la propiedad de ser 2 a 1. Este grupo está compuesto por puntos que satisfacen condiciones específicas, como el conjunto de puntos donde x^2 mod p es igual a un cierto valor.
Circle STARKs utiliza una FFT especial, llamada Circle FFT. El objeto que procesa no es un polinomio estricto, sino un espacio de Riemann-Roch. Los desarrolladores no necesitan entender los detalles específicos, solo deben tratar el polinomio como un conjunto de valores de evaluación.
Al implementar Circle STARKs, es necesario tener en cuenta los siguientes puntos:
La operación comercial necesita ser evaluada en dos puntos.
La forma de construir polinomios desaparecidos es diferente
Evaluar el orden utilizando una secuencia inversa especial
Circle STARKs es muy eficiente en un campo primo de 31 bits. En comparación con SNARKs de grandes campos, puede aprovechar mejor el espacio de cálculo. Aunque Binius es superior en algunos aspectos, el concepto de Circle STARKs es más simple.
El futuro de la optimización de STARK podría centrarse en:
Arithmetización eficiente de primitivas criptográficas
Construcción recursiva para mejorar la paralelidad
Máquina virtual aritmética para mejorar la experiencia de desarrollo
En general, Circle STARKs es una solución de implementación de STARK que es conceptualmente simple pero eficiente, y merece ser explorada y aplicada más a fondo.
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.
11 me gusta
Recompensa
11
4
Compartir
Comentar
0/400
YieldWhisperer
· hace14h
meh, he visto esta matemática en 2018... los mismos viejos vectores de ataque, solo reempaquetados
Ver originalesResponder0
GasWrangler
· hace15h
en realidad, la reducción del tamaño del campo es matemáticamente superior, pero están ignorando el cuello de botella de la aleatoriedad... smh
Ver originalesResponder0
BlockchainFoodie
· hace15h
al igual que reducir una salsa compleja... campos más pequeños = mejor perfil de sabor fr fr
Ver originalesResponder0
CryptoCrazyGF
· hace15h
Novia irritable que le gusta mostrar su conocimiento profesional
Circle STARKs: un nuevo esquema de zk-SNARKs eficiente y sencillo
Explorando Circle STARKs
En los últimos años, la tendencia en el diseño de protocolos STARKs es hacia el uso de campos más pequeños. Las implementaciones más tempranas de STARKs utilizaban campos de 256 bits, pero este diseño es menos eficiente. 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 presenta algunos desafíos, como el problema de la falta de aleatoriedad. Para resolver este problema, hay dos soluciones: realizar múltiples comprobaciones aleatorias o expandir los campos. La expansión de campos es similar a los números complejos, pero se basa en un campo finito.
Circle STARKs es una solución ingeniosa. Dado un número primo p, se puede encontrar un grupo de tamaño p que tiene la propiedad de ser 2 a 1. Este grupo está compuesto por puntos que satisfacen condiciones específicas, como el conjunto de puntos donde x^2 mod p es igual a un cierto valor.
Circle STARKs utiliza una FFT especial, llamada Circle FFT. El objeto que procesa no es un polinomio estricto, sino un espacio de Riemann-Roch. Los desarrolladores no necesitan entender los detalles específicos, solo deben tratar el polinomio como un conjunto de valores de evaluación.
Al implementar Circle STARKs, es necesario tener en cuenta los siguientes puntos:
Circle STARKs es muy eficiente en un campo primo de 31 bits. En comparación con SNARKs de grandes campos, puede aprovechar mejor el espacio de cálculo. Aunque Binius es superior en algunos aspectos, el concepto de Circle STARKs es más simple.
El futuro de la optimización de STARK podría centrarse en:
En general, Circle STARKs es una solución de implementación de STARK que es conceptualmente simple pero eficiente, y merece ser explorada y aplicada más a fondo.