A strategic cooperation was reached between CertiK and QuarkChain recently. As the first signed security partner of QuarkChain, CertiK will provide QuarkChain a top-notch security verification solution to resist potential hacking for the smart contract on its public chains, and further improve the security and reliability of QuarkChain. On June 2018, CertiK completed the first formal verification for QuarkChain’s ICO; safe-guarded all the potential security risks for QKC’s debut on Binance.
Today, the fast-growing blockchain technology has become an underlying facility that carries a diversified business model. But the frequently exposed security vulnerabilities have caused the community to question the value of the blockchain. Value transmission requires trust as a guarantee, and technology development has not solved the problem of trust for a long time. 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.
Coming back to QuarkChain, on the basis of past practice, it introduces a new groundbreaking blockchain architecture design, which aims to meet the needs of global business activities with blockchain technology, by building a technical design of a safe, decentralized, capable and scalable blockchain underlying solution, which enables over 100,000-level chain transaction processing per second. Main features: 1. Reshardable two-layered blockchain; 2. Guaranteed security by market-driven collaborative mining; 3. Anti-centralized horizontal scalability; 4. Efficient cross-shard transaction; 5. Ethereum smart contract support. Besides those above-mentioned remarkable features, QuarkChain also has a variety of technological innovations, namely the first blockchain technology that supports stateful fragmentation; the first tiled blockchain technology that supports Turing’s complete smart contracts; and the blockchain that supports the integrated clusters as public computers of the internet. The implementation of these properties is inseparable from the premise of security.
With its efficiency and accuracy in smart contract security audit, CertiK, up till now has verified the dozens of smart contracts including QuarkChain’s, helped multiple blockchain businesses launched successfully. This is also the first phase of the collaboration between QuarkChain and CertiK — to secure the safe utilities of public and smart contracts. But the combination of CertiK and QuarkChain goes far beyond this.
Trust and transaction speed are the two major bottlenecks in blockchain technology today. The core of QuarkChain is to solve transaction speed (TPS) problems, by applying the fragmentational tech and decentralized architecture. Compared to a centralized security model, the decentralized architecture poses even greater security challenges. The modular verification introduced by the CertiK team naturally adapts to the exclusive needs of QuarkChain, which helps the QuarkChain solve the security problems of sharding transactions and build a more reliable ecosystem through layered verification technology.
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 and 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.