Поділитися цією статтею
Binance Labs інвестує мільйони в платформу аудиту блокчейнів CertiK
Binance Labs, крило-інкубатор Крипто , каже, що інвестувало мільйони в смарт-контракт і платформу аудиту блокчейнів CertiK.
Автор Nikhilesh De
Binance Labs, крило-інкубатор Криптовалюта біржі Binance, інвестувало в стартап з аудиту смарт-контрактів і блокчейнів, оголосила компанія в понеділок.
Під назвою CertiK фірма прагне допомогти захистити платформи смарт-контрактів і блокчейнів через офіційний процес перевірки. Згідно з прес-релізом, команда вже почала працювати над тим, щоб існуючі блокчейн-платформи не містили помилок, які можуть призвести до втрати коштів або інших уразливостей.
Компанію було засновано минулого року, частково професором Єльського університету Чжун Шао, який відомий розробкою "сертифікована операційна система" закликав CertiKOS і доцент Колумбійського університету Жунхуй Гу.
Команда CertiK працює, застосовуючи математичні докази до мереж, щоб визначити, чи можуть хакери зламати системи.
Згідно з релізом, методи команди включають «підхід до декомпозиції на основі шарів, підключаються механізми перевірки, об’єкти перевірки, що перевіряються машиною, бібліотеки сертифікованих [децентралізованих програм] та інтелектуальне маркування». Використовуючи ці підходи, дослідники стверджують, що вони можуть підтвердити безпеку блокчейн-платформи об’єктивним чином.
Хоча Binance Labs не розкриває загальну суму інвестицій, представник CoinDesk сказав, що її частка становить «кілька мільйонів» доларів.
Генеральний директор інкубатора Елла Чжан зазначила в релізі, що платформа CertiK відповідає принаймні ONE надзвичайній потребі в просторі блокчейнів, пояснюючи:
«CertiK математично підтверджує безпеку смарт-контрактів, що є критичною проблемною точкою, з якою ми стикаємося в екосистемі блокчейну, обходячи обмеження ручного виявлення».
Інвестиція «сигналізує визнання важливості формальної перевірки в індустрії блокчейнів», — йдеться далі в заяві. CertiK, зокрема, має «унікальну перевагу» в галузі, враховуючи його історію та перевірену Технології.
Ця Технології включає CertiKOS, який уже використовувався як у корпоративних, так і у військових програмах, і є ONE із інструментів, що використовуються Агентством передових оборонних дослідницьких проектів США (DARPA), зазначається у релізі.
Ділові мініатюри зображення через Shutterstock
Higit pang Para sa Iyo
"Угоду було в значній мірі погоджено, за умови її остаточного затвердження між Сполученими Штатами Америки, Ісламською Республікою Іран та низкою інших країн," написав Президент Трамп пізно в суботу вдень.
Ano ang dapat malaman:
- Після різкого падіння раніше у суботу, біткойн перейшов до зростання протягом дня після того, як президент Трамп оголосив про мирну угоду з Іраном та іншими країнами Близького Сходу.
- У рамках угоди, за словами Трампа, протока Ормуз буде знову відкритою.
Головне
