Nos últimos anos, o design do protocolo STARKs tem tendência a usar campos menores. As implementações iniciais usavam campos de 256 bits, mas com eficiência reduzida. Para resolver esse problema, os STARKs começaram a optar por campos menores, como Goldilocks, Mersenne31 e BabyBear. Essa mudança melhorou significativamente a velocidade de prova.
Um problema comum ao usar campos menores é que os parâmetros escolhidos aleatoriamente podem ser adivinhados por um atacante. As soluções incluem realizar múltiplas verificações aleatórias ou expandir os campos. Campos expandidos são semelhantes a múltiplos, mas baseados em campos finitos. Isso permite operações mais complexas em campos finitos, aumentando a segurança.
Circle STARKs é uma solução engenhosa que permite a implementação eficiente de FRI em pequenos campos como Mersenne31. Utiliza um conjunto de pontos em um círculo como grupo, e esses pontos seguem regras específicas de adição. A construção de Circle FRI e Circle FFT é semelhante à do FRI convencional, mas os objetos tratados são espaços de Riemann-Roch em vez de polinômios estritamente definidos.
Ao implementar o Circle STARKs, é necessário empregar algumas técnicas especiais para substituir operações tradicionais como a multiplicação comercial e polinômios de desaparecimento. A ordem de avaliação também precisa ser ajustada para uma ordem de bits reversa especial.
De modo geral, os Circle STARKs não são muito mais complexos para os desenvolvedores do que os STARKs convencionais. É uma solução STARK eficiente, especialmente adequada para uso em campos de números primos de 31 bits. Combinando outras tecnologias como Mersenne31, BabyBear, etc., estamos nos aproximando do limite de eficiência da camada base dos STARKs.
As direções principais para a otimização do STARK no futuro podem incluir: otimização aritmética de primitivas criptográficas, construção recursiva para aumentar a paralelização, máquina virtual aritmética para melhorar a experiência de desenvolvimento, entre outras. Essas otimizações irão aumentar ainda mais o desempenho e a usabilidade do STARK.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
10 Curtidas
Recompensa
10
7
Compartilhar
Comentário
0/400
NFTRegretter
· 1h atrás
FRI está um pouco mais rápido do que antes.
Ver originalResponder0
WalletManager
· 08-04 06:32
A otimização de pequenos campos é o principal foco. Ter código acumulado não é um problema.
Ver originalResponder0
StableBoi
· 08-04 06:32
Realmente dá uma boa imagem à Goldilocks.
Ver originalResponder0
NFTFreezer
· 08-04 06:30
A prova de que a velocidade aumentou está a correr mais rápido do que o geth?
Ver originalResponder0
ColdWalletGuardian
· 08-04 06:30
Não entendi bem, é um pouco confuso. Por favor, explique.
Ver originalResponder0
CrashHotline
· 08-04 06:24
Os campos pequenos realmente são muito mais rápidos!
Circle STARKs: Uma nova solução para implementar FRI eficiente em campos pequenos
Explorar Circle STARKs
Nos últimos anos, o design do protocolo STARKs tem tendência a usar campos menores. As implementações iniciais usavam campos de 256 bits, mas com eficiência reduzida. Para resolver esse problema, os STARKs começaram a optar por campos menores, como Goldilocks, Mersenne31 e BabyBear. Essa mudança melhorou significativamente a velocidade de prova.
Um problema comum ao usar campos menores é que os parâmetros escolhidos aleatoriamente podem ser adivinhados por um atacante. As soluções incluem realizar múltiplas verificações aleatórias ou expandir os campos. Campos expandidos são semelhantes a múltiplos, mas baseados em campos finitos. Isso permite operações mais complexas em campos finitos, aumentando a segurança.
Circle STARKs é uma solução engenhosa que permite a implementação eficiente de FRI em pequenos campos como Mersenne31. Utiliza um conjunto de pontos em um círculo como grupo, e esses pontos seguem regras específicas de adição. A construção de Circle FRI e Circle FFT é semelhante à do FRI convencional, mas os objetos tratados são espaços de Riemann-Roch em vez de polinômios estritamente definidos.
Ao implementar o Circle STARKs, é necessário empregar algumas técnicas especiais para substituir operações tradicionais como a multiplicação comercial e polinômios de desaparecimento. A ordem de avaliação também precisa ser ajustada para uma ordem de bits reversa especial.
De modo geral, os Circle STARKs não são muito mais complexos para os desenvolvedores do que os STARKs convencionais. É uma solução STARK eficiente, especialmente adequada para uso em campos de números primos de 31 bits. Combinando outras tecnologias como Mersenne31, BabyBear, etc., estamos nos aproximando do limite de eficiência da camada base dos STARKs.
As direções principais para a otimização do STARK no futuro podem incluir: otimização aritmética de primitivas criptográficas, construção recursiva para aumentar a paralelização, máquina virtual aritmética para melhorar a experiência de desenvolvimento, entre outras. Essas otimizações irão aumentar ainda mais o desempenho e a usabilidade do STARK.