Akıllı Sözleşme (Smart Contract) Denetimi
Blok zinciri üzerindeki akıllı sözleşmenizi güvenlik açıkları için satır satır denetler, düzeltme önerileriyle raporlarız.
Bir akıllı sözleşmedeki tek bir açık, geri döndürülemez kayıplara yol açabilir. Sözleşme kodunuzu bilinen zafiyet kalıplarına (reentrancy, tamsayı taşması, erişim kontrolü hataları, mantık hataları) karşı satır satır inceleriz.
Kapsam
- Statik kod analizi ve manuel inceleme
- Bilinen saldırı vektörlerine karşı kontrol listesi denetimi
- Gas optimizasyonu önerileri
- Risk seviyeli, düzeltme önerili denetim raporu
Test ağında doğrulama sonrası isterseniz ikinci bir kontrol turu yapılır.