Nos últimos anos, a tendência do design do protocolo STARKs é mudar para o uso de campos menores. As primeiras implementações do STARKs utilizavam campos de 256 bits, mas esse design tinha uma eficiência mais baixa. Para melhorar a eficiência, o STARKs começou a usar campos menores, como Goldilocks, Mersenne31 e BabyBear.
O uso de pequenos campos trouxe alguns desafios, como a questão da falta de aleatoriedade. Para resolver esse problema, existem duas soluções: realizar múltivas verificações aleatórias ou expandir os campos. A expansão de campos é semelhante a plurais, mas baseada em um domínio finito.
Circle STARKs é uma solução engenhosa. Dado um primo p, é possível encontrar um grupo de tamanho p, com a propriedade de dois para um. Este grupo é composto por um conjunto de pontos que satisfazem condições específicas, como o conjunto de pontos onde x^2 mod p é igual a um determinado valor.
Circle STARKs utiliza uma FFT especial, chamada Circle FFT. O objeto que processa não são polinómios estritos, mas sim espaços de Riemann-Roch. Os desenvolvedores não precisam entender os detalhes específicos, apenas precisam tratar os polinómios como um conjunto de valores de avaliação.
Ao implementar o Circle STARKs, é necessário ter em atenção os seguintes pontos:
A execução comercial precisa ser avaliada em dois pontos.
A forma de construção de polinómios desaparecidos é diferente
Avaliação da ordem utilizando ordem inversa especial
Os STARKs em círculo são muito eficientes em campos primos de 31 bits. Em comparação com os SNARKs de grandes campos, eles utilizam melhor o espaço computacional. Embora o Binius seja superior em alguns aspectos, o conceito dos STARKs em círculo é mais simples.
O futuro da otimização do STARK pode focar em:
Arithmetização eficiente de primitivas criptográficas
Construção recursiva para aumentar a paralelização
Máquina virtual aritmética para melhorar a experiência de desenvolvimento
De um modo geral, o Circle STARKs é uma solução de implementação de STARK que é simples em conceito, mas eficiente, e merece mais exploração e aplicação.
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.
11 Curtidas
Recompensa
11
4
Compartilhar
Comentário
0/400
YieldWhisperer
· 18h atrás
meh, vi esta matemática em 2018... os mesmos vetores de ataque apenas reempacotados
Ver originalResponder0
GasWrangler
· 18h atrás
na verdade, a redução do tamanho do campo é matematicamente superior, mas vocês estão a ignorar o estrangulamento da aleatoriedade... smh
Ver originalResponder0
BlockchainFoodie
· 18h atrás
assim como reduzir um molho complexo... campos menores = melhor perfil de sabor fr fr
Ver originalResponder0
CryptoCrazyGF
· 18h atrás
Namorada irritante que gosta de exibir seus conhecimentos especializados
Circle STARKs: uma nova solução de zk-SNARKs eficiente e simples
Explorar Circle STARKs
Nos últimos anos, a tendência do design do protocolo STARKs é mudar para o uso de campos menores. As primeiras implementações do STARKs utilizavam campos de 256 bits, mas esse design tinha uma eficiência mais baixa. Para melhorar a eficiência, o STARKs começou a usar campos menores, como Goldilocks, Mersenne31 e BabyBear.
O uso de pequenos campos trouxe alguns desafios, como a questão da falta de aleatoriedade. Para resolver esse problema, existem duas soluções: realizar múltivas verificações aleatórias ou expandir os campos. A expansão de campos é semelhante a plurais, mas baseada em um domínio finito.
Circle STARKs é uma solução engenhosa. Dado um primo p, é possível encontrar um grupo de tamanho p, com a propriedade de dois para um. Este grupo é composto por um conjunto de pontos que satisfazem condições específicas, como o conjunto de pontos onde x^2 mod p é igual a um determinado valor.
Circle STARKs utiliza uma FFT especial, chamada Circle FFT. O objeto que processa não são polinómios estritos, mas sim espaços de Riemann-Roch. Os desenvolvedores não precisam entender os detalhes específicos, apenas precisam tratar os polinómios como um conjunto de valores de avaliação.
Ao implementar o Circle STARKs, é necessário ter em atenção os seguintes pontos:
Os STARKs em círculo são muito eficientes em campos primos de 31 bits. Em comparação com os SNARKs de grandes campos, eles utilizam melhor o espaço computacional. Embora o Binius seja superior em alguns aspectos, o conceito dos STARKs em círculo é mais simples.
O futuro da otimização do STARK pode focar em:
De um modo geral, o Circle STARKs é uma solução de implementação de STARK que é simples em conceito, mas eficiente, e merece mais exploração e aplicação.