Vitalik Buterin Esboça Verificação de Intenção em Múltiplas Camadas Como Chave Para Reforçar a Segurança do Ethereum

Resumidamente

Vitalik Buterin argumenta que verificações de intenção sobrepostas e em múltiplas camadas — que vão desde simulações até verificação formal — são essenciais para reduzir riscos de segurança e alinhar as ações dos utilizadores com os resultados na cadeia.

O cofundador do Ethereum, Vitalik Buterin, delineou uma estrutura para melhorar a segurança de carteiras e contratos inteligentes, defendendo que “simulações de transações” e outras verificações sobrepostas podem reduzir a lacuna entre a intenção do utilizador e o que realmente ocorre na cadeia.

Numa publicação na X, ele descreveu a segurança e a experiência do utilizador como estreitamente ligadas, observando que ambos visam reduzir resultados não intencionais, particularmente em situações onde comportamentos adversários podem causar danos significativos.

Vitalik Buterin escreveu que a segurança perfeita é inatingível porque a intenção do utilizador é inerentemente complexa e não pode ser totalmente capturada através de entradas simples. Mesmo uma ação básica, como enviar criptomoeda a outra pessoa, envolve camadas de ambiguidade, desde a forma como as identidades são representadas até como os forks da rede podem redefinir ativos. Ele acrescentou que objetivos mais abstratos, como preservar a privacidade, introduzem ainda mais complicações porque padrões de metadados e o timing da comunicação podem revelar informações sensíveis mesmo quando as mensagens estão encriptadas.

Chamando a Verificações de Intenção em Múltiplas Camadas para Reforçar a Segurança

Ele comparou esses desafios às discussões iniciais sobre segurança em IA, onde especificar objetivos de forma confiável e sem ambiguidades é considerado um dos problemas mais difíceis. Segundo Vitalik Buterin, sistemas de segurança eficazes em software, hardware e ambientes blockchain compartilham um princípio comum: os utilizadores expressam suas intenções através de múltiplos sinais sobrepostos, e o sistema atua apenas quando esses sinais estão alinhados.

Ele apontou exemplos como sistemas de tipos, verificação formal, configurações de múltiplas assinaturas, limites de gasto e simulações de transações. Em cada caso, a intenção do utilizador é expressa através de mecanismos diferentes — comportamento do código, garantias matemáticas, múltiplas chaves ou prompts de confirmação — e o sistema verifica a consistência antes de executar uma ação. Essa redundância, argumentou, reduz o risco ao abordar a intenção de várias direções em vez de confiar numa única entrada.

Ele também sugeriu que modelos de linguagem de grande escala (LLMs) podem servir como uma camada adicional para interpretar a intenção, funcionando como uma espécie de “sombra de senso comum” que pode sinalizar ações incomuns ou de alto risco. No entanto, enfatizou que esses modelos nunca devem ser a única fonte de decisão de intenção, mas sim uma abordagem complementar dentro de um design de segurança mais amplo.

Concluiu que a segurança não deve se traduzir em fricção desnecessária para os utilizadores. Em vez disso, os sistemas devem tornar ações rotineiras de baixo risco simples, enquanto garantem que operações de alto risco exijam confirmações mais robustas. Alcançar esse equilíbrio, disse ele, é fundamental para construir ferramentas mais seguras e intuitivas em todo o ecossistema Ethereum.