支持EVM的原生多链系统PCHAIN项目与专注智能合约安全研究的安比(SECBIT)实验室达成战略合作。双方未来将通过技术联合开发形式，从区块链底、中、上三个层面就PCHAIN全球范围的Smart Data安全性、智能合约语言安全性、DApp生态安全性开展全方位深度合作。
PCHAIN团队针对面向智能合约的区块链系统存在的网络拥堵、数据追踪困难、缺乏统一预言机等问题及不断增长的跨链需求，提出了自身支持EVM的多链解决体系，智能合约可以选择部署在不同的子链上。在该体系中底层的智能合约虚拟机是是整个体系运行的基础，虚拟机的安全将直接关系到整个体系的稳定；同时，PCHAIN体系内生的Smart Data是其智能合约的功能要素，这使得其智能合约复杂性更强，对安全的要求更高。安比(SECBIT)实验室将借助自身在智能合约安全研究、虚拟机安全研究及形式化验证等方面长期的技术积累和自主开发的众多安全检测工具，以提供安全审计和形式化验证服务等方式与PCHAIN展开深入合作，旨在共同为各行业提供具有多重安全性能的区块链平台，为Dapp生态保驾护航。
安比(SECBIT)实验室由中国科学技术大学博士郭宇创建。安比(SECBIT)实验室专注于智能合约安全技术的研究，从密码学、代码语义、形式化验证、博弈论、编译器等多种理论角度切入，着眼于智能合约的设计、开发、测试、审计等全生命周期，研发一系列的工具与服务，从根本上解决智能合约的安全问题。安比实验室和PCHIAN团队希望通过此次合作共同努力提高PCHAIN体系的整体安全性，共建一个可信、有序的PCHAIN生态系统。
关于安比（SECBIT）实验室
安比（SECBIT）实验室专注于区块链与智能合约安全问题，全方位监控智能合约安全漏洞、提供专业合约安全审计服务，在智能合约安全技术上开展全方位深入研究，致力于参与共建共识、可信、有序的区块链经济体。
安比（SECBIT）实验室创始人郭宇，中国科学技术大学博士、耶鲁大学访问学者、曾任中科大副教授。专注于形式化证明与系统软件研究领域十余年，具有丰富的金融安全产品研发经验，是国内早期关注并研究比特币与区块链技术的科研人员之一。研究专长：区块链技术、形式化验证、程序语言理论、操作系统内核、计算机病毒。
PCHAIN 微信公众号
官网：https://pchain.org
********：https://t.me/pchain_org2
Twitter：https://twitter.com/pchain_org
Medium：https://medium.com/@PCHAIN
Reddit： https://www.reddit.com/r/Pchain_Org_Official/