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