Nos últimos anos, o design do protocolo STARKs tem tendido a usar campos matemáticos menores. As primeiras implementações do STARKs usavam campos de 256 bits, mas esse design tem uma eficiência mais baixa. Para resolver esse problema, o STARKs começou a se voltar para o uso de campos menores, como Goldilocks, Mersenne31 e BabyBear.
O uso de campos menores trouxe alguns desafios, como questões de segurança. As soluções incluem realizar múltiplas verificações aleatórias e expandir os campos. Campos expandidos são semelhantes a múltiplos, mas baseados em um campo finito. Isso nos permite realizar operações mais complexas em um campo finito, aumentando a segurança.
Circle STARKs é uma solução engenhosa. Dado um primo p, pode-se encontrar um grupo de tamanho p, que possui características semelhantes de um-para-dois. 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 valor específico.
Circle STARKs suporta o algoritmo FFT, mas os objetos processados não são polinômios no sentido estrito, mas sim objetos matemáticos chamados espaços de Riemann-Roch. Os desenvolvedores podem praticamente ignorar este ponto, apenas armazenando os polinômios como um conjunto de valores de avaliação em um domínio específico.
No Circle STARKs, os métodos tradicionais de cálculo comercial precisam ser ajustados. Provamos adicionando um ponto virtual que não precisa de atenção, avaliando em dois pontos.
Os STARKs do Circle apresentam um desempenho excelente em termos de eficiência. Eles aproveitam ao máximo o espaço na trilha de computação para realizar trabalho útil, reduzindo o espaço ocioso. Embora o Binius seja superior em alguns aspectos, os STARKs do Circle são conceitualmente mais simples.
No geral, os STARKs da Circle não são mais complexos para os desenvolvedores do que os STARKs normais. Embora a matemática subjacente seja complexa, essa complexidade está bem oculta. No futuro, a otimização dos STARKs pode se concentrar na aritmética de primitivas criptográficas, construção recursiva e melhoria da experiência do desenvolvedor na virtual machine.
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.
Circle STARKs: Uma nova geração de zk-SNARKs eficientes e seguras
Explorar Circle STARKs
Nos últimos anos, o design do protocolo STARKs tem tendido a usar campos matemáticos menores. As primeiras implementações do STARKs usavam campos de 256 bits, mas esse design tem uma eficiência mais baixa. Para resolver esse problema, o STARKs começou a se voltar para o uso de campos menores, como Goldilocks, Mersenne31 e BabyBear.
O uso de campos menores trouxe alguns desafios, como questões de segurança. As soluções incluem realizar múltiplas verificações aleatórias e expandir os campos. Campos expandidos são semelhantes a múltiplos, mas baseados em um campo finito. Isso nos permite realizar operações mais complexas em um campo finito, aumentando a segurança.
Circle STARKs é uma solução engenhosa. Dado um primo p, pode-se encontrar um grupo de tamanho p, que possui características semelhantes de um-para-dois. 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 valor específico.
Circle STARKs suporta o algoritmo FFT, mas os objetos processados não são polinômios no sentido estrito, mas sim objetos matemáticos chamados espaços de Riemann-Roch. Os desenvolvedores podem praticamente ignorar este ponto, apenas armazenando os polinômios como um conjunto de valores de avaliação em um domínio específico.
No Circle STARKs, os métodos tradicionais de cálculo comercial precisam ser ajustados. Provamos adicionando um ponto virtual que não precisa de atenção, avaliando em dois pontos.
Os STARKs do Circle apresentam um desempenho excelente em termos de eficiência. Eles aproveitam ao máximo o espaço na trilha de computação para realizar trabalho útil, reduzindo o espaço ocioso. Embora o Binius seja superior em alguns aspectos, os STARKs do Circle são conceitualmente mais simples.
No geral, os STARKs da Circle não são mais complexos para os desenvolvedores do que os STARKs normais. Embora a matemática subjacente seja complexa, essa complexidade está bem oculta. No futuro, a otimização dos STARKs pode se concentrar na aritmética de primitivas criptográficas, construção recursiva e melhoria da experiência do desenvolvedor na virtual machine.