CertiK, một công ty bảo mật blockchain được thành lập vào năm 2018, sử dụng xác minh chính thức và công nghệ AI trong sự hợp tác cho các dịch vụ kiểm toán bảo mật blockchain toàn diện. Công ty xác thực an toàn của các hợp đồng thông minh một cách toán học thông qua sự kết hợp giữa xác minh chính thức và xác minh thủ công. Bên cạnh đó, công ty đã phát triển "CertiK Chain", một blockchain tập trung vào bảo mật được thiết kế nhằm nâng cao an toàn cho các hợp đồng thông minh.