Binance Labs investe milioni nella piattaforma di auditing blockchain CertiK

Binance Labs, la divisione incubatrice dell'exchange Criptovaluta Binance, ha investito in una startup di smart contract e audit blockchain, ha annunciato lunedì la società.

Chiamata CertiK, l'azienda cerca di aiutare a proteggere le piattaforme di smart contract e blockchain attraverso un processo di verifica formale. Il team ha già iniziato a lavorare per garantire che le piattaforme blockchain esistenti non contengano bug che potrebbero portare a una perdita di fondi o altre vulnerabilità, secondo un comunicato stampa.

L'azienda è stata fondata l'anno scorso, in parte dal professore di Yale Zhong Shao, noto per aver sviluppato un "sistema operativo certificato" chiamato CertiKOS e il professore assistente della Columbia University Ronghui Gu.

Il team di CertiK opera applicando prove matematiche alle reti per determinare se gli hacker possono violare i sistemi.

I metodi del team includono "un approccio di decomposizione basato su livelli, motori di prova collegabili, oggetti di prova controllabili dalla macchina, librerie [decentralizzate] certificate ed etichettatura intelligente", secondo il comunicato. Utilizzando questi approcci, i ricercatori affermano di poter quindi confermare la sicurezza di una piattaforma blockchain in modo oggettivo.

Sebbene Binance Labs non abbia reso noto l'importo totale dell'investimento, un portavoce ha dichiarato a CoinDesk che la sua quota ammonta a "diversi milioni" di dollari.

La CEO dell'incubatore, Ella Zhang, ha affermato nel comunicato che la piattaforma di CertiK risponde ad almeno ONE rilevante nel settore blockchain, spiegando:

"CertiK convalida matematicamente la sicurezza degli smart contract, che rappresenta un punto critico nell'ecosistema blockchain, aggirando i limiti del rilevamento manuale."

L'investimento "segnala il riconoscimento dell'importanza della verifica formale nel settore blockchain", ha continuato la dichiarazione. CertiK in particolare presenta un "vantaggio unico" nel settore, data la sua storia e la Tecnologie comprovata.

Questa Tecnologie include CertiKOS, che è già stato utilizzato in programmi aziendali e militari ed è ONE degli strumenti utilizzati dalla Defense Advanced Research Projects Agency (DARPA) degli Stati Uniti, come si legge nelle note di rilascio.

Miniature aziendaliimmagine tramite Shutterstock