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á   superar os auditores humanos nesta função crítica de manter seguros os contratos inteligentes? Discutiremos a resposta neste artigo. a IA   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  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.   relatório  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,  entre auditorias baseadas em IA e auditorias humanas.    Bunzz Audit publicou uma comparação  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  . Acredito que a IA pode ser a chave para tornar este processo mais barato e fácil.   Auditoria Bunzz

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

This writer has a vested interest be it monetary, business, or otherwise, with 1 or more of the products or companies mentioned within.

The writer is smart, but don't just like, take their word for it. #DoYourOwnResearch before making any investment decisions or decisions regarding your health or security. (Do not regard any of this content as professional investment advice, or health advice)

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

About Author

COMENTARIOS

Rótulos

ESTE ARTIGO FOI APRESENTADO EM

Related Stories

Guia do arquiteto para construir arquitetura de referência para um Datalake de IA/ML

Modelo Bitcoin UTXO, alimentando um ecossistema único

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Toque para ganhar: Telegram pode integrar os próximos 10 bilhões de usuários criptográficos antes de Solana

Guia do arquiteto para construir arquitetura de referência para um Datalake de IA/ML

Modelo Bitcoin UTXO, alimentando um ecossistema único

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Toque para ganhar: Telegram pode integrar os próximos 10 bilhões de usuários criptográficos antes de Solana

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps