an3dree commited on
Commit
4c144c5
·
1 Parent(s): 63d8812

Update README

Browse files
Files changed (3) hide show
  1. README.md +79 -8
  2. README_GH.md +0 -70
  3. README_HF.md +8 -0
README.md CHANGED
@@ -1,8 +1,79 @@
1
- ---
2
- title: Multi-Agent Smart Contracts
3
- emoji: 📝
4
- colorFrom: blue
5
- colorTo: indigo
6
- sdk: docker
7
- app_port: 7860
8
- ---
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Projeto de TALP1
2
+
3
+ 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)**.
4
+
5
+ ## Live Version - Hugging Faces
6
+
7
+ O projeto está disponível para ser testado em:
8
+
9
+ [Multi Agent Smart Contracts](https://huggingface.co/spaces/TALP-Project/multi-agent-smart-contracts)
10
+
11
+ 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
12
+
13
+
14
+ ## Visão Geral
15
+
16
+ Este projeto tem como objetivo desenvolver um sistema multiagente inteligente para **geração**, **auditoria** e **validação de vulnerabilidades** em *smart contracts*.
17
+
18
+ A proposta é receber documentos contendo requisitos, especificações e descrições funcionais do sistema, processar essas informações e utilizá-las para:
19
+
20
+ * gerar contratos inteligentes automaticamente;
21
+ * identificar potenciais vulnerabilidades de segurança;
22
+ * criar provas de conceito (*Proofs of Concept — PoCs*) para validar as falhas encontradas;
23
+ * executar um ciclo iterativo de refinamento e melhoria contínua.
24
+
25
+ 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.
26
+
27
+ ## Arquitetura Geral
28
+
29
+ O sistema é composto por agentes especializados que colaboram entre si em diferentes etapas do processo:
30
+
31
+ ![Arquitetura Geral](./assets/architecture.png)
32
+
33
+ 1. **Exploração e análise dos requisitos**
34
+
35
+ * Processamento e compreensão dos documentos fornecidos;
36
+ * Extração de contexto técnico e requisitos relevantes.
37
+
38
+ 2. **Geração de Smart Contracts**
39
+
40
+ * Criação automática de contratos inteligentes com base nas especificações extraídas.
41
+
42
+ 3. **Auditoria de Segurança**
43
+
44
+ * Análise estática e contextual do código gerado;
45
+ * Identificação de vulnerabilidades e comportamentos inseguros.
46
+
47
+ 4. **Geração de PoCs**
48
+
49
+ * Construção automática de provas de conceito para validar as vulnerabilidades detectadas.
50
+
51
+ 5. **Refinamento Iterativo**
52
+
53
+ * Uso do feedback da auditoria e das PoCs para aprimorar o código gerado.
54
+
55
+ ## Agentes
56
+
57
+ ### Gerador de Código
58
+
59
+ Responsável por gerar *smart contracts* a partir dos requisitos e especificações fornecidos.
60
+
61
+ ### Auditor de Smart Contracts
62
+
63
+ Responsável por analisar o código gerado em busca de vulnerabilidades, inconsistências e problemas de segurança.
64
+
65
+ ### Gerador de PoCs
66
+
67
+ Responsável por criar provas de conceito capazes de validar e demonstrar as vulnerabilidades identificadas durante a auditoria.
68
+
69
+ ## Tecnologias Utilizadas
70
+
71
+ * TypeScript
72
+ * Node.js
73
+ * LangGraph
74
+
75
+ ## Equipe
76
+
77
+ * André Souza — [alssg@cin.ufpe.br](mailto:alssg@cin.ufpe.br)
78
+ * Uanderson Ricardo Ferreira da Silva — [urfs@cin.ufpe.br](mailto:urfs@cin.ufpe.br)
79
+ * Tales Vinicius Alves da Cunha — [tvac@cin.ufpe.br](mailto:tvac@cin.ufpe.br)
README_GH.md DELETED
@@ -1,70 +0,0 @@
1
- # Projeto de TALP1
2
-
3
- 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)**.
4
-
5
- ## Visão Geral
6
-
7
- Este projeto tem como objetivo desenvolver um sistema multiagente inteligente para **geração**, **auditoria** e **validação de vulnerabilidades** em *smart contracts*.
8
-
9
- A proposta é receber documentos contendo requisitos, especificações e descrições funcionais do sistema, processar essas informações e utilizá-las para:
10
-
11
- * gerar contratos inteligentes automaticamente;
12
- * identificar potenciais vulnerabilidades de segurança;
13
- * criar provas de conceito (*Proofs of Concept — PoCs*) para validar as falhas encontradas;
14
- * executar um ciclo iterativo de refinamento e melhoria contínua.
15
-
16
- 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.
17
-
18
- ## Arquitetura Geral
19
-
20
- O sistema é composto por agentes especializados que colaboram entre si em diferentes etapas do processo:
21
-
22
- ![Arquitetura Geral](./assets/architecture.png)
23
-
24
- 1. **Exploração e análise dos requisitos**
25
-
26
- * Processamento e compreensão dos documentos fornecidos;
27
- * Extração de contexto técnico e requisitos relevantes.
28
-
29
- 2. **Geração de Smart Contracts**
30
-
31
- * Criação automática de contratos inteligentes com base nas especificações extraídas.
32
-
33
- 3. **Auditoria de Segurança**
34
-
35
- * Análise estática e contextual do código gerado;
36
- * Identificação de vulnerabilidades e comportamentos inseguros.
37
-
38
- 4. **Geração de PoCs**
39
-
40
- * Construção automática de provas de conceito para validar as vulnerabilidades detectadas.
41
-
42
- 5. **Refinamento Iterativo**
43
-
44
- * Uso do feedback da auditoria e das PoCs para aprimorar o código gerado.
45
-
46
- ## Agentes
47
-
48
- ### Gerador de Código
49
-
50
- Responsável por gerar *smart contracts* a partir dos requisitos e especificações fornecidos.
51
-
52
- ### Auditor de Smart Contracts
53
-
54
- Responsável por analisar o código gerado em busca de vulnerabilidades, inconsistências e problemas de segurança.
55
-
56
- ### Gerador de PoCs
57
-
58
- Responsável por criar provas de conceito capazes de validar e demonstrar as vulnerabilidades identificadas durante a auditoria.
59
-
60
- ## Tecnologias Utilizadas
61
-
62
- * TypeScript
63
- * Node.js
64
- * LangGraph
65
-
66
- ## Equipe
67
-
68
- * André Souza — [alssg@cin.ufpe.br](mailto:alssg@cin.ufpe.br)
69
- * Uanderson Ricardo Ferreira da Silva — [urfs@cin.ufpe.br](mailto:urfs@cin.ufpe.br)
70
- * Tales Vinicius Alves da Cunha — [tvac@cin.ufpe.br](mailto:tvac@cin.ufpe.br)
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
README_HF.md ADDED
@@ -0,0 +1,8 @@
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ title: Multi-Agent Smart Contracts
3
+ emoji: 📝
4
+ colorFrom: blue
5
+ colorTo: indigo
6
+ sdk: docker
7
+ app_port: 7860
8
+ ---