{"id":124452,"date":"2024-07-24T18:05:10","date_gmt":"2024-07-24T18:05:10","guid":{"rendered":"https:\/\/pt.cryptonews.com\/?p=124452"},"modified":"2024-07-24T18:05:10","modified_gmt":"2024-07-24T18:05:10","slug":"vitalik-buterin-apresenta-o-protocolo-circle-starks-para-seguranca-e-eficiencia-de-blockchain","status":"publish","type":"post","link":"https:\/\/cryptonews.com\/br\/noticias\/vitalik-buterin-apresenta-o-protocolo-circle-starks-para-seguranca-e-eficiencia-de-blockchain\/","title":{"rendered":"Vitalik Buterin apresenta o protocolo Circle STARKs para seguran\u00e7a e efici\u00eancia de blockchain"},"content":{"rendered":"

\"Starks\"O cofundador da Ethereum, Vitalik Buterin, apresentou um protocolo cripto chamado Circle STARKs para aumentar a segurança e a eficiência da blockchain.<\/span>Este protocolo aproveita campos menores em cripto, oferecendo velocidades de comprovação aprimoradas e custos computacionais reduzidos sem comprometer a segurança.<\/span>Os Circle STARKs representam um avanço significativo no setor de blockchain<\/a>, prometendo segurança robusta e eficiência aprimorada.<\/span><\/p>

Circle Starks – Campos menores com abordagem dos desafios de segurança<\/b><\/h2>

<\/span>Em uma postagem detalhada do blog intitulada “Exploring circle STARKs”, Buterin explica que a tendência mais crucial no design do protocolo STARK nos últimos dois anos foi a mudança para o uso de campos menores.<\/span>Os tradicionais Scalable Transparent ARguments of Knowledge (STARKs) geralmente operam em campos de 256 bits. Embora seguros, esses campos maiores tendem a precisar ser mais eficientes.<\/span>Os STARKs circulares, por outro lado, utilizam campos menores, como o Mersenne31, resultando em melhorias substanciais na velocidade de comprovação e eficiência computacional.<\/span>Por exemplo, o novo protocolo pode verificar até 620.000 hashes Poseidon2 por segundo em um laptop M3, uma melhoria considerável em relação às implementações anteriores.<\/span>Apesar dessas vantagens, usar campos menores traz desafios de segurança inerentes. Campos pequenos têm um número limitado de valores possíveis, tornando-os potencialmente vulneráveis ​​a ataques de força bruta.<\/span>O Circle STARKs aborda esse problema implementando diversas verificações aleatórias e usando campos de extensão.<\/span>Essa abordagem expande o conjunto de valores que os invasores devem adivinhar, criando uma barreira computacional que complica as tentativas de ataque e mantém a integridade do protocolo.<\/span>Buterin reconhece que implementações anteriores do STARK tornaram campos menores “naturalmente compatíveis com a verificação de assinaturas baseadas em curvas elípticas”. Todavia, essa compatibilidade levava frequentemente a ineficiências devido aos grandes números envolvidos.<\/span>Com os Circle STARKs, essas limitações são superadas ao aumentar a eficiência da prova sem comprometer a segurança. Ademais, u<\/span>m aspecto crucial do Circle STARKs é a introdução do Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI).<\/span>O Circle FRI garante que uma função seja polinomial em um grau específico, mantendo a integridade do processo cripto ao garantir que entradas não polinomiais falhem na prova. Essa nova abordagem oferece aos Circle STARKs mais flexibilidade e versatilidade para desempenho computacional eficiente.<\/span><\/p>

Complexidade mínima para desenvolvedores<\/b><\/h2>

<\/span>No artigo, Buterin<\/a> também destacou que os Circle STARKs introduzem complexidade adicional mínima para desenvolvedores em comparação aos STARKs padrão.<\/span>Em contraste com o FRI regular, as principais diferenças são limitadas a três questões-chave ao implementá-los. Os princípios matemáticos por trás dos polinômios usados ​​no Circle FRI podem ser contraintuitivos e exigir tempo para serem totalmente compreendidos, mas essa complexidade é amplamente ocultada dos desenvolvedores.<\/span>Entender o Circle FRI e os Circle FFTs também pode ser uma introdução valiosa a outros FFTs especializados, como FFTs de campo binário usados ​​em sistemas como Binius e LibSTARK e construções mais complexas como FFTs de curva elíptica.<\/span>Olhando para o futuro, Buterin prevê que o futuro da otimização STARK se concentrará na aritmetização de primitivas principais, como funções de hash e assinaturas.<\/span>A combinação de técnicas como Mersenne31, BabyBear e métodos de campo binário como Binius está se aproximando do limite de eficiência da “camada base” do STARK.<\/span>Avanços futuros enfatizarão provavelmente o desenvolvimento de construções recursivas. Dessa maneira, permitirá um maior paralelismo, aritmetizar máquinas virtuais (VMs) para aprimorar a experiência do desenvolvedor e abordar outras tarefas avançadas.<\/span>A introdução do Circle STARKs geralmente representa um avanço significativo na indústria de blockchain. Campos menores e novas estruturas matemáticas oferecem uma combinação de eficiência aprimorada e segurança robusta para a tecnologia blockchain<\/a>.<\/span>Líderes de pensamento especialistas afirmam que essa inovação é um passo necessário à frente, com potenciais implicações para o futuro da segurança e eficiência do blockchain. Isso é especialmente verdadeiro agora que a crescente necessidade por isso se tornou mais evidente, com mais de US$ 176 milhões perdidos em ataques somente em junho.<\/span><\/p>

\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\"\"<\/a><\/h2>\n

<\/span><\/p>\n

<\/h2>\n

<\/span><\/p>\n

<\/h2>\n

<\/span><\/p>\n

Leia mais:<\/h2>\n

<\/span><\/p>\n