Binance Labs投资安全验证平台CertiK

 

据cryptoglobe消息，Binance Labs日前向CertiK投资了数百万美元，CertiK是一个智能合同安全验证平台，可以“从数学上证明”基于区快链的智能合同是否“无bug的”和“防黑客的”。

 

据CertiK官网消息，CertiK目前正致力于“开发一种分层级的验证方法，该方法可以将验证任务分解成更小的部分”，使证明智能合约是否存在BUG的计算密集型任务变得更易于管理。