BTC
6584.0
ETH
208.70
BCH
452.88
LTC
54.321
CFI
0.0233
EOS
5.4980
REQ
0.0754
XMR
107.47
XRP
0.4700
baikalminer.com
YoBit.Net
hashflare.io
https://icotop.io
http://arahnidapool.com

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.000035
0.000245
0.00105
USD
0.23049
1.6134
6.9148
RUB
15.170
106.19
455.09
Расширенный калькулятор
https://icotop.io/
konvert.im
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 7182852313938
Следующая сложность: 7175781231324 (-0.1%)
Блоков до пересчета: 1819
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 51366242.85
Блоков в сети: 546533
Блоков в час: 5.99
Блоков за последний час: 6
До 6.25 BTC/блок: 580.6 дней
(83467 блоков)
mining-center.org
YoBit.Net
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс