[EVM-736]: Quorum calculation discrepancy between SC and Edge

[goran-ethernal]

Description

Quorum was not calculated correctly according to the IBFT paper. It was calculated by ceiling the 2*totalVotingPower/3. For example, if we have total voting power of 6, where each validator has one token staked, than:

CEILING(2*6/3) = 4 -> 2 faulty -> WRONG
FLOOR(2*6/3) + 1 = 5 -> 1 faulty -> CORRECT

Since Edge Supernets is in release, this is added through a hard fork, called quorumcalcalignment. If chain is deployed from scratch, this fork is enabled by default from 0 block. If supernet is already running on an older version, users need to add quorumcalcalignment fork to genesis.json file, specify a block from which it is active, and restart the nodes.

Changes include

• Bugfix (non-breaking change that solves an issue)
• Hotfix (change that solves an urgent issue, and requires immediate attention)
• New feature (non-breaking change that adds functionality)
• Breaking change (change that is not backwards-compatible and/or changes current functionality)

Checklist

• I have assigned this PR to myself
• I have added at least 1 reviewer
• I have added the relevant labels
• I have updated the official documentation
• I have added sufficient documentation in code

Testing

• I have tested this code with the official test suite
• I have tested this code manually

[goran-ethernal]

Tagging @DannyS03 to document the new fork on Edge that fixes the quorum calculation bug.