Cofundador da Ethereum, Vitalik Buterin, propôs uma abordagem em camadas para a segurança de criptomoedas que enfatiza redundância e verificação multiângulo para alinhar sistemas com as intenções dos usuários. Publicada em 22 de fevereiro de 2026, sua estrutura reconhece a impossibilidade de segurança perfeita devido à complexidade da intenção humana. A estratégia visa proteger os usuários de hacks e exploits enquanto preserva a usabilidade.
O cofundador da Ethereum, Vitalik Buterin, introduziu uma estrutura para segurança de criptomoedas que prioriza o design centrado no humano, conforme detalhado em uma publicação datada de 22 de fevereiro de 2026. A abordagem foca em reduzir a lacuna entre o que os usuários pretendem e como os sistemas respondem, particularmente em cenários de alto risco como hacks de carteiras e vulnerabilidades em contratos inteligentes. Buterin argumenta que a segurança perfeita não pode ser alcançada porque a intenção do usuário é inerentemente complexa. “Segurança perfeita é impossível — não porque as máquinas são falhas, ou porque os humanos que as projetam são falhos, mas porque a intenção do usuário é fundamentalmente um objeto extremamente complexo”, escreveu. Por exemplo, até uma transação básica como enviar 1 ETH requer suposições não declaradas sobre a identidade do destinatário, forks potenciais da blockchain e conhecimento cotidiano que o código não pode capturar completamente. Preocupações com privacidade complicam ainda mais, com riscos de padrões de metadados, temporização de mensagens e sinais comportamentais potencialmente levando a vazamentos de informação. Esse desafio ecoa dificuldades na segurança de IA, onde definir metas precisas provou ser elusivo. Para lidar com isso, Buterin defende redundância, onde os usuários expressam intenção por múltiplos métodos, e os sistemas prosseguem apenas se alinharem. Esse princípio se estende a carteiras Ethereum, sistemas operacionais, ferramentas de verificação formal e módulos de segurança de hardware. Aplicações práticas incluem sistemas de tipos que verificam lógica do programa contra estruturas de dados, verificação formal para provas matemáticas do comportamento do código, simulações de transações para pré-visualizar resultados e asserções pós-ação para confirmar resultados. Carteiras multisig e recuperação social distribuem controle por chaves, evitando falhas únicas. Buterin também destaca o papel potencial de grandes modelos de linguagem (LLMs) na segurança. Ele os descreve como “uma simulação de intenção”, com modelos genéricos fornecendo verificações de senso comum e modelos ajustados detectando anomalias individuais. “LLMs não devem ser confiados em nenhuma circunstância como único determinante de intenção. Mas eles são um ‘ângulo’ pelo qual a intenção do usuário pode ser aproximada”, observou. Integrar LLMs com outros métodos pode melhorar a detecção sem introduzir vulnerabilidades. Para equilibrar proteção e usabilidade, a estrutura sugere automatizar ações de baixo risco enquanto adiciona verificações para as de alto risco, como transferências para novos endereços ou quantias grandes. No geral, esse método em camadas busca minimizar riscos em sistemas descentralizados sem fricção excessiva ao usuário.
