Hugging Face's logo

Spaces:
TALP-Project
/
multi-agent-smart-contracts
Runtime error

App Files Community
multi-agent-smart-contracts
File size: 3,074 Bytes
a15edf6
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
# 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](https://huggingface.co/spaces/TALP-Project/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:

![Arquitetura Geral](./assets/architecture.png)

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](mailto:alssg@cin.ufpe.br)
* Uanderson Ricardo Ferreira da Silva — [urfs@cin.ufpe.br](mailto:urfs@cin.ufpe.br)
* Tales Vinicius Alves da Cunha — [tvac@cin.ufpe.br](mailto:tvac@cin.ufpe.br)