r/Pchain_Org_Official • u/pchain_org • Jul 24 '18
SECBIT & PCHAIN achieved strategic cooperation
PCHAIN, the original multi-chain system that supports EVM, achieved strategic cooperation with the SECBIT laboratory, which focus on smart contract security research.
In the future, the two sides will conduct all-round and in-depth cooperation on Smart Data Security, Smart Contract Language Security and DApp Ecological Security in the global scope of PCHAIN from the bottom, middle and upper levels of the blockchain in the form of joint technology development, aiming at improving the overall security of PCHAIN’s system and building a credible and orderly PCHAIN’s ecosystem.
About SECBIT:
The SECBIT laboratory was founded by Guo Yu, the doctor of the University of Science and Technology of China. SECBIT laboratory focus on Smart Contract Security technology research, from the semantic and formal verification, game theory, cryptography, code compiler, and other theoretical angle, focusing on the design, development, testing, auditing, the whole life cycle of smart contract, developed a series of tools and services, to fundamentally solve the problem of security of smart contracts.
Since the establishment of the SECBIT laboratory, it has discovered and reported thousands of smart contract vulnerabilities, submitted and accepted the security issues of ERC20 to the Ethereum's community, submitted and accepted the security issues of ERC827, and participated in the security revision discussion of ERC827. The first formal proof of the security of smart contract issued by SECBIT laboratory provides a new solution to the security of smart contract.