CertiK, 2018 yılında kurulan bir blockchain güvenlik şirketidir ve sonuç odaklı blockchain güvenlik denetimi hizmetleri için formal doğrulama ve yapay zeka teknolojisini işbirliğiyle kullanır. Şirket, akıllı sözleşmelerin güvenliğini matematiksel olarak doğrular ve bu doğrulama sürecinde formal ve manuel doğrulama yöntemlerini bir araya getirir. Ayrıca, şirket, akıllı sözleşmelerin güvenliğini artırmak amacıyla "CertiK Chain" adında bir güvenlik odaklı blockchain geliştirmiştir. {"translated":"CertiK, 2018 yılında kurulan bir blockchain güvenlik şirketidir ve sonuç odaklı blockchain güvenlik denetimi hizmetleri için formal doğrulama ve yapay zeka teknolojisini işbirliğiyle kullanır. Şirket, akıllı sözleşmelerin güvenliğini matematiksel olarak doğrular ve bu doğrulama sürecinde formal ve manuel doğrulama yöntemlerini bir araya getirir. Ayrıca, şirket, akıllı sözleşmelerin güvenliğini artırmak amacıyla "CertiK Chain" adında bir güvenlik odaklı blockchain geliştirmiştir.","status":"success"}