CertiK — это компания в области безопасности блокчейнов, основанная в 2018 году, которая использует формальную верификацию и технологии AI в сотрудничестве для предоставления комплексных услуг по аудиту безопасности блокчейнов. Она математически подтверждает безопасность смарт-контрактов с помощью сочетания формальной и ручной верификации. Кроме того, компания разработала "CertiK Chain" — блокчейн, ориентированный на безопасность, предназначенный для повышения надежности смарт-контрактов.