sim-rs: validate TXs during voting

Author: SupernaviX

sim-rs/sim-core/src/model.rs

@@ -214,6 +214,7 @@ pub enum NoVoteReason {
     ExtraIB,
     MissingIB,
     MissingEB,
+    ExtraTX,
     UncertifiedEBReference,
 }
 

sim-rs/sim-core/src/sim/node.rs

@@ -1462,6 +1462,12 @@ impl Node {
         let expected_ib_pipelines: HashSet<u64> =
             self.pipelines_for_ib_references(eb.pipeline).collect();
 
+        for tx in &eb.txs {
+            if !matches!(self.txs.get(tx), Some(TransactionView::Received(_))) {
+                return Err(NoVoteReason::ExtraTX);
+            }
+        }
+
         for ib in &eb.ibs {
             if !matches!(self.leios.ibs.get(ib), Some(InputBlockState::Received(_))) {
                 return Err(NoVoteReason::MissingIB);