CertiKCertiK
  • Home
  • Services
    Security AuditsPenetration TestingCustom Formal Verification
  • Blog
  • About
  • Toolkits
    A Tour of SolidityCreate2 Audit Tool
  • Careers
English
  • English
  • 中文
  • Home
  • Services
  • Security Audits
  • Penetration Testing
  • Custom Formal Verification
  • Blog
  • About
  • Toolkits
  • A Tour of Solidity
  • Create2 Audit Tool
  • Careers

CertiK Blog and News

Join Our Community Today!

  • All Stories
  • Latest
  • Announcements
  • Clients & Partners
  • Technology
  • Videos

CertiK’s Smart Contract Audit for MYKEY’s Ethereum Chain

CertiK | Dec 2

MYKEY chose to work with CertiK to audit the implementation of their new Ethereum Chain's smart contracts!

HYCON's $HYC Token Audit

CertiK | Nov 26

In order to create the above mentioned strong foundation, HYCON chose to work with CertiK to compile a comprehensive security audit on the $HYC token.

Reserve Protocol’s RSV Case Study and Audit

CertiK | Oct 30

The volatility of existing cryptocurrencies significantly reduces global adoption. Many investors often weigh risk against reward when choosing to adopt a particular cryptocurrency.

V SYSTEMS Smart Contract Audit

CertiK | Oct 29

V SYSTEMS chose to work with CertiK, the leader in blockchain security, to review their Non-Turing-Complete smart contract technology development.

CertiK Partners With ORION

CertiK | Oct 28

CertiK will work together with ORION to formally verify exchange connectors and protocol components created by third party developers.

  • 1
  • 2
  • 3
  • 4
  • 5
  • •••
  • 11
  • Goto
Certik
Copyright ©2019 by CertiK. All Rights Reserved.
SERVICES
  • Security Audits
  • Penetration Testing
  • Custom Formal Verification
COMPANY
  • Home
  • About
  • Careers
  • Testimonials
LINKS
  • Blog
  • News
COMMUNITY
  • Twitter

  • LinkedIn

  • YouTube

  • Telegram

  • Medium

  • GitHub

  • WeChat

    QR Code
  • bd@certik.org