THE FIRST AUTOMATED FORMAL AUDIT PLATFORM FOR SMART CONTRACTS

Straight from the creators of SECURIFY, the popular smart contract analyzer.
Offering the only automated formally verified audits, based on latest research from the ICE center, ETH Zurich.

REQUEST AUDIT
ChainSecurity’s auditing tools are a great step forward in helping businesses trust this new technology.... Read More
ChainSecurity's platform and experts were extremely helpful in securing BlockV's smart contracts... Read More
We were attracted by the fact that they span out from the security lab at ETH Zurich... Read More
It has been an absolute pleasure to work with ChainSecurity... Read More
Their services were professionally conducted. I would recommend ChainSecurity to anyone... Read More
ChainSecurity did a supremely thorough job of auditing every aspect of our token contract... Read More
Smart contracts secured by Swiss engineering... Read More

ChainSecurity’s automated

FORMAL AUDIT PLATFORM

The founders of ChainSecurity have previously created the popular SECURIFY smart contract analyzer.
Now, they have created the first automated formal audit platform for smart contracts.

AUDIT PHASE

  • Developer
  • Smart Contracts
  • Audit platform / Experts
  • Public report
  • Private report

DEPLOYMENT PHASE

  • Developer
  • Public report
  • Community
  • Blockchain
  • Formally verified smart contracts
EXPRESS AUDIT 24 hours EXPERT AUDIT 1-2 weeks CUSTOM AUDIT 3-4 weeks
Security analysis by the ChainSecurity audit platform
Code review by ChainSecurity experts
Private and public audit report
Formalization of custom requirements
REQUEST AUDIT

The Testimonials of Our

PARTNERS

