Компания CertiK запустила блокчейн с проверкой смарт-контрактов

CertiK

Компания CertiK, занимающаяся безопасностью программного обеспечения, объявила о запуске своего нового блокчейна CertiK Chain. Главной особенностью этого блокчейна является процесс анализа смарт-контрактов, которой осуществляется в реальном времени.

«Прошли те времена, когда мы все полагались на автономный анализ безопасности, статические аудиторские отчеты и тратили на это время и деньги. CertiK Chain устанавливает новый отраслевой стандарт в протоколах безопасности блокчейнов», — сказал генеральный директор CertiK профессор Рунхуэй Гу.

Блокчейн использует специальный язык программирования DeepSEA, который спроектирован для проведения формальной проверки — математической демонстрации того, что код делает именно то, что должен. Блокчейн также задействует концепцию оракулов безопасности, которые в реальном времени проводят анализ смарт-контрактов в других блокчейнах. Затем оракулы используют собранные данные для оценки безопасности своих смарт-контрактов. Если оракул сочтет смарт-контракт небезопасным, разработчики «на лету» могут отказаться от взаимодействия с ним.

Оракулы будут работать через систему клиентов и операторов. Разработчики или клиенты, которые хотят оценить уровень безопасности какого-то контракта, должны отправить запрос, финансируемый токенами CTK. Затем операторы, стоящие за оракулами, проведут анализ и опубликуют результаты в сети.

Кроме этого, компания CertiK организует механизм страхования CertiKShield для покрытия любой потери средств в результате взлома блокчейна.