취약점 요약

Collateral Pool은 담보 예약(Collateral Reservation) 과정에서 Minter가 기한 내 지불을 실패하면, 예약 수수료(NAT 일부)를 받습니다.

이 수수료 중 일부는 풀(collateral pool)로 들어가지만, totalCollateral 변수에 반영되지 않습니다.

• 그 결과 풀 토큰 가격이 오르지 않음
• LP(유동성 공급자)들은 보상을 받지 못하고,
• 해당 수수료는 풀 파괴(destroy) 시점에 Agent owner에게만 돌아가게 됩니다.

알아야 하는 정보

• Collateral Reservation : Minter가 발행을 예약할 때 담보를 잠가두고 수수료를 냄.
• mintingPaymentDefault() : Minter가 지불 실패 시, 수수료를 Agent vault와 Pool에 분배.
• totalCollateral : 풀 토큰 가격 및 보상 분배 기준이 되는 내부 장부 수치.

문제 코드

1. 수수료 분배

CollateralReservations.mintingPaymentDefault()
// share collateral reservation fee between the agent's vault and pool
uint256 poolFeeShare =
    crt.reservationFeeNatWei.mulBips(agent.poolFeeShareBIPS);

Agents.getPoolWNat(agent).depositTo{value: poolFeeShare}(address(agent.collateralPool));
IIAgentVault(crt.agentVault).depositNat{value: crt.reservationFeeNatWei - poolFeeShare}();

• Pool 몫 수수료(poolFeeShare)는 WNat.depositTo()로 바로 풀 주소에 민팅.
• Vault 몫은 정상적으로 deposit 처리.