Denetimler
Bağımsız güvenlik incelemeleri, akıllı sözleşme risklerinin belirlenmesine yardımcı olur. Bir rapor, yalnızca kapsamı, kod sürümü ve dağıtılan sözleşmesi doğrulanabildiği durumlarda faydalı bir kanıttır.
Resmi Atlas Denetim Sicili
Şu anda resmi Atlas web sitesinden bağlantı verilen iki bağımsız rapor bulunmaktadır. Yayınlanması, bir incelemenin mevcut olduğunu doğrular; bu, her bulgunun çözüldüğü veya sözleşmelerin riskten arınmış olduğu anlamına gelmez.
Beosin güvenlik denetimi
Akıllı sözleşme güvenlik incelemesi · rapor ID 202606171520
RAPOR YAYINLANDI
Cyberscope akıllı sözleşme denetimi
İlk değerlendirme 15 Haziran 2026 · ikinci değerlendirme aşaması 30 Haziran 2026
RAPOR YAYINLANDI
Akıllı sözleşme denetiminin kontrol ettiği şeyler
Erişim kontrolü
Ayrıcalıklı fonksiyonları kimler çağırabilir ve hassas durumu değiştirebilir.
Yeniden girilebilirlik
Harici çağrıların yürütmeye beklenmedik bir şekilde yeniden girip giremeyeceği.
Token işleme
Onaylar, transferler, ondalık sayılar ve geri dönüş değeri yönetimi.
Matematik ve durum
Yuvarlama, limitler, muhasebe ve durum geçişleri.
Yönetici kontrolleri
Sahiplik, duraklatma, yükseltilebilirlik ve acil durum izinleri.
İş mantığı
Uygulamanın, belgelendirilen Akıllı Döngü kurallarına uyup uymadığı.
Bulgu önem derecesi nasıl okunur
Her zaman denetçinin kendi önem derecesi tanımlarını okuyun: etiketler firmalar arasında farklılık gösterebilir.
Rozete güvenmeden önce raporu doğrulayın
Raporun kapsadıkları — ve kapsamayabilecekleri
Sıklıkla kapsanan
- Denetlenmiş kaynak kod ve listelenen sözleşmeler
- Bilinen güvenlik açığı kalıpları
- Erişim ve belirteç işleme mantığı
- Rapordaki belirli kod sürümü
Otomatik olarak kapsam dahilinde değil
- Gelecekteki dağıtımlar veya güncellenmiş kod
- Web sitesi, cüzdan veya kullanıcı cihazı güvenliği
- Likidite ve katılımcı davranışı
- Piyasa, ekonomik veya operasyonel sonuçlar
İyileştirme yaşam döngüsünü bulma
→
→
→