Omniscia Bluejay Finance Audit
Bond Implementation Security Audit
Audit Overview
We were tasked with auditing the codebase of Bluejay Finance and in particular their unique bond and algorithmic token implementation based on the Olympus DAO protocol with a novel price stabilization mechanism interfacing with both TWAP and Chainlink oracle types.
Over the course of the audit, we identified certain race conditions that can materialize, a deviation from the EIP-20 standard in the Staked Token implementation as well as multiple centralization concerns that have been outlined in detail within the report.
We advise the Bluejay Finance team to provide an alleviation for all our minor-and-higher severity findings as well as consider all informational level exhibits to increase the legibility, optimization, and overall quality of the codebase.
Post-Audit Conclusion
The Bluejay Finance team provided adequate responses for each exhibit identified and produced a response document detailing why some exhibits remained undealt with at the code level.
Additionally, all optimizational exhibits were considered by the Bluejay Finance team and all were assimilated into the codebase as advised, greatly optimizing its overall operational gas cost.
Contracts Assessed
Audit Synopsis
Severity | Identified | Alleviated | Partially Alleviated | Acknowledged |
---|---|---|---|---|
0 | 0 | 0 | 0 | |
27 | 27 | 0 | 0 | |
13 | 9 | 0 | 4 | |
8 | 8 | 0 | 0 | |
2 | 2 | 0 | 0 |
During the audit, we filtered and validated a total of 10 findings utilizing static analysis tools as well as identified a total of 40 findings during the manual review of the codebase. We strongly recommend that any minor severity or higher findings are dealt with promptly prior to the project's launch as they introduce potential misbehaviours of the system as well as exploits.
The list below covers each segment of the audit in depth and links to the respective chapter of the report: