VITALIK BUTERIN: A IA PODERIA LEVAR A SEGURANÇA DE BLOCKCHAINS A UMA ABORDAGEM DIFERENTE
Vitalik Buterin rejeitou a visão de que hackers movidos a IA causarão o colapso da cibersegurança. Segundo a PANews, ele argumenta que o foco deve estar em construir sistemas que resistam a ataques e possam ser verificados, em vez de correr para encontrar vulnerabilidades.
Buterin comparou isso com a matemática: se a IA consegue provar as equações de Navier-Stokes e o Último Teorema de Fermat, então, em princípio, ela também poderia provar que um programa é seguro como se fosse um teorema.
Ele observou que “segurança” abrange falsificação, ataques de replay, comprometimento de servidor, vazamento de chaves e ataques por canal lateral. Esse escopo permanece menor do que a superfície de ataque do código-fonte e pode ser mais fácil de verificar.
Buterin disse anteriormente que esforços para verificar apenas partes de sistemas de segurança falharam. Com IA, todo o programa precisaria ser verificado, incluindo bancos de dados, redes, caches e outros componentes.
Ele não enquadra isso simplesmente como uma corrida entre agentes bons e maus. O objetivo é um código mais resistente a ataques, e Buterin disse que isso fará parte do desenvolvimento do Ethereum.
Essa visão importa porque muitas camadas de software e infraestrutura de blockchain interagem. Buterin disse que, sem uma verificação forte, blockchains que combinam escalabilidade e privacidade terão dificuldades no longo prazo.
Buterin também disse que continua mantendo cripto, cerca de 90% do seu patrimônio líquido, como uma aposta na melhoria da segurança por meio de design e verificação.
A IA está aumentando as capacidades ofensivas, mas o argumento de Buterin desloca a pergunta de “quem encontra o bug primeiro?” para “quão bem um sistema consegue provar que está seguro?”
A verificação do programa completo poderia se tornar um novo padrão de segurança para o Ethereum e para blockchains que combinam escalabilidade com privacidade?
Faça sua própria pesquisa com cuidado antes de fazer qualquer transação (DYOR). $ETH $SOL $ZEC
Vitalik Buterin rejeitou a visão de que hackers movidos a IA causarão o colapso da cibersegurança. Segundo a PANews, ele argumenta que o foco deve estar em construir sistemas que resistam a ataques e possam ser verificados, em vez de correr para encontrar vulnerabilidades.
Buterin comparou isso com a matemática: se a IA consegue provar as equações de Navier-Stokes e o Último Teorema de Fermat, então, em princípio, ela também poderia provar que um programa é seguro como se fosse um teorema.
Ele observou que “segurança” abrange falsificação, ataques de replay, comprometimento de servidor, vazamento de chaves e ataques por canal lateral. Esse escopo permanece menor do que a superfície de ataque do código-fonte e pode ser mais fácil de verificar.
Buterin disse anteriormente que esforços para verificar apenas partes de sistemas de segurança falharam. Com IA, todo o programa precisaria ser verificado, incluindo bancos de dados, redes, caches e outros componentes.
Ele não enquadra isso simplesmente como uma corrida entre agentes bons e maus. O objetivo é um código mais resistente a ataques, e Buterin disse que isso fará parte do desenvolvimento do Ethereum.
Essa visão importa porque muitas camadas de software e infraestrutura de blockchain interagem. Buterin disse que, sem uma verificação forte, blockchains que combinam escalabilidade e privacidade terão dificuldades no longo prazo.
Buterin também disse que continua mantendo cripto, cerca de 90% do seu patrimônio líquido, como uma aposta na melhoria da segurança por meio de design e verificação.
A IA está aumentando as capacidades ofensivas, mas o argumento de Buterin desloca a pergunta de “quem encontra o bug primeiro?” para “quão bem um sistema consegue provar que está seguro?”
A verificação do programa completo poderia se tornar um novo padrão de segurança para o Ethereum e para blockchains que combinam escalabilidade com privacidade?
Faça sua própria pesquisa com cuidado antes de fazer qualquer transação (DYOR). $ETH $SOL $ZEC
