O cofundador do Ethereum, Vitalik Buterin, introduziu avanços nas provas criptográficas, aumentando a velocidade de verificação e simplificando o processo.
Esses desenvolvimentos aproveitam novas técnicas em STARKs e introduzem ferramentas inovadoras como Plonky2 e Binius. Portanto, essas mudanças estão definidas para melhorar drasticamente a eficiência das tecnologias blockchain.
Provas criptográficas rápidas e fáceis de verificar
No centro das atenções estão os STARKs – argumentos de conhecimento escalonáveis e transparentes. De acordo com Buterin, essas provas criptográficas se destacam por sua capacidade de verificar com eficiência declarações complexas, como a validade de um bloco Ethereum.
Além disso, uma inovação notável nos STARKs é o uso de tamanhos de campo menores. Contrastando, portanto, com os números inteiros maiores de 256 bits exigidos por seus antecessores, os SNARKs. Essa mudança reduz a carga computacional e acelera drasticamente o processo de verificação.
Leia mais: ETFs de Ethereum – Entenda o que são e como funcionam
A nova ferramenta criptográfica Plonky2 exemplifica esse avanço. Ao empregar o campo Goldilocks, que opera em números inteiros de 64 bits, o Plonky2 atinge velocidades de prova centenas de vezes mais rápidas do que os métodos anteriores. Portanto, esses ganhos de eficiência são cruciais, especialmente para aplicativos blockchain em que a velocidade e a escalabilidade são fundamentais.
“A principal inovação do Plonky2 foi fazer a aritmética no módulo de um primo menor: 264-232+1=18446744069414584321. Agora, cada adição ou multiplicação sempre pode ser feita em apenas algumas instruções em uma CPU, e o hash de todos os dados juntos é quatro vezes mais rápido do que antes”, explicou Buterin.
O trabalho de Vitalik Buterin não se limita à otimização dos tamanhos de campo. Seu mais recente empreendimento em provas criptográficas explora o potencial dos campos binários – usando simples zeros e uns. Essa abordagem, implementada por um sistema chamado Binius, capitaliza várias estratégias matemáticas para simplificar ainda mais a geração de provas.
A Binius se diferencia por se concentrar em campos binários, que são fundamentalmente eficientes para sistemas digitais. A lógica por trás desse foco é que os sistemas digitais são inerentemente binários. Portanto, o alinhamento das operações criptográficas com isso pode minimizar a sobrecarga computacional.
“Se você usar o Binius, não precisará mais se preocupar em tornar a computação “amigável à aritmética”: Os hashes “regulares” não são mais eficientes do que os hashes aritméticos tradicionais, o módulo de multiplicação 232 ou o módulo 2256 não é mais uma grande dor de cabeça em comparação com o módulo de multiplicação p e assim por diante”, concluiu Buterin.
Essas inovações são uma prova do compromisso contínuo de Vitalik Buterin com o aprimoramento da tecnologia blockchain. À medida que esses novos métodos criptográficos se tornarem mais difundidos, espera-se que eles reduzam significativamente as barreiras à adoção da blockchain.
