DatingDapp

AI First Flight #6
Beginner FriendlyFoundrySolidityNFT
EXP
View results
Submission Details
Severity: high
Valid

User Balances Never Updated - All User Funds Lost

Root + Impact

Description


The `likeUser()` function accepts 1 ETH payments from users but never updates the `userBalances` mapping. When users send ETH to like someone, the funds remain in the contract but are not tracked. When a match occurs, the `matchRewards()` function attempts to retrieve user balances, but since they were never set, it always retrieves 0, resulting in the multisig wallet receiving 0 ETH instead of the accumulated funds.

```solidity

function likeUser(address liked) external payable {

require(msg.value >= 1 ether, "Must send at least 1 ETH");

require(!likes[msg.sender][liked], "Already liked");

require(msg.sender != liked, "Cannot like yourself");

require(profileNFT.profileToToken(msg.sender) != 0, "Must have a profile NFT");

require(profileNFT.profileToToken(liked) != 0, "Liked user must have a profile NFT");

likes[msg.sender][liked] = true;

emit Liked(msg.sender, liked);

// Check if mutual like

if (likes[liked][msg.sender]) {

matches[msg.sender].push(liked);

matches[liked].push(msg.sender);

emit Matched(msg.sender, liked);

matchRewards(liked, msg.sender);

}

// @> MISSING: userBalances[msg.sender] += msg.value;

}

```

### Root Cause

The `userBalances` mapping is declared but never incremented when users send ETH. The contract receives the ETH but doesn't track it per user.

```solidity

mapping(address => uint256) public userBalances; // @> Declared but never updated

```

When `matchRewards()` is called, it reads from this mapping:

```solidity

function matchRewards(address from, address to) internal {

uint256 matchUserOne = userBalances[from]; // @> Always returns 0

uint256 matchUserTwo = userBalances[to]; // @> Always returns 0

// ...

}

```

Risk

Likelihood:

  • * This occurs on every `likeUser()` call - users send ETH but balances are never tracked

    * When matches occur, the function always processes 0 balances, so this happens 100% of the time when mutual likes occur

Impact:

  • I* All user funds sent to the contract are effectively lost or stuck

    * Matched users receive 0 ETH in their multisig wallet instead of their accumulated funds

    * The core functionality of the protocol is completely broken

    * Users lose their 1 ETH payments with no way to re

Proof of Concept

```solidity
// User A likes User B with 1 ETH
likeRegistry.likeUser{value: 1 ether}(userB);
// userBalances[userA] is still 0, not 1 ether
// User B likes User A with 1 ETH (mutual match)
likeRegistry.likeUser{value: 1 ether}(userA);
// userBalances[userB] is still 0, not 1 ether
// matchRewards() is called, but both balances are 0
// Multisig receives 0 ETH instead of 1.8 ETH (2 ETH - 10% fee)
```

Recommended Mitigation

```diff
function likeUser(address liked) external payable {
require(msg.value >= 1 ether, "Must send at least 1 ETH");
require(!likes[msg.sender][liked], "Already liked");
require(msg.sender != liked, "Cannot like yourself");
require(profileNFT.profileToToken(msg.sender) != 0, "Must have a profile NFT");
require(profileNFT.profileToToken(liked) != 0, "Liked user must have a profile NFT");
+ userBalances[msg.sender] += msg.value;
likes[msg.sender][liked] = true;
emit Liked(msg.sender, liked);
// Check if mutual like
if (likes[liked][msg.sender]) {
matches[msg.sender].push(liked);
matches[liked].push(msg.sender);
emit Matched(msg.sender, liked);
matchRewards(liked, msg.sender);
}
}
```
Updates

Lead Judging Commences

ai-first-flight-judge Lead Judge 16 days ago
Submission Judgement Published
Validated
Assigned finding tags:

[H-01] After the user calls the `likeUser` function, the userBalance does not increase by the corresponding value.

## Description User A calls `likeUser` and sends `value > 1` ETH. According to the design of DatingDapp, the amount for user A should be accumulated by `userBalances`. Otherwise, in the subsequent calculations, the balance for each user will be 0. ## Vulnerability Details When User A calls `likeUser`, the accumulation of `userBalances` is not performed. ```solidity function likeUser( address liked ) external payable { require(msg.value >= 1 ether, "Must send at least 1 ETH"); require(!likes[msg.sender][liked], "Already liked"); require(msg.sender != liked, "Cannot like yourself"); require(profileNFT.profileToToken(msg.sender) != 0, "Must have a profile NFT"); require(profileNFT.profileToToken(liked) != 0, "Liked user must have a profile NFT"); likes[msg.sender][liked] = true; emit Liked(msg.sender, liked); // Check if mutual like if (likes[liked][msg.sender]) { matches[msg.sender].push(liked); matches[liked].push(msg.sender); emit Matched(msg.sender, liked); matchRewards(liked, msg.sender); } } ``` This will result in `totalRewards` always being 0, affecting all subsequent calculations: ```solidity uint256 totalRewards = matchUserOne + matchUserTwo; uint256 matchingFees = (totalRewards * FIXEDFEE ) / 100; uint256 rewards = totalRewards - matchingFees; totalFees += matchingFees; ``` ## POC ```solidity function testUserBalanceshouldIncreaseAfterLike() public { vm.prank(user1); likeRegistry.likeUser{value: 20 ether}(user2); assertEq(likeRegistry.userBalances(user1), 20 ether, "User1 balance should be 20 ether"); } ``` Then we will get an error: ```shell [FAIL: User1 balance should be 20 ether: 0 != 20000000000000000000] ``` ## Impact - Users will be unable to receive rewards. - The contract owner will also be unable to withdraw ETH from the contract. ## Recommendations Add processing for `userBalances` in the `likeUser` function: ```diff function likeUser( address liked ) external payable { require(msg.value >= 1 ether, "Must send at least 1 ETH"); require(!likes[msg.sender][liked], "Already liked"); require(msg.sender != liked, "Cannot like yourself"); require(profileNFT.profileToToken(msg.sender) != 0, "Must have a profile NFT"); require(profileNFT.profileToToken(liked) != 0, "Liked user must have a profile NFT"); likes[msg.sender][liked] = true; + userBalances[msg.sender] += msg.value; emit Liked(msg.sender, liked); [...] } ```

Support

FAQs

Can't find an answer? Chat with us on Discord, Twitter or Linkedin.

Give us feedback!