Audits

You can find on this page the list of audits done

The smart contract has 3 part: + The actual code + The point system + Frontend functions - eg return all the loans of a given user + The Tests

Essentially, the acutal code and the point system are in scope, while the frontend and the tests aren't. The LOC given here are based on the current code pushed here. The 1-474 lines of lib.cairo capture the interface and its implementation pub trait IMyCode.

Audit scope:

File	Lines	Content
lib.cairo	1 - 474 (474LOC)	The smart contract
utilities.cairo	Whole file (107 LOC)	Some utilities for the code
datastructure.cairo	Whole file (48 LOC)	The datastructures used
constants.cairo	Whole file (45 LOC)	Just some constants

NOT in scope:

File	Lines	Content
lib.cairo	475 - 591	Only reader functions, not used in the smart contract, only in the frontend
mock_erc20.cairo	Whole file	Is a mock erc20 contract. Only used in tests, not in the contract
tests/*	Every tests	Because these are tests

And the list of audits done so far:

Date	Auditor	Scope	Commit Hash - Start	Commit Hash - End	Link
June 2025	Todo	100%	6ca4e73	00cb14a	Todo