Compilation

The project is composed of barebones contracts without the utilization of a framework and as such, compilation was achieved by porting the codebase to a barebones hardhat installation.

We advise the Moby team to port the codebase to a properly compilation framework and introduce several test suites to validate the codebase's operation, as indicated in the audit report's summary.

We observed discrepancies in the pragma statements throughout the contracts; we advise a proper dependency system to be employed, and all internal implementations of the Options Market to be set at a fixed pragma version (i.e. =0.8.16).