CertiK запустила основную сеть CertiK Chain
Специализирующаяся на кибербезопасности компания CertiK запустила основную сеть CertiK Chain с системой аудита смарт-контрактов в режиме реального времени. В блокчейне CertiK Chain наибольшее внимание уделяется безопасности – статический процесс анализа смарт-контрактов преобразован в систему защиты в режиме реального времени. Генеральный директор CertiK и профессор компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu) сказал: «Времена, когда мы полагались на автономный анализ безопасности и статические отчеты аудита безопасности, а также страдали от ненужных потерь времени и денег, закончились. CertiK Chain устанавливает новый отраслевой стандарт в протоколах безопасности блокчейнов». CertiK Chain использует собственный язык программирования смарт-контрактов DeepSEA, демо-версия которого была выпущена ранее в этом году. DeepSEA автоматизирует формальную проверку – математическое доказательство того, что код работает правильно. Блокчейн ориентирован на совместимость с другими сетями – он использует оракулы безопасности, которые обеспечивают анализ смарт-контрактов в других сетях в режиме реального времени. Эта функция может использоваться смарт-контрактами в других сетях для оценки безопасности узлов. Если оракул сочтет целевой смарт-контракт небезопасным, разработчики сразу могут отказаться от взаимодействия с ним. Оракулы будут работать через систему клиентов и операторов. Конечные пользователи или разработчики, которые хотят оценить уровень безопасности конкретного контракта, отправят запрос, финансируемый собственным криптоактивом CertiK Chain (CTK). Затем операторы оракулов проведут анализ и опубликуют результаты в сети. Компания также запустит механизм страхования CertiKShield для покрытия любых денежных потерь в результате взлома.
- 2 Ноя, 12:11
CERT запустил Twitter-бот, который будет давать уязвимостям случайные названия
Координационный центр CERT запустил Twitter-бот, который будет назначать случайные названия каждой уязвимости с идентификатором CVE. Таким образом эксперты намерены сократить количество громких и пугающих названий уязвимостей. Бот, получивший названи...
- 22 Окт, 14:55
Binance Launchpool представил CertiK Chain
Binance Launchpool, новая инициатива, призванная предоставить пользователям Binance возможности децентрализованного финансирования (DeFi), объявила о своем новом проекте - CertiK Chain - межсетевом протоколе с оценкой безопасности и децентрализованно...
- 19 Окт, 06:50
Сеть Filecoin после запуска столкнулась с забастовкой майнеров
В субботу, 17 октября, пять крупнейших майнеров Filecoin приостановили работу. У Zhihu Cloud из 8000 установок работало только 276 единиц, у четырех других мощности упали до нуля. Многие другие майнинговые компании предпочитают не увеличивать мощност...
Cегодня
- 19:38 НОвый перспективный токен от MyTonWallet
- 19:05 Разработчики Bitcoin планируют провести одно из самых крупных с 2021 года обновлений сети
- 17:20 Вестник институционала: Babylon привлек $70 млн, а Colendi — $65 млн
- 10:30 Worldcoin официально запущен в Колумбии
- 10:04 PointPay: Ваш Главный Помощник в Мире Криптоинвестирования
- 09:20 Бывший гендиректор Binance Чанпэн Чжао прибыл в тюрьму для отбытия срока
- 08:48 Майнеры готовятся к новой гонке вычислительных мощностей
- 08:31 Сообщество EOS снизило ограничение на количество монет в пять раз
В мире за неделю
-
30 Май, 13:53+5 Криптоаналитик: DOGE может вырасти до $0,322 в одном случае От Happy Coin News
-
30 Май, 09:45+6 Виталик Бутерин назвал L2-решения «культурным продолжением» Ethereum
-
29 Май, 07:46+6 Суд приговорил экс-директора FTX Райана Саламе к 7,5 годам тюрьмы
-
29 Май, 07:01+4 Суд закрыл дело против Debt Box и обязал SEC заплатить штраф $1,75 млн
-
27 Май, 21:14+5 OCP Capital: Эфир сможет рассчитывать на поддержку на уровне $3000
-
27 Май, 04:22+4 В ОАЭ пригрозили штрафами на майнинг криптовалют на фермах
-
26 Май, 05:48+5 После легализации Ethereum-ETF ожидается то же самое для SOL