Компания CertiK запустила собственный конфиденциальный блокчейн

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