O cofundador da Ethereum, Vitalik Buterin, introduziu um novo protocolo criptográfico chamado Circle STARKs que promete melhorar a segurança e a eficiência do blockchain.
Em sua última postagem, Buterin explica que esse salto tecnológico utiliza campos menores como o Mersenne31 para melhorar significativamente a velocidade da prova sem comprometer as medidas de segurança. Ele disse:
“A tendência mais importante no design do protocolo STARK nos últimos dois anos tem sido a mudança para trabalhar em campos pequenos.”
De acordo com a postagem, os tradicionais argumentos de conhecimento transparentes escaláveis (STARKs) operam em campos de 256 bits, que, embora seguros, são normalmente ineficientes.
Os Circle STARKs aproveitam campos menores, resultando em custos computacionais reduzidos, velocidades de prova mais rápidas e ganhos mais eficientes, como a verificação de 620.000 hashes Poseidon2 por segundo em um laptop M3.
Buterin observa que a implementação anterior do STARK tornou campos menores naturalmente compatíveis com a verificação de assinaturas baseadas em curvas elípticas, mas levou à ineficiência devido aos grandes números envolvidos.
Os pequenos campos tradicionais têm valores possíveis limitados e podem ficar expostos a ataques de força bruta.
Os Circle STARKs neutralizam essa vulnerabilidade realizando diversas verificações aleatórias e usando campos de extensão, expandindo o conjunto de valores que os invasores precisam adivinhar.
Esta medida de segurança cria uma barreira computacional proibitiva para invasores, mantendo a integridade do protocolo. Buterin acrescentou:
“Com STARKs em campos menores, temos um problema: existem apenas cerca de dois bilhões de valores possíveis de r para escolher e, portanto, um invasor que queira fazer uma prova falsa precisa apenas tentar dois bilhões de vezes – muito trabalho, mas bastante factível para um atacante determinado!”
As Provas de Proximidade (FRI) Fast Reed-Solomon Interactive Oracle provam que uma função é um polinômio de um certo grau e é um aspecto crucial dos Circle STARKs.
Apresentando o Circle FRI, uma abordagem que mantém a integridade do processo criptográfico, os Circle STARKs garantem que entradas não polinomiais falhem na prova.
Os Circle STARKs oferecem mais flexibilidade e versatilidade para desempenho computacional eficiente, utilizando pequenos campos e esta nova estrutura matemática.
