The most critical subjects covered in our audit are functional correctness, access control, and integration with external protocols. One high-severity issue was found in GatedRedemptionQueueSharesWrapper, where a user can purposefully front-run a depositFromQueue call and make another user who made a deposit request lose their funds. All the issues have been addressed. The general subjects covered are code complexity, upgradeability, and documentation. 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.