Duet Protocol Security Assessment Report Audited by Certik

Duet Protocol
3 min readJul 16, 2021

--

We are pleased to announce that Duet Protocol has successfully completed an audit by CertiK

Founded in 2017 by leading academics in the field of Computer Science from both Yale and ColumbiaUniversity, CertiK is a leading blockchain security company that serves to verify the security andcorrectness of smart contracts and blockchain-based protocols.

CertiK leads the 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.

This report was prepared to discover issues and vulnerabilities in the source code of the Duet Protocol project as well as any contract dependencies that were not part of an officially recognized library.

A comprehensive examination was performed, utilizing Static Analysis and Manual Review techniques.

The auditing process paid special attention to the following considerations:

🔰Testing the smart contracts against both common and uncommon attack vectors.

🔰Assessing the codebase to ensure compliance with current best practices and industry standards.

🔰Ensuring contract logic meets the specifications and intentions of the client.

🔰Cross referencing contract structure and implementation against similar smart contracts produced by industry leaders.

🔰Thorough line-by-line manual review of the entire codebase by industry experts.

In total 13 issues were found and all the major issues were resolved by the team and the minor issues were acknowledged.

The full audit report can be found under the link below:

About Duet Protocol:

Duet protocol (Duet) is a multi-chain synthetic asset protocol that enables on/off-ramp between traditional real assets and high-growth crypto assets.

A duet in music refers to a piece of music where two people play different parts or melodies. Similarly, Duet protocol allows traders to replicate the returns and the fluctuation of real-world tradable assets in a decentralised finance ecosystem.

For latest update and exciting new, stay tuned Duet

Facebook| Github| Medium| Telegram| Twitter | Website |Discord | YouTube

Free

Distraction-free reading. No ads.

Organize your knowledge with lists and highlights.

Tell your story. Find your audience.

Membership

Read member-only stories

Support writers you read most

Earn money for your writing

Listen to audio narrations

Read offline with the Medium app

--

--

Duet Protocol

Duet is world’s first multi-chain synthetic assets ecosystem, enabling pegged assets from various markets including stocks, indexes, ETFs, and commodities #web3