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