Subscribe to Our Newsletter
Saturday May 21, 2022
Bitcoin (BTC) $29,311.00   Ether (ETH) $1,971.53
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
No Result
View All Result
Swap USDT (TRC20) Instantly
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
Changelly
CryptoNinjas
Home Vendor Technology

Smart contract security company CertiK introduces its own blockchain

By allowing smart contract execution and interactions on the CertiK security-focused chain, the aim is to realize the full potential of complex, decentralized computing.

Published by CryptoNinjas.net
07/22/2019
Smart contract security company CertiK introduces its own blockchain

CertiK, a platform for blockchain and smart contract auditing, today introduced the CertiK blockchain. The CertiK Chain is built to enhance the security of smart contracts, leveraging the CertiK Foundation’s unique Formal Verification platform at its core.

By focusing on security first, the CertiK Chain aims to provide developers with the security and flexibility to code with confidence. The CertiK team believes that this “security will inherently position the blockchain for mass adoption, empowering budding developers and established enterprises alike.”

CertiK Chain Overview

The CertiK Chain is a public platform based on the CertiK Foundation’s unique Formal Verification security system.

On-chain smart contracts will contain cryptographic certificates as proof of verified security. Smart contracts may interact with each other and check for these machine-checkable proofs in order to gain assurances of security. Smart contracts that do not have these verified certificates may require higher fees to transact.

Security will be prioritized from the bottom-up. On the base layer is the CertiK Virtual Machine (CVM), which will undergo Formal Verification to certify the correctness of its implementation. The CertiK Chain will use a verified compiler that assures no bugs are introduced during the transformation of source code into the CVM bytecode.

For universal ease-of-use, developers will be able to create smart contracts using the functional programming language, DeepSEA, which has been awarded grants from IBM and The Ethereum Foundation, for integration with Hyperledger Burrow and the Ethereum Virtual Machine (EVM). With DeepSEA, security is proven within the code itself, backed by a fully certified compiler.

With this project, CertiK aims to build a blockchain infrastructure that can provide true end-to-end security. To achieve that, full nodes of CertiK Chain will run on CertiKOS, a verified hypervisor / concurrent OS kernel, developed by CertiK’s co-founders. CertiKOS can work as a military-grade secure enclave and protect CertiK Chain nodes from hacker attacks.

“To form a safer blockchain ecosystem, security must be built from the ground up. Giving developers and users access to a scalable, intuitive, and safe product encourages long-term adoption, especially for large enterprises. By putting security at the forefront of its development, the CertiK Chain aims to mitigate the security vulnerabilities that have plagued the blockchain world, stifling innovation. In turn, the CertiK Chain will help provide individuals and enterprises with the confidence needed for broader adoption. With the CertiK Chain, we’re proud to take the first step in creating a blockchain that can be trusted, built on, and improved for years to come.”
The CertiK Team

308
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram
Source: CertiK

Related News

CertiK to enable DeFi and blockchain projects to decentralize their cloud infrastructure with Akash

04/22/2021
CertiK to enable DeFi and blockchain projects to decentralize their cloud infrastructure with Akash

Akash Network,  a decentralized open-source cloud, today announced a partnership with CertiK, a leading blockchain and smart contract cybersecurity company. Through this partnership, CertiK's clients will be able to decentralize their cloud infrastructure on...

Read more

DeFi yield optimization app ETHA Lend gets security audit report from Certik

04/06/2021
DeFi yield optimization app ETHA Lend gets security audit report from Certik

ETHA Lend, an interoperable protocol that provides algorithmically optimal yield in DeFi, today updated on its inspection by Certik, a blockchain security auditor. The primary purpose of the security audit was to ensure the...

Read more

CertiK launches new tool to expedite smart contract security analysis

11/13/2020
CertiK launches new tool to expedite smart contract security analysis

CertiK, a provider of end-to-end cybersecurity solutions, has now announced the launch of QuickScan, a new security toolset that leverages automated scanning technologies to check deployed smart contracts against a wide range of known...

Read more

Blockchain security firm CertiK to help Liquid vet listings and IEO projects

01/23/2020
Blockchain security firm CertiK to help Liquid vet listings and IEO projects

Cryptocurrency exchange Liquid, today announced a new partnership with CertiK, a leading blockchain security firm. CertiK will provide its smart-contract audit platform to teams seeking potential listings and IEOs on the exchange. CertiK will...

Read more
Load More

Discussion about this post

Where to Exchange

Crypto services suite in Spanish Visit
European bitcoin exchange Visit
Swap & buy 150+ cryptocurrencies Visit
America's first regulated bitcoin exchange Visit
  • Trending
  • Latest
Kiln completes $5 million funding round to grow blockchain staking platform

Kiln completes $5 million funding round to grow blockchain staking platform

05/19/2022
Volume on BitMEX Spot Exchange surpasses $10M in 24 hours since launch

Volume on BitMEX Spot Exchange surpasses $10M in 24 hours since launch

05/19/2022
Crypto transaction monitoring platform Merkle Science adds support for 1,200+ ERC-20 tokens

Crypto transaction monitoring platform Merkle Science adds support for 1200+ ERC20 tokens

05/20/2022
Oracle network for Algorand blockchain Algoracle closed $1․5M seed round

Decentralized oracle network for Algorand blockchain Algoracle closes $1․5M seed round

05/18/2022
Crypto transaction monitoring platform Merkle Science adds support for 1,200+ ERC-20 tokens

Crypto transaction monitoring platform Merkle Science adds support for 1200+ ERC20 tokens

05/20/2022
Kiln completes $5 million funding round to grow blockchain staking platform

Kiln completes $5 million funding round to grow blockchain staking platform

05/19/2022
Volume on BitMEX Spot Exchange surpasses $10M in 24 hours since launch

Volume on BitMEX Spot Exchange surpasses $10M in 24 hours since launch

05/19/2022
Oracle network for Algorand blockchain Algoracle closed $1․5M seed round

Decentralized oracle network for Algorand blockchain Algoracle closes $1․5M seed round

05/18/2022
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2022 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact
No Result
View All Result

© 2016 - 2022 CryptoNinjas Disclosures | Privacy Policy

Go to mobile version