MakerDAO logo - ChainSecurity Smart Contract Audit

MakerDAO – Starknet Teleport

Security Audit

Download Audit Report

The most critical subjects covered in our audit are functional correctness, security and the users control over their own funds without having to trust third parties more than necessary. While the contracts overall implement the same functionality as their counterpart for Optimism/Arbitrum, the implementation and interfaces exposed differ.

Security regarding all the aforementioned subjects is high as the issues reported have been resolved. In summary, we find that the codebase provides a high level of security.

It is important to note that security audits are time-boxed and cannot uncover all vulnerabilities. They complement but don’t replace other vital measures to secure a project.

About MakerDAO – Starknet Teleport

The smart contracts implement an extension to integrate the Starknet DAI Bridge into Teleport which facilitates fast transfers of DAI between different L2/L1 called “domains”.

It was a pleasure working with ChainSecurity. They maintained clear and direct dialogue with us and we look forward to working with them on future Layer 2 solutions to help us scale and grow the DAI ecosystem.
Derek Flossman, Head of Protocol Engineering Core Unit (MakerDAO)