توسعه و ممیزی امنیتی قراردادهای هوشمند پیچیده برای پلتفرم DeFi با تمرکز بر جلوگیری از هک و اکسپلویت‌های رایج

ما به دنبال یک متخصص امنیت قراردادهای هوشمند هستیم تا در توسعه و ممیزی امنیتی پلتفرم غیرمتمرکز DeFi خود به ما کمک کند. این پروژه شامل طراحی، پیاده‌سازی و ممیزی دقیق قراردادهای هوشمند نوشته شده به زبان Solidity با استفاده از ابزارهای تحلیل استاتیک و داینامیک مانند Mythril، Slither و Truffle/Hardhat می‌باشد. تمرکز اصلی بر شناسایی و رفع آسیب‌پذیری‌های رایج مانند Reentrancy، Overflow/Underflow، Front-Running و Denial of Service (DoS) است. همچنین، تجربه در استفاده از Best Practices امنیتی مانند Check-Effects-Interactions (CEI) و طراحی قراردادهای هوشمند با مقاومت در برابر حملات اکسپلویت ضروری است. علاوه بر این، ما نیاز داریم که کدهایی برای یکپارچه‌سازی Web3 با استفاده از کتابخانه‌های جاوا اسکریپت مانند ethers.js و web3.js نوشته شود. مستندسازی کامل کدها، گزارش‌های ممیزی دقیق و پیشنهادهای بهبود امنیتی از الزامات اصلی این پروژه هستند. آشنایی با استانداردهای امنیتی DeFi و پروتکل‌های رایج مانند Uniswap، Aave و Compound یک مزیت محسوب می‌شود. همچنین آشنایی با مفاهیم حسابرسی (Auditing) و تست نفوذ (Penetration Testing) در حوزه بلاکچین ضروری است. در نهایت، ما به دنبال فردی هستیم که بتواند با دقت و مسئولیت‌پذیری بالا در یک محیط تیمی پویا فعالیت کند و به طور مداوم دانش خود را در زمینه امنیت بلاکچین به‌روز نگه دارد.