A IA pode auditar contratos inteligentes melhor do que auditores humanos?

Os contratos inteligentes possuem um enorme potencial. Mas com grande poder vem uma grande responsabilidade, e garantir a segurança destes contratos inteligentes é fundamental. É aqui que entra a auditoria. Com o seu poder de processamento sobre-humano, poderá a IA superar os auditores humanos nesta função crítica de manter seguros os contratos inteligentes? Discutiremos a resposta neste artigo.

O caso da IA

• Velocidade e escala: a IA pode analisar rapidamente grandes quantidades de código, identificando padrões e vulnerabilidades potenciais que podem levar semanas para os humanos. Isto é crucial no mundo acelerado do desenvolvimento de blockchain.
• Vantagem do aprendizado de máquina: a IA pode aprender com vastos conjuntos de dados de explorações anteriores e auditorias bem-sucedidas, melhorando continuamente sua capacidade de detectar novas ameaças.
• Viés reduzido: os auditores humanos são suscetíveis a preconceitos, mas a IA pode abordar as auditorias com fria objetividade.

Este é um baseado em IA relatório na auditoria de um protocolo chamado Lockon, que permite investimentos de índices em criptografia. O relatório foi gerado em aproximadamente 48 horas. A equipe Lockon ficou surpresa ao saber que este era um relatório baseado em IA porque eles consideraram precisos os pontos sobre vulnerabilidades.

Embora as auditorias baseadas em IA ainda não sejam perfeitas, oferecem benefícios significativos para projetos que procuram reduzir custos de auditoria. São também cada vez mais utilizados como uma “pré-auditoria” antes de contratar empresas de auditoria tradicionais, uma vez que a identificação antecipada de bugs críticos pode reduzir os custos pagos às empresas de auditoria. Além disso, a integração de serviços de auditoria baseados em IA no processo CI/CD começa a ser vista como uma forma de melhorar a qualidade do código.

O caso dos auditores humanos

• Compreendendo o contexto: Os contratos inteligentes não existem no vácuo. Eles interagem com sistemas complexos. Ao contrário dos humanos, a IA pode precisar de ajuda para compreender as nuances destas interações e as potenciais implicações de segurança.
• Chamadas de explicabilidade e julgamento: quando uma IA sinaliza um problema, explicar a causa e o motivo do problema ou vulnerabilidade é crucial. Os auditores humanos podem interpretar o código, avaliar o risco e tomar decisões informadas.
• Criatividade e ameaças imprevistas: Os cibercriminosos estão constantemente inovando. A IA pode perder novos vetores de ataque, enquanto os auditores humanos podem aproveitar a sua experiência e criatividade para considerar essas possibilidades. Muitos podem argumentar que a IA pode fazer isso dadas as suas capacidades de aprendizagem automática, mas, novamente, a inteligência humana está em vantagem.

Sem dúvida, a IA é um divisor de águas para auditorias de contratos inteligentes, mas não é uma solução mágica. O futuro está na colaboração. Imagine a IA escaneando códigos rapidamente, destacando riscos potenciais e liberando auditores humanos para se concentrarem em cenários complexos e tomarem decisões finais. Esta parceria poderosa pode garantir o futuro seguro e eficiente dos contratos inteligentes.

Uma comparação rápida

Um exemplo de empresa de auditoria baseada em IA, Bunzz Audit publicou uma comparação entre auditorias baseadas em IA e auditorias humanas.

A equipe Bunzz afirma: “Nossos resultados de pesquisa e desenvolvimento nos levaram a concluir que uma abordagem de banco de dados mais IA é mais adequada para detectar padrões de vulnerabilidade do que humanos”.

O futuro das auditorias de IA

Em fevereiro de 2024, Vitalik Buterin destacou o potencial da IA para auxiliar na verificação formal de código e na descoberta de bugs. “Uma aplicação de IA que me entusiasma é a verificação formal de código assistida por IA e a descoberta de bugs”, afirmou ele, acrescentando:

“No momento, o maior risco técnico do Ethereum provavelmente são os bugs no código, e qualquer coisa que pudesse mudar significativamente o jogo seria incrível.”

Os projetos Blockchain dependem de código e, como qualquer código, podem conter erros. A Verificação Formal é uma ferramenta que ajuda a identificar essas fraquezas na lógica dos projetos de blockchain. Ao usar a verificação formal, os construtores web3 podem garantir que seus projetos sejam mais confiáveis e confiáveis.

Imagine um futuro onde a Verificação Formal seja ainda mais poderosa. Alguns especialistas acreditam que esse avanço pode ser tão significativo para a tecnologia blockchain quanto as provas de Conhecimento Zero, uma tecnologia diferente que aumenta a privacidade.

No entanto, há um obstáculo. Escrever instruções claras e perfeitas para o código, chamadas de "especificações", é atualmente caro e demorado. É aqui que as coisas ficam interessantes: alguns, como Vitalik Buterin, e líderes como Auditoria Bunzz . Acredito que a IA pode ser a chave para tornar este processo mais barato e fácil.