• O Circle STARKs mitiga o risco aumentando o número de valores que os invasores precisam adivinhar.

  • Às vezes, os STARKs operam em campos ineficientes de 256 bits, conforme declarado na postagem.

Vitalik Buterin, cofundador da Ethereum, revelou o Circle STARKs, um novo protocolo criptográfico que visa aumentar a eficiência e a segurança do blockchain. Buterin descreve esse avanço técnico em sua postagem mais recente, explicando que ele utiliza campos menores como Mersenne31 para aumentar significativamente a velocidade de prova sem sacrificar a segurança.

Embora seguros, os Argumentos de Conhecimento Transparentes Escaláveis ​​(STARKs) convencionais às vezes operam em campos ineficientes de 256 bits, conforme declarado na postagem.

A verificação de 620.000 hashes Poseidon2 por segundo em um laptop M3 é possível com Circle STARKs. Porque usam campos menores, o que leva à diminuição dos custos de computação, taxas de comprovação mais rápidas e ganhos mais eficientes.

Embora as implementações anteriores do STARK tornassem campos menores “naturalmente compatíveis com a verificação de assinaturas baseadas em curvas elípticas”. Buterin salienta que isto “levou à ineficiência” devido ao enorme número envolvido.

Aumentando a segurança

Os pequenos campos convencionais são vulneráveis ​​a ataques de força bruta devido aos seus valores potenciais limitados. Os Circle STARKs atenuam esse risco aumentando o número de valores que os invasores precisam adivinhar. Isso ocorre por meio do uso de campos de extensão e várias verificações aleatórias.

Além disso, a integridade do protocolo é preservada por este mecanismo de segurança, que apresenta uma barreira computacionalmente proibitiva para os atacantes. Além disso, uma parte essencial dos Circle STARKs são as Provas de Proximidade (FRI) Fast Reed-Solomon Interactive Oracle, que demonstram que uma função é um polinômio de um certo grau.

Apresentando o Circle FRI, um método que mantém o processo criptográfico intacto, os Circle STARKs garantem que as entradas que não são polinomiais falhem na prova. Ao fazer uso de campos minúsculos e dessa nova estrutura matemática, os STARKs circulares fornecem mais adaptabilidade e eficiência no desempenho da computação.

Notícias criptográficas em destaque hoje:

Será que Ethereum testemunhará rupturas de preços em meio ao HODLing dos emissores de ETF?