PCHAIN and CERTIK achieved 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.

The CertiK team based in Sillcon Valley and New York City, comes up with an innovative solution — DeepSpec formal verification. Led by professors at Yale University and Columbia University, supported by experienced software engineers from Google, Facebook, CertiK team is a blend of academic and corporate verification experience. The team aims to provide solutions for both the smart contract verification and low-level chain security. The core product is derived from the CertiKOS anti-hacking operating system. This system has been researched and studied by two founders Professor Shao, Zhong and Professor Gu, Ronghui for many years. With millions of dollars of research funding invested, CertiKOS becomes the world’s first anti-hacking operating system, and is widely used military application.

About CERTIK

CERTIK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University and former senior software engineers from Google, Facebook. Different from the traditional testing approaches, CERTIK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free. CERTIK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified DApp libraries, and smart labelling.

About PCHAIN

The world’s first native multi-chain system supporting EVM, with original PDBFT algorithm, unified knowledge map and intelligent data Oracle mechanism, support for non-native Token smart contract calls, solve blockchain performance, smart contracts are not closed loop, rely on external data. It will make large-scale industrial applications of blockchain smart contracts possible.

Join us:

Telegram 1: https://t.me/pchain_org

Telegram 2: https://t.me/pchain_org2

Telegram (Chinese Community) : https://t.me/pchain_CN

Telegram Announcement Channel: https://t.me/pchain_org_ann

Medium: https://medium.com/@PCHAIN

Steemit: https://steemit.com/@pchain

Reddit:https://www.reddit.com/r/Pchain_Org_Official/

Twitter: https://twitter.com/pchain_org

Founder/CEO’s Twitter: https://twitter.com/jeff_fengcao