https://lend.hodlhodl.com
vertex.market

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

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

Binance Labs, подразделения одной из крупнейших криптовалютных бирж Binance, инвестирует в блокчейн-стартап для аудита смарт-контрактов CertiK. Компания не сообщает общую сумму инвестиций, однако CoinDesk пишет, что ее доля составила «несколько миллионов» долларов.

CertiK осуществляет проверку программных кодов проектов на базе блокчейна на содержание ошибок, которые могут привести к потере средств или другим уязвимостям. Для этого команда CertiK использует «многоуровневый декомпозиционный подход, сертифицированные библиотеки» децентрализованных приложений и так называемую «умную маркировку».

Стартап был запущен в 2017 году была профессором Йельского университета Чжун Шао (Zhong Shao), который известен разработкой «сертифицированной операционной системы» под названием CertiKOS и доцентом Университета Колумбийского университета Ронгуй Гу (Ronghui Gu).

CertiKOS уже используется как в корпоративных, так и в военных программах, и является одним из инструментов, используемых в Управление перспективных исследовательских проектов Министерства обороны США (DARPA).

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

«CertiK математически проверяет безопасность смарт-контрактов, что является важной болевой точкой, с которой мы сталкиваемся в экосистеме блокчейна, избегая ограничения ручного тестирования», – сообщила глава Binance Labs Элла Чжан (Ella Zhang).

Инвестиции Binance сигнализируют о признании важности формальной проверки в отрасли блокчейна, говорится в заявлении. В частности, CertiK позиционируется компанией с «уникальным преимуществом» в этой области, учитывая её методы работы и проверенные технологии.

Показать комментарии Обсудить на форуме

Подписывайтесь на новости и их анализ в нашем Telegram канале!

Калькулятор майнинга
Скорость, GH/s:
Сложность:
Курс BTC/USD:
Курс BTC/RUB:
в день в неделю в месяц
BTC
0.000014
0.000100
0.000429
USD
0.24221
1.6955
7.2664
RUB
18.363
128.54
550.90
Расширенный калькулятор
https://scryptcube.com
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 17596801059571
Следующая сложность: 18699411311047 (NAN%)
Блоков до пересчета: 465
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 133855600.06
Блоков в сети: 658767
Блоков в час: 6.38
Блоков за последний час: 8
До 3.125 BTC/блок: 1183.6 дней
(181233 блоков)