Search

Search for projects by name or address

Hyperliquid logo
Hyperliquid

Badges

About

Hyperliquid is a performant exchange with its main bridge on Arbitrum. It uses a custom consensus algorithm called HyperBFT.


  • Total Value SecuredTVS
    No data
  • Past day UOPSDaily UOPS
    No data
  • Type
    Other
  • Purpose
    Exchange

  • Host chain
    Arbitrum One

  • Tokens breakdown

    Value secured breakdown

    View TVS breakdown
    Sequencer failureState validationData availabilityExit windowProposer failure

    Badges

    About

    Hyperliquid is a performant exchange with its main bridge on Arbitrum. It uses a custom consensus algorithm called HyperBFT.

    Why is the project listed in others?

    The proof system isn't fully functional

    Consequence: projects without a proper proof system fully rely on single entities to safely update the state. A malicious proposer can finalize an invalid state, which can cause loss of funds.

    There is no data availability bridge

    Consequence: projects without a data availability bridge fully rely on single entities (the sequencer) to honestly rely available data roots on Ethereum. A malicious sequencer can collude with the proposer to finalize an unavailable state, which can cause loss of funds.

    Learn more about the recategorisation here.

    There are 3 additional risks coming from the host chain Arbitrum One logoArbitrum One
    The L3 risks depend on the individual properties of L3 and those of the host chain combined.
    SEQUENCER
    FAILURE
    STATE
    VALIDATION
    DATA
    AVAILABILITY
    EXIT WINDOWPROPOSER
    FAILURE
    Arbitrum One
    L2
    Self sequenceFraud proofs (INT)Onchain10dSelf propose
    Hyperliquid
    L3 • Individual
    No mechanismNoneExternalNoneCannot withdraw
    Hyperliquid
    L3 • Combined
    No mechanismNoneExternalNoneCannot withdraw
    L2 & L3 individual risks
    Sequencer failureState validationData availabilityExit windowProposer failure
    L3 combined risks
    Sequencer failureState validationData availabilityExit windowProposer failure

    L3 combined risks
    The information below reflects combined L2 & L3 risks.
    Sequencer failure
    No mechanism

    There is no mechanism to have transactions be included if the sequencer is down or censoring.

    State validation
    None

    Currently the system permits invalid state roots. More details in project overview.

    Data availability
    External

    Proof construction and state derivation rely fully on data that is ultimately NOT published on Ethereum.

    Exit window
    None

    There is no window for users to exit in case of an unwanted regular upgrade since contracts are instantly upgradable.

    Proposer failure
    Cannot withdraw

    Only the whitelisted proposers can publish state roots on L1, so in the event of failure the withdrawals are frozen.

    No state validation

    Hyperliquid does not use a proof system to validate state transitions on Arbitrum. Withdrawals are externally verified by the permissioned validator set.

    • Funds can be stolen if the permissioned validator majority signs an invalid withdrawal request (CRITICAL).

    • Funds can be frozen if the permissioned validator set stops processing withdrawals (CRITICAL).

    The section considers only the L3 properties. For more details please refer to Arbitrum One logoArbitrum One

    The system has a centralized operator

    Hyperliquid is composed of two sets of permissioned validators: a “hot” validator set and a “cold” validator set. The hot validator set is responsible for initiating withdrawals upon user requests, while cold validators can invalidate them during the 200s challenge period and rotate validator sets after an emergency pause. Both sets are currently composed of 4 validators with equal power. The system accepts a request if signed by 2/3+1 of validator power.

    • MEV can be extracted if the operator exploits their centralized position and frontruns user transactions.

    • Funds can be stolen if the permissioned validator majority signs an invalid withdrawal request (CRITICAL).

    • Funds can be frozen if the permissioned validator set stops processing withdrawals (CRITICAL).

    • Funds can be frozen if the permissioned lockers maliciously pause the bridge.

    • Funds can be stolen if the permissioned finalizers don't finalize withdrawals.

    1. Bridge2 - Hyperliquid docs
    2. Bridge2 contract: function checkValidatorSignatures()
    A dashboard to explore contracts and permissions
    Go to Disco
    Disco UI Banner

    Arbitrum One

    Roles:

    Hot Validator (4)EOA 1EOA 2EOA 6EOA 8

    Can request withdrawals, start a validator set change, add lockers and finalizers (Can also change cold validators by adding a finalizer and proposing/finalizing a new validator set).

    Cold Validator (4)EOA 3EOA 4EOA 5EOA 7

    Can change the dispute period, block duration and locker threshold. Can also invalidate withdrawals, emergencyUnlock (unpause and change the validator set), remove lockers and finalizers.

    Actors:

    • Can interact with HyperliquidBridge
      • finalize withdrawals, finalize validator set updates
      • vote for locking the bridge contract
    • A Hot Validator - acting directly
    • Can interact with HyperliquidBridge
      • finalize withdrawals, finalize validator set updates
      • vote for locking the bridge contract
    A dashboard to explore contracts and permissions
    Go to Disco
    Disco UI Banner
    A diagram of the smart contract architecture
    A diagram of the smart contract architecture

    Arbitrum One

    HyperliquidBridge
    Escrow
    0x2Df1…3dF7

    Single contract containing the logic for the Hyperliquid bridge. It manages deposits, withdrawals, the hot and cold validator sets, as well as the lockers, finalizers, and all the permissioned functions. The current locker threshold is 2 and the minimum validator threshold is 2/3*4.

    • Roles:
      • coldAddresses: EOA 3, EOA 4, EOA 5, EOA 7
      • finalizers: EOA 1, EOA 2, EOA 6, EOA 8, EOA 9
      • hotAddresses: EOA 1, EOA 2, EOA 6, EOA 8
      • lockers: EOA 1, EOA 2, EOA 6, EOA 8, EOA 9
    The following tokens are included in the value secured calculation:
    USDC token logo