verkoop bitcoin vir groot wins

koop bitcoin op super laag prys



binance labs invests miljoene in blockchain auditing platform certik

Afrikaans Bitcoin News


binance labs invests miljoene in blockchain auditing platform certik
2018 10 08



binance labs die incubator vlerk van die binance cryptocurrency ruil het belê in 'n smart kontrak en blockchain audit startup die maatskappy aangekondig maandag
genoem certik die firma seeks te hulp veilige smart kontrak en blockchain platforms deur 'n formele verification proses die span het reeds begin werk op ensuring existing blockchain platforms doen nie bevat foute wat kon lei te 'n verlies van fondse of ander vulnerabilities volgens te 'n pers vry
die maatskappy was gestig laaste jaar in deel deur yale professor zhong shao wat is bekend vir die ontwikkeling van 'n gesertifiseer bedryfstelsel stelsel genoem certikos en columbia universiteit assistent professor ronghui gu
certik s span operates deur die toepassing van mathematical proofs te networks te vas te stel of hackers kan oortreding die stelsels
die span s metodes insluit 'n laag gebaseer decomposition benadering pluggable bewys enjins masjien checkable bewys voorwerpe gesertifiseer decentralized aansoek libraries en smart labeling volgens te die vry deur gebruik hierdie approaches die researchers eis hulle kan dan bevestig 'n blockchain platform s sekuriteit in 'n doel wyse
terwyl binance labs het nie disclose die totaal bedrag van die belegging 'n spokesperson vertel wat sy die spel accounted vir verskeie miljoene van dollar
die incubator s hoof uitvoerende beampte ella zhang gesê: in die vry wat certik s platform addresses op minstens 'n uitstaande nodig in die blockchain ruimte verduidelik
certik mathematically validates die sekuriteit van smart kontrakte wat is 'n kritiese pyn punt ons is gesig staar in die blockchain ecosystem bypassing die beperkinge van handleiding detection
die belegging seine die erkenning van die belang van formele verification in die blockchain industrie die verklaring gegaan op te sê certik in name kom met 'n unieke voordeel in die veld gegee sy geskiedenis en bewys tegnologie
hierdie tegnologie sluit certikos wat het reeds is gebruik in beide enterprise en militêre programme en is 'n van die gereedskap gebruik deur die jy s verdediging gevorderde navorsing projekte agentskap darpa die vry notas
besigheid miniatures beeld via



<<< ---