CertiK Nedir?
Kısaca
CertiK, blockchain projelerine akıllı sözleşme denetimi (audit), biçimsel doğrulama ve zincir üstü güvenlik izleme hizmetleri sunan bir blockchain güvenlik şirketidir; denetim raporları projelerin güvenlik değerlendirmesinde başvurulan kaynaklar arasındadır.
CertiK, Yale ve Columbia üniversitelerinden bilgisayar bilimi akademisyenleri tarafından kurulmuştur. Şirketin denetim sürecinde uzmanlar akıllı sözleşme kodunu elle inceler, otomatik analiz araçları çalıştırır ve bulunan açıkları önem derecesine göre sınıflandırır. Kodun belirli matematiksel özellikleri karşıladığının kanıtlanmasına dayanan biçimsel doğrulama (formal verification), şirketin akademik kökenine dayanan öne çıkan yöntemlerinden biridir.
Şirket, denetimlerin yanı sıra Skynet adlı platformu üzerinden projeler için güvenlik puanları, zincir üstü izleme ve olay uyarıları yayımlar; bazı projelere ekip kimlik doğrulaması (KYC) hizmeti de verir. Bir projenin sitesindeki denetim rozetinin gerçek olup olmadığı, raporun CertiK'in kendi kaynaklarında yer alıp almadığına bakılarak kontrol edilebilir.
Denetim, kodun belirli bir andaki halinin incelenmesidir ve güvenlik garantisi değildir. Denetimden sonra yapılan kod değişiklikleri, ekonomik saldırılar, yönetici anahtarlarının kötüye kullanılması veya ekibin rug pull (halı çekme) yapması gibi riskler raporun kapsamı dışında kalabilir. Nitekim denetlenmiş projelerde de istismarlar yaşanmıştır.
Son güncelleme: · Bu içerik bilgilendirme amaçlıdır, yatırım tavsiyesi değildir.
