Summary

There are a few inconsistencies between the Solidity and the Huff versions of the HorseStore contracts.

The following are not implemented in the Huff version:

• safeTransferFrom(): this function is completely missing. Only transferFrom() is available.

• tokenOfOwnerByIndex(): this function is completely missing

• tokenByIndex(): this function is completely missing

• _safeMint(): meaning the logic to check whether the recipient can manage ERC721s is not implemented (even though it is present in the Solidity version).

Impact

Users of the Huff version will not be able to use the mentioned functions.

Tools Used

Foundry and manual analysis.

Recommendations

It is recommended to implement the functions above to make sure the Solidity and Huff versions are equivalent.