CertiK (CTK) is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. The CertiK token sale period isn’t set yet.
Pchain (PAI) is the first native multichain system that supports EVM in the world and it makes large scale blockchain applications possible.
On August 12, Pchain and CertiK announced a deep strategic partnership.
CertiK is committed to smart contract and security verification of blockchain ecosystem. According to Pchain features such as Smart Data, cross chain & invocation of smart contract for non-native tokens, CertiK conduct security verification research and make the customized validation service and development. Both will conduct all-round and in-depth cooperation for DApp ecological security to against potential hackers and form a complementary technology. Pchain and CertiK will build a safe, reliable, benign DApp ecological public chain.