From e529d37c4c9a58e7b50ef2fc8297784b28eb76d5 Mon Sep 17 00:00:00 2001 From: Brian W Bush Date: Thu, 8 Feb 2024 05:50:36 -0700 Subject: [PATCH] Added note about voting rules to `random-fork`. --- random-forks/src/Peras/RandomForks/Peer.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/random-forks/src/Peras/RandomForks/Peer.hs b/random-forks/src/Peras/RandomForks/Peer.hs index c85e78db..1584b29c 100644 --- a/random-forks/src/Peras/RandomForks/Peer.hs +++ b/random-forks/src/Peras/RandomForks/Peer.hs @@ -91,7 +91,7 @@ nextSlot gen protocol@Protocol{roundDuration, votingWindow} slot name state@Peer vrfOutput = vrfOutput' , slotLeader = slotLeader' , committeeMember = committeeMember' - , preferredChain = if committeeMember' && slot `mod` roundDuration == 0 + , preferredChain = if committeeMember' && slot `mod` roundDuration == 0 -- FIXME: Not faithful to the Peras voting rules. then recordVote (slot `div` roundDuration) name (slot - snd votingWindow, slot - fst votingWindow) preferredChain'' else preferredChain'' , danglingVotes = danglingVotes'