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

Offline CryptoWorld

  • Forum Promoter
  • Sr Hero
  • *****
  • Karma Associate
  • *****
  • Staff - moderator
  • ***
  • Posts: 401
  • Karma: 4
  • 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/

ubanxoriginal

Offline Miguel

  • Moderator
  • Jr Hero
  • *****
  • Staff - moderator
  • ***
  • Posts: 206
  • 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.