CertiK携手QuarkChain,共创安全高效区块链生态系统
近期,形式化验证公司CertiK携手QuarkChain,达成深度战略合作。CertiK作为QuarkChain首家签署的安全合作伙伴,将在QuarkChain及其公链上的智能合约提供业界顶尖全方位的安全验证与解决方案,抵抗潜在的黑客攻击,进一步提高QuarkChain的安全性和可靠度。CertiK已于今年六月对QuarkChain上币完成首次形式化验证,为其QKC强势登陆币安扫除安全隐患。
关于CertiK
如今,高速发展的区块链技术,已成为一个承载多元化业务模式的底层设施。但频繁曝出的安全漏洞让社区质疑了区块链的价值。价值传输需要信任作为保证,而技术发展很长一段时间内并没能解决信任的问题。位于美国硅谷和纽约的CertiK团队从学术圈出身——由耶鲁大学和哥伦比亚大学的教授带队,曾供职于Google, Facebook等高级软件工程师们护航,并有理论研究基础为支撑而组成明星团队。该团队同时着手于智能合约及区块链底层安全,核心产品源自CertiKOS防黑客操作系统,这套系统历经两位创始人邵中教授与顾荣辉教授多年研究,并投入了千万美金的科研经费,成为世界上第一个反黑客攻击的操作系统。
关于QuarkChain
再看到QuarkChain,它是在以往实践的基础上,引入了全新的开创性区块链架构设计,旨在用区块链技术满足全球范围商业活动的需要,通过搭建一个安全的、去中心化的、高吞吐能力的、可扩展的区块链底层技术方案,实现每秒超越十万级链上交易处理能力。
主要特性:
- 可多次分片的双层链结构
- 市场驱动的协作挖矿
- 抗中心化的横向节点扩展
- 高效的跨片交易
简单的账户管理方式除了这些显著特点,QuarkChain还具有多方面的技术创新,即 第一个支持状态分片的区块链技术;第一个支持图灵完备的智能合约的分片区块链技术;支持集群为普通电脑的区块链网络 。这些性能的实施都离不开 安全 的大前提。
CertiK与QuarkChain战略合作
截至目前,CertiK凭借自己在智能合约安全审计的高效性及准确性,已为QuarkChain在内的数十家智能合约完成校验,帮助多种区块链业务成功上线。这也是QuarkChain与CertiK合作的第一阶段目标——为公链及智能合约的安全使用提供保障 。但CertiK与QuarkChain的结合远不止于此。
信任和交易速度是现在区块链技术的两大瓶颈。QuarkChain的核心是利用分片技术和去中心化架构解决交易速度(TPS)的问题。与中心化的安全模型相比较,去中心化架构所带来的安全性挑战也更大。 CertiK团队引入的模块化验证天然适应了QuarkChain的独家需求,通过分层式验证技术,帮助QuarkChain解决跨片交易的安全问题 ,建设更值得信赖的生态体系。
此次CertiK与QuarkChain深度战略合作,切实地保障了QuarkChain生态体系的安全利益,加强安全机制的建设,共同打造高吞吐量,高安全性的区块链生态系统。