2 个仓库
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
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- consensys/mythril
ConsenSys/mythril
4,251在 GitHub 上查看Mythril 是一个以太坊虚拟机 (EVM) 智能合约安全分析器，使用符号执行在部署前识别字节码中的漏洞。它作为一个漏洞扫描器和形式化审计工具，将程序输入视为数学符号，以证明合约逻辑中存在漏洞。 该工具执行字节码级分析，以检测可能被高级编译器隐藏的缺陷。它集成了 SMT 求解器来确定特定漏洞状态是否可达，并将符号执行跟踪与已知安全缺陷签名库进行比较。 该项目涵盖了广泛的安全分析功能，包括区块链漏洞检测、合约逻辑的形式化审计以及自动化安全测试。它还提供 Git 工作流集成，以在提交过程中验证代码。
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,003在 GitHub 上查看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
Checks smart contract source code against block explorers to prove the authenticity of deployed bytecode.
TypeScriptblockchainethereumevm
