Circle STARKs: Uma nova abordagem para construir provas de conhecimento zero eficientes em campos pequenos

robot
Geração de resumo em curso

Explorar Circle STARKs

Nos últimos anos, a tendência no design do protocolo STARKs é a de se voltar para o uso de campos menores. As primeiras implementações de STARKs utilizavam campos de 256 bits, mas esse design tinha eficiência baixa. Para melhorar a eficiência, os STARKs começaram a usar campos menores, como Goldilocks, Mersenne31 e BabyBear.

O uso de pequenos campos pode aumentar significativamente a velocidade da prova. Por exemplo, a Starkware pode provar 620.000 hashes Poseidon2 por segundo em um notebook M3. No entanto, os pequenos campos também trazem alguns desafios, como como implementar aleatoriedade suficiente em um espaço de valores limitado.

Vitalik Nova Obra: Explorando Circle STARKs

Para resolver este problema, pode-se utilizar o método de múltiplas verificações aleatórias ou o método de campos expandidos. Campos expandidos são semelhantes a plurais, introduzindo um novo valor α tal que α^2 é igual a um valor específico, criando assim estruturas matemáticas mais complexas.

Vitalik nova obra: Explorando Circle STARKs

Circle STARKs é uma solução engenhosa que permite a implementação eficiente do protocolo FRI em pequenos campos como Mersenne31. Utiliza uma estrutura de grupo circular especial com propriedades semelhantes a um mapeamento de dois para um. Essa estrutura nos permite realizar reduções polinomiais de forma eficiente em pequenos campos.

Vitalik novo trabalho: explorando Circle STARKs

Os STARKs em círculo também suportam operações FFT semelhantes, mas lidam com espaços de Riemann-Roch em vez de polinômios estritos. Isso traz algumas diferenças em detalhes, como a forma de construção de operações de quociente e polinômios que desaparecem.

Vitalik novo trabalho: explorando Circle STARKs

Vitalik novo trabalho: explorando Circle STARKs

Em suma, o Circle STARKs oferece aos desenvolvedores uma maneira de construir STARKs eficientes em campos pequenos, sem se preocupar excessivamente com os detalhes matemáticos subjacentes. Combina a eficiência computacional dos campos pequenos com segurança suficiente, sendo uma direção de otimização de STARK muito promissora.

Vitalik nova obra: Explorando Circle STARKs

O futuro da otimização do STARK pode se concentrar em: 1) otimização da aritmética de primitivas criptográficas básicas; 2) aumento da paralelização através da construção recursiva; 3) melhoria da aritmética da máquina virtual para aprimorar a experiência de desenvolvimento. Estamos nos aproximando do limite de eficiência da camada básica do STARK, e as futuras otimizações se concentrarão mais nessas direções.

Vitalik Novo Trabalho: Explorando Circle STARKs

Vitalik novo trabalho: explorando Circle STARKs

Ver original
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
  • Partilhar
Comentar
0/400
AirdropHunterZhangvip
· 16h atrás
Já estamos a fazer pipocas de conhecimento zero novamente.
Ver originalResponder0
PumpDetectorvip
· 16h atrás
hmm a temporada de alta nunca acaba... parece muito otimista, para ser sincero
Ver originalResponder0
SneakyFlashloanvip
· 17h atrás
zk é divertido
Ver originalResponder0
MetaverseLandladyvip
· 17h atrás
Já estão a inventar novas artimanhas, não é?
Ver originalResponder0
BearMarketGardenervip
· 17h atrás
Pequeno campo STARKs fantástico ah
Ver originalResponder0
  • Pino
Negocie cripto em qualquer lugar e a qualquer hora
qrCode
Digitalizar para transferir a aplicação Gate
Novidades
Português (Portugal)
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)