3 – 5 de dez. de 2025
FEEC / UNICAMP
Fuso horário America/Sao_Paulo
É com grande satisfação que convidamos toda a comunidade do DCA a participar da décima sétima edição do nosso tradicional encontro

Framework de IA explicável para auditoria de contratos inteligentes com aprendizado por feedback continuo humano

5 de dez. de 2025 11:34
12m
Sala da Congregação (FEEC / UNICAMP)

Sala da Congregação

FEEC / UNICAMP

Av. Albert Einstein, Nº 400
Trabalho em estágio inicial Sessões orais

Palestrante

Rafael Alves (Unicamp)

Descrição

A segurança de contratos inteligentes continua sendo um dos principais desafios no ecossistema blockchain. Vulnerabilidades exploradas em protocolos descentralizados resultaram em perdas financeiras expressivas e expuseram limitações das ferramentas de auditoria convencionais. O avanço de modelos de Inteligência Artificial (IA) e de Linguagem de Grande Escala (LLMs) abriu novas possibilidades para abordagens mais adaptativas e interpretáveis. Este trabalho propõe a concepção inicial de um framework de IA explicável voltado à detecção e contextualização de vulnerabilidades em smart contracts. A proposta está estruturada em duas fases: (i) uso de modelos de linguagem genéricos para geração de relatórios a partir dos resultados de ferramentas de análise estática; e (ii) integração futura de modelos locais refináveis, capazes de realizar aprendizado contínuo via feedback humano. O objetivo é fomentar auditorias mais compreensíveis, transparentes e colaborativas, aproximando a segurança automatizada da realidade prática do desenvolvedor.

Autor

Rafael Alves (Unicamp)

Co-autor

Materiais de apresentação