2 repositorios
Awesome GitHub RepositoriesContract Bytecode Verifications
Processes for confirming that deployed blockchain bytecode matches a specific set of source code.
Distinct from Authenticity Verification: None of the candidates address the specific process of verifying compiled bytecode against source code via block explorers.
Explore 2 awesome GitHub repositories matching security & cryptography · Contract Bytecode Verifications. Refine with filters or upvote what's useful.
Awesome Contract Bytecode Verifications GitHub Repositories
Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
- consensys/mythril
ConsenSys/mythril
4,251Ver en GitHubMythril es un analizador de seguridad de contratos inteligentes para Ethereum Virtual Machine que utiliza ejecución simbólica para identificar vulnerabilidades en el bytecode antes del despliegue. Funciona como un escáner de vulnerabilidades y auditor formal, tratando las entradas del programa como símbolos matemáticos para probar la presencia de errores en la lógica del contrato. La herramienta realiza un análisis a nivel de bytecode para detectar fallos que pueden estar ocultos por compiladores de alto nivel. Integra solvers SMT para determinar si estados de vulnerabilidad específicos son alcanzables y compara trazas de ejecución simbólica contra una biblioteca de firmas de fallos de seguridad conocidos. El proyecto cubre una amplia gama de capacidades de análisis de seguridad, incluyendo detección de vulnerabilidades en blockchain, auditoría formal de lógica de contratos y pruebas de seguridad automatizadas. También proporciona integración para flujos de trabajo de Git para validar el código como parte de un proceso de commit.
Analyzes low-level EVM bytecode to identify vulnerabilities that are hidden from high-level source analysis.
Python - remix-project-org/remix-project
remix-project-org/remix-project
3,003Ver en GitHubRemix 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
Checks smart contract source code against block explorers to prove the authenticity of deployed bytecode.
TypeScriptblockchainethereumevm
