Author Topic: Binance Labs Invests on 'Mathematically Provable' Blockchain Security  (Read 47 times)

Offline CryptoWorld

  • Forum Promoter
  • Sr Hero
  • *****
  • Karma Associate
  • *****
  • Staff - moderator
  • ***
  • Posts: 430
  • Karma: 4
  • Do Something or Nothing
  • Referrals: 8
[2018/10/08]

Binance Labs, the digital asset exchange’s blockchain development incubator, has reportedly invested “multiple millions” of dollars in CertiK, a formal verification platform to “mathematically prove” whether blockchain-based smart contracts are “bug-free” and “hacker-resistant.”   

https://www.cryptoglobe.com/latest/2018/10/binance-labs-invests-multiple-millions-into-mathematically-provable-blockchain-security-developer/

Online Miguel

  • Moderator
  • Jr Hero
  • *****
  • Staff - moderator
  • ***
  • Posts: 223
  • Karma: 4
  • Make CRYPTOTALKSWORLD grow & we all grow alongside
  • Referrals: 4
Re: Binance Labs Invests on 'Mathematically Provable' Blockchain Security
« Reply #1 on: October 10, 2018, 02:58:41 PM »
This is awesome; Binance labs have taken a drastic measure  toward ensuring security in Blockchain. The issue of security has been the major challenge in this industry, when it's done more investors will troop in for investment.

 

Donate to CTW Forum