Как заявляет CertiK Foundation в пресс-релизе, цель CertiK Chain - обеспечение инфраструктуры блокчейна, которая абсолютно безопасна. Полные узлы этого блокчейна будут работать на CertiKOS, который является «полностью проверяемым гипервизором/ ядром параллельной ОС», обеспечивающим высокую защиту от попыток взлома.
Кроме того блокчейн поддерживается виртуальной машиной CertiK, которая использует платформу формальной проверки компании для обеспечения его правильной реализации.
Смарт-контракты могут быть развернуты на функциональном языке программирования DeepSEA, который гарантирует безопасность с помощью кода. Кроме того, любые смарт-контракты в сети будут иметь криптографические сертификаты, которые служат доказательством проверки безопасности. Смарт-контракты без таких сертификатов могут выполняться за дополнительную плату.
CertiK заявляет в блоге, что блокчейнам требуется адекватная безопасность для масштабирования. Компания надеется, что ее блокчейн может стать долгосрочным решением, которое позволит массово внедрить технологию.
Согласно веб-сайту CertiK предлагает услуги в области кибербезопасности, ориентированные на блокчейн, в том числе аудит безопасности, тестирования на проникновение и настройки платформы. Кроме того, компания имеет партнерские отношения с такими крупными организациями как Binance. В прошлом году Binance инвестировала «несколько миллионов долларов» в компанию CertiK.
