README_GH.md

Projeto de TALP1

Projeto desenvolvido para a disciplina IN1045 — Tópicos Avançados em Linguagens de Programação 1 (TALP1), do curso de Mestrado em Ciência da Computação do Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE).

Live Version - Hugging Faces

O projeto está disponível para ser testado em:

Multi Agent Smart Contracts

A entrada esperada deve ser um requisito onde a solução é um smart contract, o sistema multi agente irá ter como resultado final o código solidity com a solução proposta após passar pelos 3 agentes

Visão Geral

Este projeto tem como objetivo desenvolver um sistema multiagente inteligente para geração, auditoria e validação de vulnerabilidades em smart contracts.

A proposta é receber documentos contendo requisitos, especificações e descrições funcionais do sistema, processar essas informações e utilizá-las para:

• gerar contratos inteligentes automaticamente;
• identificar potenciais vulnerabilidades de segurança;
• criar provas de conceito (Proofs of Concept — PoCs) para validar as falhas encontradas;
• executar um ciclo iterativo de refinamento e melhoria contínua.

O sistema é implementado em TypeScript e Node.js, utilizando a biblioteca LangGraph para orquestração dos agentes inteligentes e definição dos fluxos de execução.

Arquitetura Geral

O sistema é composto por agentes especializados que colaboram entre si em diferentes etapas do processo:

1. Exploração e análise dos requisitos

   • Processamento e compreensão dos documentos fornecidos;
   • Extração de contexto técnico e requisitos relevantes.

2. Geração de Smart Contracts

   • Criação automática de contratos inteligentes com base nas especificações extraídas.

3. Auditoria de Segurança

   • Análise estática e contextual do código gerado;
   • Identificação de vulnerabilidades e comportamentos inseguros.

4. Geração de PoCs

   • Construção automática de provas de conceito para validar as vulnerabilidades detectadas.

5. Refinamento Iterativo

   • Uso do feedback da auditoria e das PoCs para aprimorar o código gerado.

Agentes

Gerador de Código

Responsável por gerar smart contracts a partir dos requisitos e especificações fornecidos.

Auditor de Smart Contracts

Responsável por analisar o código gerado em busca de vulnerabilidades, inconsistências e problemas de segurança.

Gerador de PoCs

Responsável por criar provas de conceito capazes de validar e demonstrar as vulnerabilidades identificadas durante a auditoria.

Tecnologias Utilizadas

• TypeScript
• Node.js
• LangGraph

Equipe

• André Souza — alssg@cin.ufpe.br
• Uanderson Ricardo Ferreira da Silva — urfs@cin.ufpe.br
• Tales Vinicius Alves da Cunha — tvac@cin.ufpe.br