Voltz Protocol
Summary
During the course of this audit we have found a few issues spanning medium, low, informational, and undetermined severity levels. Notably, there is one issue that we classified as medium severity and it's related to the condition that triggers a margin requirement check. Furthermore, we included some of the findings reported by Slither. We recommend addressing all the findings. Overall, the code and the test suite appear to be of high quality, however, the project is very complex due to the large number of non-trivial calculations. Although we haven't found high-severity issues, we still consider the project risky in the sense that it is novel and contains intricate logic. **Update:** the team has addressed all of the issues. During the course of the reaudit the team asked us to review `PR#110` and `PR#112` which are included in commit `56d1da5`. It is important to note, however, that besides the two PRs, no other new code has been reviewed.
