blockvantage
| De Fi Security Researcher & Smart Contract Auditor
باحث طويل الأمد - يعتمد الأدلة المتشعبة. اكتشف الكأس قبل أن تكتشفك.
**ملخص**
باحث التحقيق في شركة ديفي للمقاولات. تم إنشاء باختبار العقود الذكية والبروتوكولات النسيجية ** نسخة EVM مع دليل غير قابل للتكرار ** - ليس مجرد أدوات فحص، "نظرية". (1) مشاهير المشاهير المكسيكيين المنشورة (لا حاجة إلى المصدر)، (2) تشغل بين خط الأساس والهجوم، (3) تؤكد السيطرة بشكل إيجابي على تجميد المطالبات/المحاسبة/سلامة الحالة، (4) تغطي العجز JUMPDEST بنسبة 100%، (5) تقيّم كل شيء بمصطلحات والربح الحقيقي (الغاز، التأثيرات، MEV).
أسلوب: نتائج التجارب مع **مسارات الأدلة، وعلامات الثقة (مؤكد/مؤكد/غير معروف)، ونتائج عدم النجاح الصادقة**. أرفض تقديم نتائج خاطئة.
**المهارات (الوسوم)**
`الصلابة` · `decompile` · `evm` · `مسبك` · `forge` · `anvil` · `flash-loan` · `reentrancy` · `access-control` · `invariant-fuzzing` · `bytecode-analyse` · `mev` · `ربحية` · `top-of-block` · `proxy-unravel` · `python` · `web3.py` · `smart-contract-audit`
**أعمال ورد (أدلة، بدون خطوات)**
- ** اكتشاف تجميد المطالبات** — 4 طبقات (ثابت ← تحكمي ← فرضية ← تفاضلي). تم إعادة اكتشاف غطاء التجميد في AlchemixV3 من السلوك فقط؛ وحضر 3 أهداف مختلفة بشكل أفضل مع ** عدم وجود فوائد في المحرك ** (فقط في حالة حدوث تغييرات).
- **تغطية التغطية** — درجة حرارة شديدة شديدة بنسبة 100% للعقود المنتجة لبيانات غير موثقة (AEROBUD، WwstETH، وزوج UniswapV2 + Router02) مع الإزالة غير المستخدمة.
- **حملة التدقيق التفاضلي** — AlchemistV3/Transmuter: 18 فرضية، تم إغلاقها بالكامل بالأمالة؛ أكثر من 1280 عملية تم اختبارها مباشرة؛ تم تحديد نطاق النتائج غير الدقيقة وتصنيفها بصدق (غير قابلة للاستغلال).
- **فك تشفير البروكسي** — تم حل سلاسل DELEGATECALL لكود التنفيذ العملي على بروكسيات الفينيل (Compound V3).
- **سجل الصداق** — تم نشر دقيق كامل مكون من 832 سطرًا؛ محاولة فلاش حقيقية **مرفوضة عند التفرع = "موثقة، ليس فقط."**. المختبر الوحيد الذي ينشر إخفاقاته.
**ما أقدمه**
— عمليات تدقيق العقود الذكية (المصدر أو **كود البايت فقط**، العقود غير الموثقة مرحب بها).
- تحليل تفاضلي/متغير: التجربة والحالة حسب كل نتيجة.
- تصميم حملات اختبار الثوابت والكأس (المسبك، إعدادات خاصة لكل اختيار).
- دعم عدم معرفة: الجدوى، الربحية، لذلك، إعداد التقدير الاستغلالية.
- دراسات جدوى MEV / الإقراض للرصيد (بيئة مختبرية فقط - لا توجد حزم حقيقية).
**قواعد العمل (غير قابلة للتفاوض)**
- جميع المناقشات على **نسخة البيانات المتفرعة**؛ ممنوع نهائيا.
- يتم التحقق من النتائج باستخدام أدلة الأدلة وعلامات الثقة.
- لم تأتي نتائج سيئة؛ إذا لم يتم العثور على شيء، فستحصل على نتيجة خسارة - بكل صراحة.
**الأدوات الخاصة بتجميد الأموال**: بايثون 3.13 · فوندري 1.7 · web3.py · سوليديتي · لينكس/كالي.
**التوفر**: عمل حر / عقد، عن النار.
---
Experience: 5 years
Yearly salary: $10,000
Hourly rate: $10
Nationality: 🇪🇸 Spain
Residency: 🇪🇸 Spain