Variant: linear leios with TX references

Author: SupernaviX

data/simulation/config.d.ts

@@ -300,6 +300,8 @@ export enum LeiosVariant {
   FullWithTXReferences = "full-with-tx-references",
   /** Linear Leios: Leios with as little concurrency as possible. */
   Linear = "linear",
+  /** Linear Leios, but blocks include transaction references instead of full TXs */
+  LinearWithTxReferences = "linear-with-tx-references",
 }
 
 export enum MempoolSamplingStrategy {

data/simulation/config.default.yaml

@@ -38,6 +38,7 @@ praos-fallback-enabled: true
 
 linear-vote-stage-length-slots: 5
 linear-diffuse-stage-length-slots: 5
+store-txs-as-references: false
 
 ################################################################################
 # Transaction Configuration

data/simulation/config.schema.json

@@ -78,7 +78,8 @@
         "full",
         "full-without-ibs",
         "full-with-tx-references",
-        "linear"
+        "linear",
+        "linear-with-tx-references"
       ],
       "type": "string"
     },

data/simulation/variants/config.linear-with-tx-references.yaml

@@ -0,0 +1 @@
+leios-variant: linear-with-tx-references

sim-rs/parameters/linear-with-tx-references.yaml

@@ -0,0 +1,2 @@
+leios-variant: linear-with-tx-references
+timestamp-resolution-ms: 0.05

sim-rs/sim-core/src/config.rs

@@ -159,6 +159,7 @@ pub enum LeiosVariant {
     FullWithoutIbs,
     FullWithTxReferences,
     Linear,
+    LinearWithTxReferences,
 }
 
 #[derive(Debug, Copy, Clone, Deserialize, PartialEq, Eq)]
@@ -429,7 +430,11 @@ impl BlockSizeConfig {
     }
 
     pub fn linear_eb(&self, txs: &[Arc<Transaction>]) -> u64 {
-        self.eb_constant + txs.iter().map(|tx| tx.bytes).sum::<u64>()
+        let body_size = match self.variant {
+            LeiosVariant::LinearWithTxReferences => txs.len() as u64 * self.eb_per_ib,
+            _ => txs.iter().map(|tx| tx.bytes).sum::<u64>(),
+        };
+        self.eb_constant + body_size
     }
 
     pub fn vote_bundle(&self, ebs: usize) -> u64 {

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

@@ -84,7 +84,7 @@ impl Simulation {
         let clock = clock_coordinator.clock();
 
         let (network, nodes, tx_producer) = match config.variant {
-            LeiosVariant::Linear => Self::init(
+            LeiosVariant::Linear | LeiosVariant::LinearWithTxReferences => Self::init(
                 &config,
                 &tracker,
                 &clock,

sim-rs/sim-core/src/sim/leios.rs

@@ -870,7 +870,9 @@ impl LeiosNode {
             | LeiosVariant::FullWithoutIbs
             | LeiosVariant::FullWithTxReferences => candidates
                 .max_by_key(|(eb, age, votes)| (Reverse(*age), self.count_txs_in_eb(eb), *votes))?,
-            LeiosVariant::Linear => unreachable!("wrong implementation"),
+            LeiosVariant::Linear | LeiosVariant::LinearWithTxReferences => {
+                unreachable!("wrong implementation")
+            }
         };
 
         let votes = self.leios.votes_by_eb.get(&block)?.clone();

sim-rs/sim-core/src/sim/linear_leios.rs

@@ -10,8 +10,8 @@ use rand_chacha::ChaChaRng;
 use crate::{
     clock::{Clock, Timestamp},
     config::{
-        CpuTimeConfig, MempoolSamplingStrategy, NodeConfiguration, NodeId, RelayStrategy,
-        SimConfiguration, TransactionConfig,
+        CpuTimeConfig, LeiosVariant, MempoolSamplingStrategy, NodeConfiguration, NodeId,
+        RelayStrategy, SimConfiguration, TransactionConfig,
     },
     events::EventTracker,
     model::{
@@ -892,6 +892,15 @@ impl LinearLeiosNode {
             // We only vote for whichever EB we was referenced by the head of the current chain.
             return Err(NoVoteReason::WrongEB);
         }
+
+        if self.sim_config.variant == LeiosVariant::LinearWithTxReferences {
+            for tx in &eb.txs {
+                if !matches!(self.txs.get(&tx.id), Some(TransactionView::Received(_))) {
+                    // We won't vote for an EB if we don't have all the TXs it references
+                    return Err(NoVoteReason::MissingTX);
+                }
+            }
+        }
         Ok(())
     }