Binance Labs, инкубаторното крило на борсата Binance, инвестира в интелигентни договори и блокчейн одиторски стартъп, съобщиха от компанията в понеделник.
Сертифициран от CertiK, фирмата се стреми да подпомогне осигуряването на интелигентни договори и блокчейн платформи чрез формален процес на проверка. Екипът вече е започнал да работи, за да гарантира, че съществуващите блокчейн платформи не съдържат грешки, които биха могли да доведат до загуба на средства или други уязвими места, съобщи прессъобщение.
Компанията е основана миналата година, отчасти от професора от Йейл Джонг Шао, който е известен с разработването на “сертифицирана операционна система”, наречена CertiKOS, Ронгхуй Гу, асистент от колумбийския университет.
Екипът на CertiK работи, като прилага математически доказателства към мрежите, за да определи дали хакерите могат да нарушат системите.
Методите на екипа включват “подход на разлагането на базата на слоеве, модифицирани доказателства, машинно проверими обекти, сертифицирани, децентрализирани приложения, библиотеки и интелигентно етикетиране”, се казва в съобщение. Използвайки тези подходи, изследователите твърдят, че могат да потвърдят сигурността на блокчейн платформата по обективен начин.
Докато Binance Labs не разкриха общата сума на инвестицията, говорител каза, че неговият дял е “милиони” долари.
Главният изпълнителен директор на инкубатора, Ела Джанг, заяви в изявлението, че платформата на CertiK е насочена към най-малко една изключителна нужда в блокчейн пространството, обяснявайки:
CertiK утвърждава математически сигурността на интелигентните договори, което е критична точка, пред която сме изправени в блокчейн екосистемата, заобикаляйки ограниченията на ръчното откриване.
Инвестицията “сигнализира за признаването на важността на официалната проверка в блокчейн индустрията”, се казва в изявлението. По-специално, CertiK идва с “уникално предимство” в областта, като се има предвид неговата история и доказана технология.
Тази технология включва CertiKOS, който вече е използван както в корпоративни, така и във военни програми, и е един от инструментите, използвани от Агенцията за подпомагане на напредналите изследователски проекти на САЩ (DARPA).
Дарителите от Уолстрийт, Силициевата долина и Холивуд изиграха ключова роля в подпомагането на усилията на вицепрезидента Камала Харис за набиране на средства през август, което даде на демократите финансово предимство пред Доналд Тръмп на прага на финалната фаза на изборите.
Турският външен министър Хакан Фидан заяви в сряда, че Анкара проучва алтернативни глобални съюзи, като все още се стреми към членство в ЕС.
Аԁвокатът на XRP Джон Дийтън, който си осигури номинацията на републиканците за сенаторското място в Масачузетс, ще се изправи срещу сенатора демократ Елизабет Уорън в дългоочакван дебат на 15 октомври 2024 г.
Напрежението около делото на Ripple срещу SEC се засилва, тъй като дискусиите за потенциално обжалване набират скорост.