Crypto Facilities
Evolve Markets

Nebulabs partners with CertiK to ensure smart contract and DApp security

With this partnership, CertiK will provide formal verification for smart contracts and DApps developed on the Nebulas blockchain, enabling programs in the Nebulas ecosystem to be more robust and resilient to hacks.

Nebulabs, the startup incubator of the next generation public blockchain Nebulas, and CertiK, a formal verification framework to ensure smart contract and blockchain security, announced a new partnership today. This partnership will see CertiK provide technology to help ensure DApps and smart contracts on the Nebulas blockchain are secure, reliable and resistant to hacking.

Nebulas developers will also receive real-time, interactive verification feedback when building DApps and smart contracts, helping to free up time and effort previously spent on debugging and auditing code.

Nebulabs is the startup incubator of Nebulas, a next-generation public blockchain aiming for a continuously improving ecosystem. Based on its blockchain valuation mechanism, Nebulas proposes future-oriented incentive and consensus systems, and the ability to self-evolve without forking.

Meanwhile, CertiK offers a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. The project is led by Zhong Shao, Thomas L. Kempner Professor and Department Chair of Computer Science at Yale University, and Ronghui Gu, Assistant Professor of Computer Science at Columbia University.

To make the verification process scalable, CertiK enables the decomposition of otherwise prohibitive proof-tasks into smaller and simpler ones, by using a layer-based approach. However, smart contracts are open-sourced and immutable once deployed, making them vulnerable to hackers. Recent history, such as the incidents at the DAO and Mt. Gox, cautions that security must be of paramount importance in the blockchain and cryptocurrency space.



E-mail is already registered on the site. Please use the Login form or enter another.

You entered an incorrect username or password

Sorry that something went wrong, repeat again!