Компания CertiK, занимающаяся безопасностью программного обеспечения, объявила о запуске своего нового блокчейна CertiK Chain. Главной особенностью этого блокчейна является процесс анализа смарт-контрактов, которой осуществляется в реальном времени.
«Прошли те времена, когда мы все полагались на автономный анализ безопасности, статические аудиторские отчеты и тратили на это время и деньги. CertiK Chain устанавливает новый отраслевой стандарт в протоколах безопасности блокчейнов», — сказал генеральный директор CertiK профессор Рунхуэй Гу.
Блокчейн использует специальный язык программирования DeepSEA, который спроектирован для проведения формальной проверки — математической демонстрации того, что код делает именно то, что должен. Блокчейн также задействует концепцию оракулов безопасности, которые в реальном времени проводят анализ смарт-контрактов в других блокчейнах. Затем оракулы используют собранные данные для оценки безопасности своих смарт-контрактов. Если оракул сочтет смарт-контракт небезопасным, разработчики «на лету» могут отказаться от взаимодействия с ним.
Оракулы будут работать через систему клиентов и операторов. Разработчики или клиенты, которые хотят оценить уровень безопасности какого-то контракта, должны отправить запрос, финансируемый токенами CTK. Затем операторы, стоящие за оракулами, проведут анализ и опубликуют результаты в сети.
Кроме этого, компания CertiK организует механизм страхования CertiKShield для покрытия любой потери средств в результате взлома блокчейна.