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
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- consensys/mythril
ConsenSys/mythril
4,251عرض على GitHubMythril هو محلل أمان العقود الذكية لـ Ethereum Virtual Machine يستخدم التنفيذ الرمزي لتحديد الثغرات الأمنية في كود البايت قبل النشر. يعمل كماسح ضوئي للثغرات ومدقق رسمي، حيث يعامل مدخلات البرنامج كرموز رياضية لإثبات وجود أخطاء في منطق العقد. تقوم الأداة بإجراء تحليل على مستوى كود البايت لاكتشاف العيوب التي قد تكون مخفية بواسطة المترجمات عالية المستوى. تدمج الأداة أدوات حل SMT لتحديد ما إذا كانت حالات الثغرات المحددة قابلة للوصول، وتقارن آثار التنفيذ الرمزي مقابل مكتبة من توقيعات عيوب الأمان المعروفة. يغطي المشروع نطاقاً واسعاً من قدرات تحليل الأمان، بما في ذلك اكتشاف ثغرات البلوكشين، والتدقيق الرسمي لمنطق العقد، واختبار الأمان المؤتمت. كما يوفر تكاملاً لسير عمل Git للتحقق من الكود كجزء من عملية الالتزام (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,003عرض على 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
