HBBFT - POSDAO Smart Contracts

Implementation of the HBBFT-POSDAO consensus algorithm in Solidity, suited for the needs of the DMD Diamond Blockchain https://github.com/DMDcoin/whitepaper/wiki

About

POSDAO is a Proof-of-Stake (POS) algorithm implemented as a decentralized autonomous organization (DAO). It is designed to provide a decentralized, fair, and energy efficient consensus for public chains. The algorithm works as a set of smart contracts written in Solidity. It is designed to work together with a Honeybadger BFT (HBBFT) consensus algoritm, which is leaderless and with instant finality. It incentivizes actors to behave in the best interests of a network.

The algorithm provides a Sybil control mechanism for reporting malicious validators and adjusting their stake, distributing a block reward, and managing a set of validators.

POSDAO Repositories and Resources

• White paper https://github.com/DMDcoin/whitepaper/wiki

Smart Contract Summaries

Note: The following descriptions are for HBBFT contracts only. There is also an AuRa implementation that can be found here. All contracts are located in the contracts directory.

• BlockRewardHbbft: generates and distributes rewards according to the logic and formulas described in the white paper. Main features include:

  • mints native coins;
  • makes a snapshot of the validators stakes at the beginning of each staking epoch. That snapshot is used by the StakingHbbft.claimReward function to transfer rewards to validators and their delegators. Check also the BlockRewardHbbft call graph.

• Certifier: allows validators to use a zero gas price for their service transactions (see Parity Wiki for more info). The following functions are considered service transactions:

  • ValidatorSetHbbft.reportMalicious
  • KeyGenHistory.writeAck
  • KeyGenHistory.writePart

• RandomHbbft: stores random numbers written by the HBBFT engine. Random numbers are used to form a new validator set at the beginning of each staking epoch by the ValidatorSet contract. There are two key functions:

  • setCurrentSeed. This is a setter that can only be called by the HBBFT engine in order to set the newly generated random number that is gonna be used for the new validator set selection.
  • currentSeed. This public getter is used by the ValidatorSetHbbft contract at a predefined block of each staking epoch to get the accumulated random seed for randomly choosing new validators among active pools. It can also be used by anyone who wants to use the network's random seed.

• StakingHbbft: contains staking logic including:

  • creating, storing, and removing pools by candidates and validators;
  • staking coins by participants (delegators, candidates, or validators) into the pools;
  • storing participants’ stakes;
  • withdrawing coins and rewards by participants from the pools;
  • moving coins between pools by participant. Check also the StakingHbbft call graph.

• TxPermission: controls the use of zero gas price by validators in service transactions, protecting the network against "transaction spamming" by malicious validators. The protection logic is declared in the allowedTxTypes function.

• ValidatorSetHbbft: stores the current validator set and contains the logic for choosing new validators at the beginning of each staking epoch. The logic uses a random seed stored in the RandomHbbft contract. Also, ValidatorSetHbbft is responsible for discovering and removing malicious validators. This contract is based on reporting ValidatorSet described in Parity Wiki. Check also the ValidatorSetHbbft call graph.

• BonusScoreSystem: Handles the Bonus Scores that validators collect during their supportive phases.

• ConnectivityTrackerHbbft: Tracks the notifications of individual nodes in order to handle Early Epoch Ends if the network has to many nodes that became disconnected.

• KeyGenHistory: Manages the treshhold encryption shared key generation, required for epoch switches in order to pass the leadership to a new set of validators.

• ValueGuards: Manages valid ranges for changes of Ecosystem Parameter changes.

Usage

Install Dependencies

$ npm install

Testing

To run unit tests:

$ npm run test 

Flatten

Flattened contracts can be used to verify the contract code in a block explorer like BlockScout or Etherscan. See https://docs.blockscout.com/for-users/smart-contract-interaction/verifying-a-smart-contract for Blockscout verification instructions.

To prepare flattened version of the contracts:

$ npm run flat

Once flattened, the contracts are available in the flat directory.

Contributing

See the CONTRIBUTING document for contribution, testing and pull request protocol.

License

Licensed under either of:

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.