sim-rs: make EB propagation criteria configurable

Author: SupernaviX

data/simulation/config.d.ts

@@ -91,6 +91,14 @@ export interface Config {
    */
   "linear-diffuse-stage-length-slots": bigint;
 
+  /**
+   * Which conditions must be met before a node will send an EB to peers?
+   *  - "eb-received": the EB must only go through basic validation
+   *  - "txs-received": all TXs in the EB must have been received
+   *  - "fully-valid": the EB must be fully validated
+   */
+  "linear-eb-propagation-criteria": EBPropagationCriteria;
+
   // Transaction Configuration
   /** Only supported by Rust simulation. */
   "tx-generation-distribution": Distribution;
@@ -326,6 +334,15 @@ export enum MempoolSamplingStrategy {
   Random = "random",
 }
 
+export enum EBPropagationCriteria {
+  /** the EB must only go through basic validation */
+  EBReceived = "eb-received",
+  /** all TXs in the EB must have been received */
+  TXsReceived = "txs-received",
+  /** the EB must be fully validated */
+  FullyValid = "fully-valid",
+}
+
 /**
  * Configuration for a "late EB" attack,
  * where nodes deliberately withhold EBs until near the end of the voting phase.

data/simulation/config.default.yaml

@@ -38,6 +38,11 @@ praos-fallback-enabled: true
 
 linear-vote-stage-length-slots: 5
 linear-diffuse-stage-length-slots: 5
+# Which conditions must be met before a node will send an EB to peers?
+# - "eb-received": the EB must only go through basic validation
+# - "txs-received": all TXs in the EB must have been received
+# - "fully-valid": the EB must be fully validated
+linear-eb-propagation-criteria: eb-received
 store-txs-as-references: false
 
 ################################################################################

data/simulation/config.schema.json

@@ -57,6 +57,10 @@
         }
       ]
     },
+    "EBPropagationCriteria": {
+      "enum": ["eb-received", "txs-received", "fully-valid"],
+      "type": "string"
+    },
     "ExpDistribution": {
       "properties": {
         "distribution": {
@@ -384,6 +388,10 @@
       "properties": {},
       "type": "number"
     },
+    "linear-eb-propagation-criteria": {
+      "$ref": "#/definitions/EBPropagationCriteria",
+      "description": "Which conditions must be met before a node will send an EB to peers?\n - \"eb-received\": the EB must only go through basic validation\n - \"txs-received\": all TXs in the EB must have been received\n - \"fully-valid\": the EB must be fully validated"
+    },
     "linear-vote-stage-length-slots": {
       "additionalProperties": false,
       "description": "How long the EB voting stage is allowed to last.\nShould be more than 3x leios-header-diffusion-time-ms.\nMatches L_vote from the paper.",

sim-rs/parameters/late-eb-attack.yaml

@@ -21,3 +21,4 @@ late-tx-attack:
   tx-generation-distribution:
     distribution: constant
     value: 3
+linear-eb-propagation-criteria: fully-valid

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

@@ -77,6 +77,7 @@ pub struct RawParameters {
     pub praos_fallback_enabled: bool,
     pub linear_vote_stage_length_slots: u64,
     pub linear_diffuse_stage_length_slots: u64,
+    pub linear_eb_propagation_criteria: EBPropagationCriteria,
 
     // Transaction configuration
     pub tx_generation_distribution: DistributionConfig,
@@ -184,6 +185,14 @@ pub enum MempoolSamplingStrategy {
     Random,
 }
 
+#[derive(Debug, Copy, Clone, Deserialize, PartialEq, Eq)]
+#[serde(rename_all = "kebab-case")]
+pub enum EBPropagationCriteria {
+    EbReceived,
+    TxsReceived,
+    FullyValid,
+}
+
 #[derive(Deserialize)]
 #[serde(rename_all = "kebab-case")]
 pub struct RawLateEBAttackConfig {
@@ -681,6 +690,7 @@ pub struct SimConfiguration {
     pub(crate) eb_include_txs_from_previous_stage: bool,
     pub(crate) linear_vote_stage_length: u64,
     pub(crate) linear_diffuse_stage_length: u64,
+    pub(crate) linear_eb_propagation_criteria: EBPropagationCriteria,
     pub(crate) max_block_size: u64,
     pub(crate) max_ib_size: u64,
     pub(crate) max_eb_size: u64,
@@ -747,6 +757,7 @@ impl SimConfiguration {
             eb_include_txs_from_previous_stage: params.eb_include_txs_from_previous_stage,
             linear_vote_stage_length: params.linear_vote_stage_length_slots,
             linear_diffuse_stage_length: params.linear_diffuse_stage_length_slots,
+            linear_eb_propagation_criteria: params.linear_eb_propagation_criteria,
             max_block_size: params.rb_body_max_size_bytes,
             max_ib_size: params.ib_body_max_size_bytes,
             max_eb_size: params.eb_referenced_txs_max_size_bytes,