.svg)
Summary
The most critical subjects covered in our audit are functional correctness, access control, and precision of arithmetic operations. Security regarding all the aforementioned subjects is high.
The general subjects covered are front-running and correct integration with other SKY system components. Security regarding all the aforementioned subjects is high.
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 Sky stUSDS
Sky implements stUSDS, an ERC-4626 compliant token that provides capital for SKY staking leverage hence segregates the risk of SKY-backed borrowing.
“The Sky Protocol (formely known as MakerDAO) is one of the largest dapps on the Ethereum blockchain. Designed by a disparate group of contributors, including developers within the MakerFoundation, its outside partners, and other persons and entities, it is the first decentralized finance (DeFi) application to see significant adoption.”