ارزیابی امنیت بلاکچین و Web3
از ارزیابی هسته پروتکل لایه اول تا بازبینی قرارداد هوشمند، DeFi و dApp، ما سطح حمله Web3 را به‌صورت یکپارچه بررسی می‌کنیم.
چرا ارزیابی بلاکچین تخصصی است؟
ریسک‌های Web3 فقط در کد قرارداد نیستند؛ معماری زنجیره، کیف پول، oracle، اقتصاد پروتکل و اتصال به وب هم بخشی از دامنه‌اند.
یک ضعف ممکن است از هسته زنجیره تا dApp و کیف پول کاربر اثر زنجیره‌ای داشته باشد.
وابستگی به oracle، RPC، bridge و backend خارج از زنجیره می‌تواند مدل امنیتی را تغییر دهد.
برای منطق مالی، حاکمیت، ارتقا و اعتماد بین اجزا، صرف ابزار کافی نیست.
چارچوب‌ها و مراجع
فهرست مهم‌ترین ریسک‌های امنیتی قراردادهای هوشمند
برای قراردادها و DeFiطبقه‌بندی ضعف‌های رایج قراردادهای هوشمند
برای ضعف‌های رایج Solidityراهنمای عملی برای Ethereum، Solana، Cosmos SDK و زنجیره‌های سفارشی
برای لایه اول و اپراتورهای زنجیرهچه چیزهایی را تست می‌کنیم؟
- اجماع و fork choice
- کلاینت‌های نود و P2P
- اعتبارسنج‌ها و کلیدها
- حاکمیت و ارتقا
- کنترل دسترسی
- reentrancy
- upgradeability
- استانداردهای توکن
- استخرهای نقدینگی
- اوراکل و قیمت‌گذاری
- flash-loan
- ریسک اقتصادی
- فرانت‌اند Web3
- جریان‌های کیف پول
- بک‌اند RPC/API
- یکپارچه‌سازی قرارداد
نحوه انجام کار
پروتکل، قراردادها، dApp، اعتبارسنج‌ها و اجزای بک‌اند را ترسیم می‌کنیم تا سطح حمله واقعی بلاکچین مشخص شود.
ریسک‌های پروتکل، قرارداد هوشمند، oracle، کیف پول و یکپارچه‌سازی را بر اساس زنجیره و مدل کسب‌وکار شما اولویت‌بندی می‌کنیم.
بازبینی دستی را با ابزارهای هدفمند ترکیب می‌کنیم تا ضعف‌های قابل بهره‌برداری، خطاهای منطق کسب‌وکار و فرض‌های اعتماد ناامن را اعتبارسنجی کنیم.
یافته‌های اولویت‌بندی‌شده، راهنمای اثبات مفهومی و پشتیبانی تست مجدد برای موارد اصلاح‌شده دریافت می‌کنید.
سرویس‌های بلاکچین و Web3
از هسته زنجیره تا تجربه کاربر نهایی، سرویس مناسب دامنه شما را انتخاب کنید
سوالات متداول
هر دو را پوشش می‌دهیم. برای محیط‌های عمومی Layer-1، دامنه ارزیابی بر اجزا و مسئولیت‌هایی متمرکز می‌شود که شما کنترل می‌کنید؛ مانند کلاینت‌های نود، عملیات اعتبارسنج، فرآیندهای حاکمیت، ارتقاها یا ماژول‌های سفارشی پروتکل.
بازبینی قرارداد هوشمند روی ضعف‌های سطح کد در یک یا چند قرارداد تمرکز می‌کند. ارزیابی DeFi دامنه را به رفتار پروتکل، composability، فرض‌های oracle، مکانیزم‌های نقدینگی، حاکمیت و مسیرهای حمله اقتصادی گسترش می‌دهد.
بله. در تحویل استاندارد، پشتیبانی تست مجدد برای یافته‌های اصلاح‌شده وجود دارد تا پیش از انتشار یا راه‌اندازی مجدد، اثربخشی اصلاح‌ها اعتبارسنجی شود.