Vitalik Buterin acredita que o Santo Graal da criptografia está mais próximo do que a maioria das pessoas percebe, e ele está atribuindo números a isso. Em uma análise em 6 de setembro, o co-fundador do Ethereum estimou uma probabilidade de 60% de que três das primitivas criptográficas mais importantes — SNARKs, criptografia totalmente homomórfica e obfuscação de indistingibilidade — alcancem uma sobrecarga inferior a 10x, considerando o consumo combinado de energia e os custos computacionais amortizados.
Ele foi ainda mais longe, atribuindo 33% de chance de essas mesmas tecnologias atingirem sobrecarga quase nula (expressa matematicamente como 1+ε) em grandes escalas. Tradução: há aproximadamente uma chance em três de que executar cálculos criptografados se torne quase tão barato quanto executá-los em texto claro.
Três tecnologias, uma ambição
SNARKs (Argumentos Sucintos e Não Interativos de Conhecimento) permitem provar que algo é verdadeiro sem revelar os dados subjacentes. Eles são a base das provas de conhecimento zero, que impulsionam desde os rollups da Camada 2 do Ethereum até transações que preservam a privacidade.
FHE (Criptografia Homomórfica Total) permite cálculos em dados criptografados sem nunca descriptografá-los.
Há também o iO (obfuscação de indistinguibilidade), que Buterin rotulou como o “chefe final” da criptografia em uma análise de 29 de junho. O iO permite embaralhar um programa de computador tão completamente que ninguém pode descobrir como ele funciona internamente, apenas o que ele produz como saída. As implementações atuais são descritas como polinomialmente limitadas, mas efetivamente inviáveis devido aos requisitos extremos de tempo de execução decorrentes da camada de diversos primitivos.
SNARKs liderando o grupo
Das três tecnologias, Buterin considera os SNARKs como os mais maduros. Ele observou que a sobrecarga alcançável para os SNARKs já atingiu dígitos únicos em cenários especializados, especificamente para funções de hash dedicadas e certas tarefas de inferência de modelos de linguagem de grande porte.
Buterin espera que os SNARKs alcancem múltiplos de sobrecarga de dígitos únicos de forma mais ampla até o final da década.
Três caminhos para o chefe final
Em seu comentário anterior de junho, Buterin delineou três possíveis caminhos de pesquisa para tornar o iO prático. O primeiro envolve otimizar construções baseadas em reticulados existentes. O segundo depende de suposições criptográficas mais fortes, trocando cautela teórica por velocidade prática. O terceiro exige métodos totalmente novos, abordagens não baseadas em reticulados que poderiam contornar completamente os gargalos atuais.
Ele traçou um paralelo explícito com a evolução dos SNARKs após 2010, sugerindo que o iO possa seguir uma trajetória semelhante, embora o ponto de partida seja consideravelmente pior.
As projeções de Buterin se estendem até o final da década para SNARKs e provavelmente além para FHE e iO. Nenhuma alteração de protocolo ou marco de desenvolvimento está associado às suas estimativas, que permanecem dentro de uma perspectiva pessoal focada nas implicações filosóficas, e não na aplicação comercial.