Desenvolver testes simbólicos para o protocolo ERC-4337
17/02/2025 às 19:39Descrição do Projeto:
Desenvolver uma suíte de testes simbólicos para o protocolo ERC-4337, utilizando técnicas de análise caixa preta e caixa branca. A referência principal será a implementação disponível na OpenZeppelin.
Ferramentas e execução
Os testes devem ser executados e avaliados em diferentes ferramentas, incluindo:
• Halmos e Hevm: analisar desempenho, confiabilidade das respostas e possíveis falhas das ferramentas durante a execução.
Documentação e versionamento
Criar um repositório no Git, documentando toda a experiência, incluindo:
• Metodologia aplicada
• Resultados obtidos
• Possíveis falhas encontradas
O relatório deve ser escrito em inglês e conter o máximo de detalhes sobre os testes realizados.
Validação em projeto real
Selecionar pelo menos um projeto baseado no ERC-4337 e aplicar a suíte de testes desenvolvida. O objetivo é verificar se algum dos testes falha e, se sim, reportar os achados.
Requisitos técnicos
O projeto deve seguir a estrutura de um projeto baseado no Foundry. O código deve estar na versão mais recente possível do Solidity, minimizando erros de compatibilidade.
Habilidades desejadas:
Atividades do cliente nesse projeto:
Última visualização: 19/02/2025 às 15:02
Informações adicionais
| Categoria: | Web, Mobile & Software |
|---|---|
| Subcategoria: | Outra - Web, Mobile & Software |
| Orçamento: | Aberto |
| Nível de experiência: | Intermediário |
| Visibilidade: | Público |
| Propostas: | 1 |
| Interessados: | 3 |
| Valor Mínimo: | R$ 50,00 |
Desenvolver IA para gestão pública - Preciso de um chatbot integrado à API do OpenAI (GPT-4), que funcione em um painel web. Ele deve responder dúvidas sobre gestão pública, com base em um conjunto de docum...
Automação N8N para criação de vídeos com Google Drive e Google TTS - Estamos buscando um especialista em automação para desenvolver um fluxo de trabalho completo no N8N, focado na criação automatizada de vídeos. As principais func...
Criação de encurtador de URL - Preciso que crie um encurtador de URL para uso pessoal, hospedado na web, para facilitar meu dia a dia. Preciso que seja feito rapidamente.
Integração e automação de inteligência artificial - Fazer uma integração entre um formulário Google e uma planilha com uma inteligência artificial, utilizando um prompt de comando para extrair um relatório. Preferen...
Investigação digital (legal) - Especialista em Maltego (OSINT) - Precisamos de uma pessoa com as seguintes habilidades: (Intermediário ou Avançado) - OSINT (Open Source Intelligence) - Investigações realizadas exclusivamente com dados...
