sim-rs: reference praos-chain-quality

Author: SupernaviX

data/simulation/config.d.ts

@@ -46,8 +46,7 @@ export interface Config {
    * Controls the pipelines EBs should reference in Full leios:
    *   i - ⌈3η/L⌉, …, i-3
    * where i is the index of the current pipeline.
-   *
-   * Only supported by Haskell simulation */
+   * */
   "praos-chain-quality": number;
   // Transaction Configuration
   /** Only supported by Rust simulation. */

data/simulation/config.schema.json

@@ -275,7 +275,7 @@
       "type": "boolean"
     },
     "praos-chain-quality": {
-      "description": "Praos blockchain quality parameter.\nThis is η from the Leios paper.\nControls the pipelines EBs should reference in Full leios:\n  i - ⌈3η/L⌉, …, i-3\nwhere i is the index of the current pipeline.\n\nOnly supported by Haskell simulation",
+      "description": "Praos blockchain quality parameter.\nThis is η from the Leios paper.\nControls the pipelines EBs should reference in Full leios:\n  i - ⌈3η/L⌉, …, i-3\nwhere i is the index of the current pipeline.",
       "type": "number"
     },
     "rb-body-legacy-praos-payload-avg-size-bytes": {

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

@@ -61,6 +61,7 @@ pub struct RawParameters {
     pub leios_stage_length_slots: u64,
     pub leios_stage_active_voting_slots: u64,
     pub leios_header_diffusion_time_ms: f64,
+    pub praos_chain_quality: u64,
 
     // Transaction configuration
     pub tx_generation_distribution: DistributionConfig,
@@ -416,6 +417,7 @@ pub struct SimConfiguration {
     pub(crate) variant: LeiosVariant,
     pub(crate) header_diffusion_time: Duration,
     pub(crate) relay_strategy: RelayStrategy,
+    pub(crate) praos_chain_quality: u64,
     pub(crate) block_generation_probability: f64,
     pub(crate) ib_generation_probability: f64,
     pub(crate) eb_generation_probability: f64,
@@ -443,6 +445,7 @@ impl SimConfiguration {
             variant: params.leios_variant,
             header_diffusion_time: duration_ms(params.leios_header_diffusion_time_ms),
             relay_strategy: params.relay_strategy,
+            praos_chain_quality: params.praos_chain_quality,
             block_generation_probability: params.rb_generation_probability,
             ib_generation_probability: params.ib_generation_probability,
             eb_generation_probability: params.eb_generation_probability,

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

@@ -8,7 +8,6 @@ use std::{
 
 use anyhow::{bail, Result};
 use netsim_async::HasBytesSize as _;
-use num_traits::Inv;
 use priority_queue::PriorityQueue;
 use rand::Rng as _;
 use rand_chacha::ChaChaRng;
@@ -1317,9 +1316,8 @@ impl Node {
 
         // the oldest pipeline is i-⌈3η/L⌉, where i is the current pipeline,
         // η is the "quality parameter" (expected block rate), and L is stage length.
-        let old_pipelines = (3.0 * self.sim_config.block_generation_probability.inv()
-            / self.sim_config.stage_length as f64)
-            .ceil() as u64;
+        let old_pipelines =
+            (3 * self.sim_config.praos_chain_quality).div_ceil(self.sim_config.stage_length);
         let oldest_included_pipeline = current_pipeline
             .checked_sub(old_pipelines)
             .unwrap_or(newest_included_pipeline);