Поділитися цією статтею
BTC
$104,791.83
-
0.92%ETH
$2,577.85
-
2.77%USDT
$1.0001
+
0.00%XRP
$2.2042
-
2.83%BNB
$665.66
-
1.39%SOL
$160.41
-
3.90%USDC
$0.9998
-
0.01%DOGE
$0.2002
-
7.60%TRX
$0.2704
-
1.94%ADA
$0.7087
-
2.62%HYPE
$33.96
+
6.48%SUI
$3.3479
-
5.22%LINK
$14.27
-
6.18%AVAX
$21.30
-
5.97%XLM
$0.2724
-
2.79%TON
$3.3225
-
1.94%LEO
$8.8539
-
2.48%BCH
$405.28
-
0.76%SHIB
$0.0₄1315
-
6.22%HBAR
$0.1720
-
4.51%Зареєструватися
- Повернутися до менюЦіни
- Повернутися до менюдослідження
- Повернутися до меню
- Повернутися до менюСпонсорський матеріал
- Повернутися до меню
- Повернутися до меню
- Повернутися до меню
- Повернутися до менюВебінари та Заходи
Binance Labs інвестує мільйони в платформу аудиту блокчейнів CertiK
Binance Labs, крило-інкубатор Крипто , каже, що інвестувало мільйони в смарт-контракт і платформу аудиту блокчейнів CertiK.
Binance Labs, крило-інкубатор Криптовалюта біржі Binance, інвестувало в стартап з аудиту смарт-контрактів і блокчейнів, оголосила компанія в понеділок.
Під назвою CertiK фірма прагне допомогти захистити платформи смарт-контрактів і блокчейнів через офіційний процес перевірки. Згідно з прес-релізом, команда вже почала працювати над тим, щоб існуючі блокчейн-платформи не містили помилок, які можуть призвести до втрати коштів або інших уразливостей.
Продовження Нижче
Не пропустіть жодної історії.Підпишіться на розсилку Crypto Daybook Americas вже сьогодні. Переглянути Всі Розсилки
Компанію було засновано минулого року, частково професором Єльського університету Чжун Шао, який відомий розробкою "сертифікована операційна система" закликав CertiKOS і доцент Колумбійського університету Жунхуй Гу.
Команда CertiK працює, застосовуючи математичні докази до мереж, щоб визначити, чи можуть хакери зламати системи.
Згідно з релізом, методи команди включають «підхід до декомпозиції на основі шарів, підключаються механізми перевірки, об’єкти перевірки, що перевіряються машиною, бібліотеки сертифікованих [децентралізованих програм] та інтелектуальне маркування». Використовуючи ці підходи, дослідники стверджують, що вони можуть підтвердити безпеку блокчейн-платформи об’єктивним чином.
Хоча Binance Labs не розкриває загальну суму інвестицій, представник CoinDesk сказав, що її частка становить «кілька мільйонів» доларів.
Генеральний директор інкубатора Елла Чжан зазначила в релізі, що платформа CertiK відповідає принаймні ONE надзвичайній потребі в просторі блокчейнів, пояснюючи:
«CertiK математично підтверджує безпеку смарт-контрактів, що є критичною проблемною точкою, з якою ми стикаємося в екосистемі блокчейну, обходячи обмеження ручного виявлення».
Інвестиція «сигналізує визнання важливості формальної перевірки в індустрії блокчейнів», — йдеться далі в заяві. CertiK, зокрема, має «унікальну перевагу» в галузі, враховуючи його історію та перевірену Технології.
Ця Технології включає CertiKOS, який уже використовувався як у корпоративних, так і у військових програмах, і є ONE із інструментів, що використовуються Агентством передових оборонних дослідницьких проектів США (DARPA), зазначається у релізі.
Ділові мініатюри зображення через Shutterstock
Nikhilesh De
Nikhilesh De is CoinDesk's managing editor for global policy and regulation, covering regulators, lawmakers and institutions. He owns < $50 in BTC and < $20 in ETH. He won a Gerald Loeb award in the beat reporting category as part of CoinDesk's blockbuster FTX coverage in 2023, and was named the Association of Cryptocurrency Journalists and Researchers' Journalist of the Year in 2020.
Головне
