9336.3
176.28
383.50
60.688
116.95
0.2389
4.0145
11.367
0.0554
https://www.bestchange.ru/
cryptoreactor.ru
hashflare.io
bestchange.ru

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 канале!

Калькулятор Bitcoin
Скорость, GH/s:
Сложность:
Курс BTC/USD:
Курс BTC/RUB:
в день в неделю в месяц
BTC
0.000016
0.000114
0.000488
USD
0.15182
1.0627
4.5546
RUB
9.4642
66.249
283.93
Расширенный калькулятор
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 15466098935555
Следующая сложность: 15533370130965 (0.43%)
Блоков до пересчета: 1898
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 111192194.52
Блоков в сети: 614998
Блоков в час: 6.03
Блоков за последний час: 3
До 6.25 BTC/блок: 103.66 дней
(15002 блоков)
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс