Restrict voting during bootstrap phase

eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Gov.hs

@@ -283,6 +283,21 @@ checkVotersAreValid currentEpoch committeeState votes =
       DRepVoter {} -> isDRepVotingAllowed (gasAction gas)
       StakePoolVoter {} -> isStakePoolVotingAllowed (gasAction gas)
 
+checkBootstrapVotes ::
+  forall era.
+  EraPParams era =>
+  PParams era ->
+  [(Voter (EraCrypto era), GovActionState era)] ->
+  Test (ConwayGovPredFailure era)
+checkBootstrapVotes pp votes
+  | HF.bootstrapPhase (pp ^. ppProtocolVersionL) =
+      checkDisallowedVotes votes DisallowedVotesDuringBootstrap $ \gas ->
+        \case
+          DRepVoter {} | gasAction gas == InfoAction -> True
+          DRepVoter {} -> False
+          _ -> isBootstrapAction $ gasAction gas
+  | otherwise = pure ()
+
 actionWellFormed :: ConwayEraPParams era => GovAction era -> Test (ConwayGovPredFailure era)
 actionWellFormed ga = failureUnless isWellFormed $ MalformedProposal ga
   where
@@ -439,7 +454,9 @@ govTransition = do
           ([], [])
           votingProcedures
       curGovActionIds = proposalsActionsMap proposals
+
   failOnNonEmpty unknownGovActionIds GovActionsDoNotExist
+  runTest $ checkBootstrapVotes pp knownVotes
   runTest $ checkVotesAreNotForExpiredActions currentEpoch knownVotes
   runTest $ checkVotersAreValid currentEpoch committeeState knownVotes
 
@@ -472,7 +489,6 @@ checkDisallowedVotes votes failure canBeVotedOnBy =
     disallowedVotes =
       [(voter, gasId gas) | (voter, gas) <- votes, not (gas `canBeVotedOnBy` voter)]
 
-
 -- | If the GovAction is a HardFork, then return 3 things (if they exist)
 -- 1) The (StrictMaybe GovPurposeId), pointed to by the HardFork proposal
 -- 2) The proposed ProtVer