Manual Review

A thorough line-by-line review was conducted on the codebase to identify potential malfunctions and vulnerabilities in Sova Network's Fountfi protocol.

As the project at hand implements a RWA tokenization system, intricate care was put into ensuring that the flow of funds within the system conforms to the specifications and restrictions laid forth within the protocol's specification.

We validated that all state transitions of the system occur within sane criteria and that all rudimentary formulas within the system execute as expected. We pinpointed multiple significant vulnerabilities within the system which could have had severe ramifications to its overall operation; for more information, kindly consult the audit report's summary as well as the dedicated medium severity and above exhibits contained therein.

Additionally, the system was investigated for any other commonly present attack vectors such as re-entrancy attacks, mathematical truncations, logical flaws and ERC / EIP standard inconsistencies. The documentation of the project was satisfactory to a certain extent, however, we strongly recommend it to be expanded at certain complex points such as the unknown strategy implementations meant to integrate with the system.

A total of 39 findings were identified over the course of the manual review of which 9 findings concerned the behaviour and security of the system. The non-security related findings, such as optimizations, are included in the separate Code Style chapter.

The finding table below enumerates all these security / behavioural findings:

ID	Severity	Addressed	Title
GME-01M			Inexistent Strategy Integration
GME-02M			Insecure Type Casting
GME-03M			Inexistent Slippage Protection
MWR-01M			Incorrect Order of Operations
MWW-01M			Cross-Chain Replay Attack Susceptible Domain Separator
POR-01M			Immediate Adjustment of Share Price
RYR-01M			Strategy Token Impersonation Attack
REE-01M			Inexistent Truncation of Active ID Array
REE-02M			Inexistent Hook Access Control