CertiK is a smart contract and blockchain ecological security service provider. It adopts formal verification, converts smart contracts into mathematical models, and verifies the models through logical reasoning calculations, thereby proving the security of smart contracts. The core product Anti-hacking operating system for CertiKOS. The company recently announced a $60 million financing from investors including SoftBank Vision Fund II and Tiger Global, marking SoftBank’s first foray into Web3 security.
This article is reproduced from: https://www.itjuzi.com/investevent/13188784
This site is for inclusion only, and the copyright belongs to the original author.