Assessment reportsPublic findings
Back to Zellic site
↗
Assessment reports>Anzen and protocol-v2>Threat Model>Function: broadcastTotalSupply(uint256[] calldata chainIds)
GeneralOverview
Findings
High (1)
Medium (3)
Low (2)
Informational (4)
DiscussionLack of test flows
Threat ModelWhat are threat models?AnzenGaugeControllerBaseUpg.solAnzenVotingControllerUpg.solLockedUsdzMarket.solLockingToken.solMainnetUSDzMarket.solStakePool.sol
VotingEscrowAnzenMainchain.solFunction: broadcastTotalSupply(uint256[] calldata chainIds)Function: broadcastUserPosition(address user, uint256[] calldata chainIds)Function: increaseLockPosition(uint128 additionalAmountToLock, uint128 newExpiry)Function: increaseLockPositionAndBroadcast(uint128 additionalAmountToLock, uint128 newExpiry, uint256[] calldata chainIds)Function: withdraw()
VotingEscrowAnzenSidechain.solVotingResultBroadcaster.sol
Audit ResultsAssessment Results

Function: broadcastTotalSupply(uint256[] calldata chainIds)

The function broadcasts the updated total-supply information across the specified chain IDs.

Inputs

  • chainIds

    • Control: Arbitrary.

    • Constraints: Must be nonempty and supported chain IDs.

    • Impact: The parameter specifies the chains to broadcast the total supply update.

Branches and code coverage

Intended branches

  • Update and broadcast the total supply across specified chains.

Negative behavior

  • Revert if chainIds is empty.

  • Revert if elements of chainIds are not in destinationContracts.

Zellic © 2025Back to top ↑