The project was previously audited by Trail of Bits and Hats Finance.