We see that many people are scared of smart contracts, mostly because they aren’t technical enough to understand them and how to use them. ChainSecurity’s auditing tools are a great step forward in helping businesses trust the capabilities of this new technology.
ChainSecurity's platform and experts were extremely helpful in securing BlockV's smart contracts. Thank you for the dedication and fine attention to detail!
ChainSecurity did a supremely thorough job of auditing every aspect of our token contract, going above and beyond by seeing us through to a successful WLK token sale with perfect communications & professionalism and patience to educate along the way. Wolk considers itself lucky to have worked with best in working with ChainSecurity!" - Sourabh Niyogi, CEO, Wolk
It has been an absolute pleasure to work with ChainSecurity. Their service was consistently professional and transparent.
We were attracted by the fact that they span out from the security lab at ETH Zurich (Switzerland's answer to MIT). We kept coming back and continue referring them to others for their professionalism and commitment.
ChainSecurity has completed the audit for our token launch; including contracts that constitute the Legal Token, the SMS verification services and the token launch itself. We are extremely pleased with our choice. All the security auditors were great to work with and their services were professionally conducted. I would recommend ChainSecurity to anyone looking for top notch secure solutions for blockchains and smart contracts.
ChainSecurity is a young company from Switzerland that is already successful and very professional in what they do, making them a perfect match for eBitcoin’s Ecosystem. They ensure that they detect vulnerabilities in smart contracts and audited tokens are safe from any exploitation of unforeseen loopholes in smart contracts giving investors and teams of the respective projects comfort and confidence.
Chain Security's service was timely and professional despite given the tight deadline. Their detailed audit report helped us rectify potential problems in our smart contract, and also provided useful recommendations for improvements.

Straight From The Lab

RESEARCH

We combine the latest research in program analysis, machine learning, and system security to build innovative blockchain solutions

For information about projects, lectures, and talks, visit http://ice.ethz.ch

SYSTEMS

The first formal auditing system for Ethereum smart contracts. Analyzes any contract for critical security vulnerabilities and insecure coding.

SCIENTIFIC PAPERS

Our team has published a number of peer-reviewed scientific papers at top security and program analysis conferences

  • DR. HUBERT RITZDORF

    Hubert defended his PhD from ETH Zurich in the area of blockchain and cloud security.

  • DR. PETAR TSANKOV

    Petar obtained his PhD from ETH Zurich in the area of automated security analysis.

  • QUENTIN HIBON

    Quentin specialized in smart contract security during his Master of Computer Science at ETH Zurich.

  • ANTON PERMENEV

    Anton is Computer Science Master Student at ETH, working on Smart Contract Verification.

  • DANIEL FISCHMANN

    Daniel is a final-year undergraduate student at ETH Zurich, doing research on privacy in machine learning.

  • LEONARD VON KLEIST

    Leonard is an undergraduate student at ETH Zurich, deepening his knowledge in smart contract security.

  • PROF. MARTIN VECHEV

    Martin is an Associate Professor at ETH Zurich working on software security and reliability.

  • DR. ARTHUR GERVAIS

    Arthur is an Assistant Professor at Imperial College London working on blockchain security.

  • PROF. LAURENT VANBEVER

    Laurent is an Assistant Professor at ETH Zurich working on network security and reliability.

  • YOU?

    We are hiring. If you like to solve hard problems and improve security, apply at jobs@chainsecurity.com.

Latest

News

Partnership Announcement with ContractVault

We see that many people are scared of smart contracts, mostly because they aren’t technical enough to understand them and how to use them. ChainSecurity’s auditing tools are a great step forward in helping businesses trust the capabilities of this new technology. Partnership announcement

BLOCKv Audit Completed

ChainSecurity has completed the audit of the BLOCKv smart contracts, which implement the VEE Token as well as the pool contracts that allocate tokens to contributors. You can review the complete audit report here.

Security Provider of eBitcoin

ChainSecurity is proud to announce that it has joined eBitcoin's ecosystem as a security provider. The eBitcoin Foundation has a growing team of over 70 people from around the world. With deep backgrounds of old economy mixed with blockchain, the community as a whole has the same goal: Make Cryptocurrency simple! ChainSecurity will help by auditing the smart contracts within the ecosystem in oder to provide security. More details are available here

PolicyPal Network Audit Completed

ChainSecurity has completed the audit for PolicyPal Network including those contracts that define the PolicyPal Network Token (PAL) and its corresponding token sale. PolicyPal Network aims to offer access to insurance protection in a wide range of industries through an Ethereum-based platform and a network of related applications within its own ecosystem. The token and the token sale have the required functionality and due to the good cooperation of PolicyPal Network and ChainSecurity, all detected issues were fixed. Feel free to read our complete audit report here.

HelloGold Audit Completed

ChainSecurity has completed the audit for the HelloGold Foundation including those contracts that constitute the HelloGold Token, the GoldBacked Token as well as the corresponding token sale. Based on these tokens HelloGold offers Ethereum users the chance to easily and in small quantities by gold. HelloGold's developer Dave Appleton also was kind enough to write a blog post about the audit from his perspective. Feel free to review the complete audit report here.

HydroMiner Audit Completed

We are happy to announce that we have successfully completed the audit with HydroMiner. They offer an exciting token based on green mining. More concretely, the token promises rewards based on hydro-powered mining of digital currencies. To achieve this, they leverage natural advantages in the Austrian Alps. During our audit no critical issues were found. Feel free to review the complete audit report here.

Cointed Bug Bounty Successfully Completed

The bug bounty in collaboration with Cointed has been successfully completed. There were a number of submitted issues. However, no critical issues were found. You can find the full result here. ChainSecurity was very happy in helping Cointed to judge and prioritize the submitted issues.

Bug Bounty in Collaboration with Cointed

We are excited to announce that we will be advising the Cointed Token Bug Bounty. Cointed already offers several services related to cryptocurrencies including a fast and convenient exchange. We had the pleasure of assisting them in the development of their Cointed Token Smart Contracts. As Cointed is going to great length to ensure the security of their smart contracts, they are now launching a bug bounty. You can find all the information about the bug bounty here.