Blockchains

Blockchains

  1. Ce projet fournit un pipeline automatisé pour générer des contrats intelligents (smart contracts) en utilisant de grands modèles de langage avec Ollama. Le pipeline compile ces contrats intelligents avec le compilateur Solidity (solc), les analyse avec Slither, et effectue des tests unitaires basés sur les instructions de test fournies dans les prompts. Des statistiques sont […]