Summary
The most critical subjects covered in our audit are adherence to the original codebase, access control, and correctness of the new features. In the latest reviewed version, all issues have been resolved and security regarding all the aforementioned subjects is high.
The general subjects covered are upgradeability and secure integration with oracles. After the redesign of WBTCPriceFeed, 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 Uncap Finance
Uncap Finance implements a BTC backed stablecoin on Starknet. It forks the Liquity v2 stablecoin mechanism, re-implementing it in the Cairo language.