Awesome GitHub RepositoriesContract Bytecode Verifications

Mythril est un analyseur de sécurité pour smart contracts sur l'Ethereum Virtual Machine qui utilise l'exécution symbolique pour identifier les vulnérabilités dans le bytecode avant le déploiement. Il fonctionne comme un scanner de vulnérabilités et un auditeur formel, traitant les entrées du programme comme des symboles mathématiques pour prouver la présence de bugs dans la logique du contrat. L'outil effectue une analyse au niveau du bytecode pour détecter des failles qui pourraient être masquées par les compilateurs de haut niveau. Il intègre des solveurs SMT pour déterminer si des états de vulnérabilité spécifiques sont atteignables et compare les traces d'exécution symbolique à une bibliothèque de signatures de failles de sécurité connues. Le projet couvre un large éventail de capacités d'analyse de sécurité, incluant la détection de vulnérabilités blockchain, l'audit formel de la logique de contrat et les tests de sécurité automatisés. Il fournit également une intégration pour les workflows Git afin de valider le code dans le cadre du processus de commit.

Remix is a comprehensive blockchain development environment and Ethereum smart contract IDE. It provides a complete workspace for writing, compiling, deploying, and debugging smart contracts across simulated and public blockchain networks. The project distinguishes itself as a specialized toolchain for EVM debugging and analysis, offering opcode-level transaction stepping and state memory analysis. It also includes a dedicated zero-knowledge proof toolchain for compiling ZK circuits and generating cryptographic proofs, alongside an AI-powered coding assistant for code generation and explanati