Vitalik Buterin apresenta nova solução para ZK-EVM eficiente em seu último artigo
Em Breve
Vitalik Buterin publicou um novo artigo em seu blog intitulado “Exploring Circle STARKs”, apresentando uma nova solução para ZK-EVM eficiente.
O cofundador da Ethereum, Vitalik Buterin, publicou um novo artigo intitulado “Exploring Circle STARKs” em seu blog. O artigo destaca que o Starkware de acumulação de validade descentralizada e sem permissão pode processar 620,000 valores de hash Poseidon2 por segundo em um notebook com chip M3. Este avanço sugere que se Poseidon2 for confiável como uma função hash, um desafio no desenvolvimento de uma função de conhecimento zero eficiente Ethereum Máquina Virtual (EVM) foi resolvida.
O artigo aponta que os STARKs circulares introduzem uma complexidade adicional mínima para os desenvolvedores em comparação com os STARKs padrão. As principais diferenças limitam-se essencialmente a três questões principais na sua implementação, em contraste com o FRI normal.
Embora os princípios matemáticos por trás dos “polinômios” usados no círculo FRI sejam um tanto contra-intuitivos e possam exigir tempo para serem totalmente compreendidos, essa complexidade é amplamente ocultada dos desenvolvedores. O artigo destaca que a natureza intrincada dos princípios matemáticos do círculo é encapsulada e não sistemática.
Enquanto isso, compreender o círculo FRI e o círculo FFT também pode servir como uma introdução útil a outras FFTs especializadas. Notavelmente, isso inclui FFTs de campo binário, que são usadas em sistemas como Binius e LibSTARK, bem como construções mais complexas, como FFTs de curva elíptica. FFTs de curva elíptica usam mapeamentos de poucos para 1 que se integram bem com operações de pontos de curva elíptica.
Vitalik Buterin antecipa aritmetização de primitivos essenciais como avanço importante na otimização STARK
Finalmente, Vitalik Buterin sugere que 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” dos STARKs. Ele prevê que os avanços futuros na STARK a otimização se concentrará na otimização da aritmetização de primitivas básicas, como funções hash e assinaturas, e na melhoria dessas próprias primitivas para atingir o objetivo.
Além disso, haverá ênfase no desenvolvimento de construções recursivas para permitir maior paralelização, na aritmetização de máquinas virtuais (VMs) para aprimorar a experiência do desenvolvedor e na abordagem de outras tarefas avançadas.
Aviso Legal
Em linha com a Diretrizes do Projeto Trust, observe que as informações fornecidas nesta página não se destinam e não devem ser interpretadas como aconselhamento jurídico, tributário, de investimento, financeiro ou qualquer outra forma. É importante investir apenas o que você pode perder e procurar aconselhamento financeiro independente se tiver alguma dúvida. Para mais informações, sugerimos consultar os termos e condições, bem como as páginas de ajuda e suporte fornecidas pelo emissor ou anunciante. MetaversePost está comprometida com relatórios precisos e imparciais, mas as condições de mercado estão sujeitas a alterações sem aviso prévio.
Sobre o autor
Alisa, jornalista dedicada do MPost, é especializada em criptomoedas, provas de conhecimento zero, investimentos e no vasto reino de Web3. Com um olhar atento às tendências e tecnologias emergentes, ela oferece uma cobertura abrangente para informar e envolver os leitores no cenário em constante evolução das finanças digitais.
Mais artigosAlisa, jornalista dedicada do MPost, é especializada em criptomoedas, provas de conhecimento zero, investimentos e no vasto reino de Web3. Com um olhar atento às tendências e tecnologias emergentes, ela oferece uma cobertura abrangente para informar e envolver os leitores no cenário em constante evolução das finanças digitais.