Project Information
CATEGORY
Smart Contracts
NETWORK
Ethereum
WEBSITE
https://parallel.fi/
DESCRIPTION
From Dec. 12 to Dec. 24, Parallel engaged Veridise to review the security of their Para-Space NFT Money Market. The review covered the on-chain contracts that implement the protocol logic. Veridise conducted the assessment over 4 person-weeks, with 2 engineers reviewing code over 2 weeks. The auditing strategy involved a tool-assisted analysis of the source code performed by Veridise engineers as well as extensive manual auditing.
Audit Report
SCOPE
This audit reviewed the on-chain behaviors contained in the following files of the ParaSpace NFT Money Market. As such, Veridise auditors first reviewed the provided documentation to understand the desired behavior of the protocol as a whole. Then, the auditors inspected the provided tests to better understand the intended behavior of the provided contracts at a more granular level. Finally, auditors began a multi-week manual audit of the code assisted by both static analyzers and automated testing.