Binance Labs інвестує мільйони в платформу аудиту блокчейнів CertiK

Binance Labs, крило-інкубатор Криптовалюта біржі Binance, інвестувало в стартап з аудиту смарт-контрактів і блокчейнів, оголосила компанія в понеділок.

Під назвою CertiK фірма прагне допомогти захистити платформи смарт-контрактів і блокчейнів через офіційний процес перевірки. Згідно з прес-релізом, команда вже почала працювати над тим, щоб існуючі блокчейн-платформи не містили помилок, які можуть призвести до втрати коштів або інших уразливостей.

Компанію було засновано минулого року, частково професором Єльського університету Чжун Шао, який відомий розробкою "сертифікована операційна система" закликав CertiKOS і доцент Колумбійського університету Жунхуй Гу.

Команда CertiK працює, застосовуючи математичні докази до мереж, щоб визначити, чи можуть хакери зламати системи.

Згідно з релізом, методи команди включають «підхід до декомпозиції на основі шарів, підключаються механізми перевірки, об’єкти перевірки, що перевіряються машиною, бібліотеки сертифікованих [децентралізованих програм] та інтелектуальне маркування». Використовуючи ці підходи, дослідники стверджують, що вони можуть підтвердити безпеку блокчейн-платформи об’єктивним чином.

Хоча Binance Labs не розкриває загальну суму інвестицій, представник CoinDesk сказав, що її частка становить «кілька мільйонів» доларів.

Генеральний директор інкубатора Елла Чжан зазначила в релізі, що платформа CertiK відповідає принаймні ONE надзвичайній потребі в просторі блокчейнів, пояснюючи:

«CertiK математично підтверджує безпеку смарт-контрактів, що є критичною проблемною точкою, з якою ми стикаємося в екосистемі блокчейну, обходячи обмеження ручного виявлення».

Інвестиція «сигналізує визнання важливості формальної перевірки в індустрії блокчейнів», — йдеться далі в заяві. CertiK, зокрема, має «унікальну перевагу» в галузі, враховуючи його історію та перевірену Технології.

Ця Технології включає CertiKOS, який уже використовувався як у корпоративних, так і у військових програмах, і є ONE із інструментів, що використовуються Агентством передових оборонних дослідницьких проектів США (DARPA), зазначається у релізі.

Ділові мініатюри зображення через Shutterstock