Ang Binance Labs ay Namumuhunan ng Milyun-milyon sa Blockchain Auditing Platform CertiK

Ang Binance Labs, ang incubator wing ng Binance Cryptocurrency exchange, ay namuhunan sa isang smart contract at blockchain audit startup, inihayag ng kumpanya noong Lunes.

Tinatawag na CertiK, ang kumpanya ay naglalayong tumulong sa pag-secure ng matalinong kontrata at mga platform ng blockchain sa pamamagitan ng isang pormal na proseso ng pag-verify. Sinimulan na ng team na magtrabaho sa pagtiyak na ang mga umiiral na blockchain platform ay hindi naglalaman ng mga bug na maaaring humantong sa pagkawala ng mga pondo o iba pang mga kahinaan, ayon sa isang press release.

Ang kumpanya ay itinatag noong nakaraang taon, sa bahagi ni Yale professor Zhong Shao, na kilala sa pagbuo ng isang "sertipikadong operating system" tinatawag na CertiKOS, at assistant professor ng Columbia University na si Ronghui Gu.

Gumagana ang koponan ng CertiK sa pamamagitan ng paglalapat ng mga mathematical proof sa mga network upang matukoy kung maaaring labagin ng mga hacker ang mga system.

Kasama sa mga pamamaraan ng koponan ang "isang layer-based na decomposition approach, pluggable proof engine, machine-checkable proof objects, certified [decentralized application] na mga library at matalinong pag-label," ayon sa release. Sa pamamagitan ng paggamit ng mga pamamaraang ito, inaangkin ng mga mananaliksik na maaari nilang kumpirmahin ang seguridad ng isang blockchain platform sa isang layunin na paraan.

Habang hindi ibinunyag ng Binance Labs ang kabuuang halaga ng puhunan, sinabi ng isang tagapagsalita sa CoinDesk na ang stake nito ay nagkakahalaga ng "multiple million" ng mga dolyar.

Ang CEO ng incubator, si Ella Zhang, ay nagsabi sa release na ang platform ng CertiK ay tumutugon sa hindi bababa sa ONE natitirang pangangailangan sa blockchain space, na nagpapaliwanag:

"Mathematically validates ng CertiK ang seguridad ng mga smart contract, na isang kritikal na punto ng sakit na kinakaharap natin sa ecosystem ng blockchain, na nilalampasan ang mga limitasyon ng manual detection."

Ang pamumuhunan "ay nagpapahiwatig ng pagkilala sa kahalagahan ng pormal na pag-verify sa industriya ng blockchain," ang pahayag ay nagpatuloy na sabihin. Ang CertiK sa partikular ay may "natatanging bentahe" sa larangan na ibinigay sa kasaysayan nito at napatunayang Technology.

Kasama sa Technology ito ang CertiKOS, na ginamit na sa parehong mga programa sa negosyo at militar, at ONE sa mga tool na ginagamit ng US Defense Advanced Research Projects Agency (DARPA), ang mga tala sa paglabas.

Mga miniature ng negosyo larawan sa pamamagitan ng Shutterstock