CertiK
blok zinciri güvenlik şirketi
Etiketler:
güvenlik denetimi
güvenlik çözümleri
Certik, 2018 yılında kurulan bir blockchain güvenlik şirketidir ve uçtan uca blockchain güvenlik denetim hizmetleri için formel doğrulama ve yapay zeka teknolojisini iş birliği içinde kullanmaktadır. Akıllı sözleşmelerin güvenliğini, formel ve manuel doğrulamanın bir kombinasyonu ile matematiksel olarak doğrulamaktadır. Ayrıca, şirket akıllı sözleşmelerin güvenliğini artırmak için tasarlanmış güvenlik odaklı bir blockchain olan "Certik Chain"i geliştirmiştir.