Main Invariants

  1. POWER totalVotingPowerdelegatesPOWER totalSupplyholdersPOWER\ totalVotingPower_{delegates} ≤POWER\ totalSupply_{holders}

  2. POWER votingPowerdelegatesPOWER balanceOfholders,at Voting epoch∑POWER\ votingPower_{delegates} ≥ ∑POWER\ balanceOf_{holders} , at \ Voting \ epoch

  3. POWER votingPowerdelegatesPOWER balanceOfholders,at Transfer epoch∑POWER \ votingPower_{delegates} ≥∑POWER \ balanceOf_{holders} , at \ Transfer \ epoch

  4. amountToAuctiont1=amountToAuctiont0+InflationinactiveParticipantsamountToAuction_{t1} =amountToAuction_{t0} + Inflation_{inactiveParticipants}

Last updated

Copyright 2024 M^0 Foundation