Behold the financial contract, a mystical artifact enabling users to cast spells of loans, deposit enchanted collateral, summon rewards, and engage in the arcane governance of the system !
In this unique collaboration with Zealynx Security you are tasked with sharpening up your fuzzing sorceries and use foundry fuzz testing to uncover the possibility of financial bugs within the contract.
This time, the winning condition will be defined by the most accurate description of how you used fuzz testing to demonstrate financial bugs within the contract. These are the tests you should be writing:
-
testFuzzCalculateInterest: A test to ensure that the calculation functions return correct values.
-
testPrecisionLoss: A test to ensure that there isn't a chance of precision loss within the contract.
-
testFuzzCalculateReward: A test to ensure that the calculation functions return correct values.
Bonus points - any other vulnerability discovered that is demonstrated by fuzzing.
Correctly finding the 3 issues will unlock a commemorative badge in Audit Wizard, which will be added to your auditor profile!
Zealynx Security, founded in January 2024 by Bloqarl and Sergio, specializes in smart contract audits, development, and security testing using Solidity and Rust. Their services include comprehensive smart contract audits, smart contract fuzzing, and formal verification test suites to enhance security reviews and ensure robust contract functionality.
They have an educational repository where they are organizing all types of resources, notes, and videos to help you continue learning about these technologies, as well as the YouTube channel where you can learn a lot about fuzzing and various tools.
