ARCHIVE/xahaud
3
0
Fork 0
mirror of https://github.com/Xahau/xahaud.git synced 2026-08-24 00:40:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

test(rng): tier-2 mint sim — in-band cohort at n=6

Browse Source 
6 validators is the smallest non-degenerate tier-2 size (f=1, one-wide band {4}: tier2=4, quorum=5). Isolate 2 so the surviving 4-cohort is below the 80% quorum but at the tier-2 floor; it mints participant_aligned entropy (count 4), and all four agree on the same non-zero digest with branches==1 — no hang, no fork. Distributed confirmation of the selector ladder the unit tests already cover.
This commit is contained in:
Nicholas Dudfield
2026-06-15 17:48:53 +07:00
parent 8d43154061
commit a95306142e
1 changed files with 52 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

52
src/test/consensus/ConsensusRng_test.cpp
View File

@@ -219,6 +219,57 @@ public:
}
}
void
testRngTier2MintByBandCohort()
{
using namespace csf;
using namespace std::chrono;
testcase("RNG tier 2 minted by in-band aligned cohort");
// 6 validators — the smallest NON-degenerate tier-2 size: f=1 (one
// tolerated fault) and a one-wide band {4} (tier2=4, quorum=5). Isolate
// 2 so the surviving 4-validator cohort is below the 80% quorum but at
// the tier-2 floor. It mints participant_aligned entropy, and all four
// agree on the same non-zero digest — no hang, no fork.
ConsensusParms const parms{};
Sim sim;
PeerGroup cohort = sim.createGroup(4);
PeerGroup isolated = sim.createGroup(2);
PeerGroup network = cohort + isolated;
for (Peer* peer : network)
peer->ce().enableRngConsensus_ = true;
network.trust(network);
network.connect(
network, round<milliseconds>(0.2 * parms.ledgerGRANULARITY));
sim.run(1);
cohort.disconnect(isolated);
isolated.disconnect(cohort);
cohort.connect(
cohort, round<milliseconds>(0.2 * parms.ledgerGRANULARITY));
sim.run(2);
if (BEAST_EXPECT(sim.synchronized(cohort)))
{
BEAST_EXPECT(sim.branches(cohort) == 1);
for (Peer const* peer : cohort)
{
BEAST_EXPECT(!peer->ce().lastEntropyWasFallback_);
BEAST_EXPECT(peer->ce().lastEntropyTier_ == 2);
BEAST_EXPECT(peer->ce().lastEntropyCount_ == 4);
BEAST_EXPECT(peer->ce().lastEntropyDigest_ != uint256{});
BEAST_EXPECT(
peer->ce().lastEntropyDigest_ ==
cohort[0]->ce().lastEntropyDigest_);
}
}
}
void
testRngTimeoutWithPartialQuorum()
{
@@ -994,6 +1045,7 @@ public:
RUN(testRngCommitRevealConvergesWithTransactions);
RUN(testRngQuorumImpossibleFallsToTier2);
RUN(testRngPersistentLossDoesNotShrinkQuorum);
RUN(testRngTier2MintByBandCohort);
RUN(testRngTimeoutWithPartialQuorum);
RUN(testRngCommitSetConflictForcesFallback);
RUN(testRngObserverDoesNotExpectSelfCommit);