Awesome GitHub RepositoriesContract Bytecode Verifications

Mythril este un analizor de securitate pentru smart contracte în Ethereum Virtual Machine care utilizează execuția simbolică pentru a identifica vulnerabilitățile în bytecode înainte de deployment. Funcționează ca un scaner de vulnerabilități și auditor formal, tratând input-urile programului ca simboluri matematice pentru a demonstra prezența bug-urilor în logica contractului. Instrumentul efectuează o analiză la nivel de bytecode pentru a detecta defecte care pot fi ascunse de compilatoarele de nivel înalt. Acesta integrează SMT solvers pentru a determina dacă stările specifice de vulnerabilitate sunt accesibile și compară urmele de execuție simbolică cu o bibliotecă de semnături cunoscute ale defectelor de securitate. Proiectul acoperă o gamă largă de capabilități de analiză a securității, inclusiv detectarea vulnerabilităților blockchain, auditarea formală a logicii contractelor și testarea automată a securității. De asemenea, oferă integrare pentru workflow-urile Git pentru a valida codul ca parte a procesului 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