TheBlock
Vitalik Buterin publicou um novo post no blogue em que apresenta a ofuscação criptográfica como o "boss final da criptografia" e percorre décadas de trabalho sobre ofuscação por indistinguibilidade, ou iO.
Buterin apontou a iO baseada em reticulados como a direção mais rigorosa produzida pelos investigadores, embora tenha avisado que as construções atuais continuam totalmente impraticáveis. Os requisitos computacionais, escreveu, são "literalmente galácticos", ordens de grandeza acima daquilo que o hardware atual consegue absorver.
Porque importa
Um esquema de iO eficiente permitiria que um único programa escondesse a sua própria lógica mantendo-se verificável, colapsando uma pilha de primitivas criptográficas numa única ferramenta. Os investigadores perseguem esta construção há mais de duas décadas porque desbloquearia encriptação funcional, execução de contratos inteligentes sem confiança sobre inputs privados e sistemas de prova que não revelam a sua estrutura interna.
Impacto no mercado
O enquadramento de Buterin importa mais do que o seu pessimismo. Chamar à ofuscação o "boss final" do campo sinaliza que a comunidade central de investigação do Ethereum o trata como o problema canónico por resolver, o que orienta dinheiro de subsídios, colaboração académica e os pressupostos do roteiro do protocolo. O caminho realista de curto prazo que ele traçou, otimização incremental de reticulados, pressupostos mais arrojados ou alternativas sem reticulados, deixa a porta aberta sem comprometer um calendário.
Perguntas frequentes
-
O que é a ofuscação por indistinguibilidade (iO)?
A ofuscação por indistinguibilidade é uma primitiva criptográfica que permite a um programa esconder a sua própria lógica continuando verificável. Se fosse prática, colapsaria uma pilha de primitivas numa só ferramenta, incluindo encriptação funcional e execução de contratos inteligentes sobre dados privados.
-
Porque chamou Vitalik Buterin à ofuscação o "boss final da criptografia"?
Buterin enquadrou a iO como o problema canónico por resolver que o campo persegue há mais de duas décadas, porque um esquema funcional desbloquearia encriptação funcional, execução sem confiança sobre inputs privados e sistemas de prova que não revelam a estrutura interna.
-
Porque são impraticáveis as construções atuais de iO?
Buterin escreveu que os esquemas mais rigorosos hoje, baseados em criptografia de reticulados, têm requisitos computacionais que descreve como "literalmente galácticos", ordens de grandeza acima do que o hardware atual consegue absorver.
-
Que caminhos para a frente traçou Buterin?
Identificou três: otimizar os designs baseados em reticulados já existentes, assumir pressupostos criptográficos mais arrojados para reduzir o custo, ou descobrir métodos alternativos sem reticulados. Nenhum traz calendário.
-
Porque é que isto importa para o Ethereum?
Chamar à ofuscação o "boss final" sinaliza que a comunidade central de investigação do Ethereum o trata como o problema canónico por resolver, o que molda a atribuição de subsídios, a colaboração académica e os pressupostos que sustentam o design do protocolo a longo prazo.
CoinTelegraph
WuBlockchain
WatcherGuru
CryptoSlate
CoinDesk