Certik Completes Twinci Audit | Twinci
Back to top
Certik Completes Twinci Audit
5/23/2021, written by News

Understanding that safety is one of the factors of a trust-worthy and long-lasting decentralized project, Twinci have worked with Certik, a leading blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance.

Certik.io has completed a full Smartcontract-analysis of Twinci with no major issues found.

 

Certik

Certik conducts rigorous security updates on blockchain protocols in order to find and address security issues. They have worked with many partners in the space and have a deep understanding of the industry.

 

 

Overview

Certik team has found 4 minor issues in Information, all of which were about maximizing Gas Optimization to save gas fee. There were no show-stoppers or issues that required radical changes to Twinci.

The full report can be found at the following link: CertiK-Audit-Report-for-Twinci

Certik's Summary on Twinci (In process): https://www.certik.org/projects/twinci

 

Recommendations

The team found Certik to be a thorough, professional and prompt audit partner and make full recommendations for other projects to engage with them.

 

Next Audit

We are going to push the safety and security even more by continuing to keep our standards and work with other auditing companies in the near future.