Parameter sweep experiment for EB attacks (#495)

* Designed sweep over EB attacks
* Analyzed experiment
* Documented findings in slides
* Updated logbook

Author: bwbush

Logbook.md

@@ -1,5 +1,24 @@
 # Leios logbook
 
+## 2025-08-15
+
+### Parameter-sweep experiment for late-EB attacks
+
+A follow-up experiment on the attack experiment earlier this week was conducted to determine for what EB delay the attack was strongest. For the promising `txs-received` propagation and with L<sub>diff</sub> on/off, the delay of adversaries releasing their EBs and transactions was varied from six to eight seconds. Note that L<sub>vote</sub> = 7s in this simulations and that the adversary controlled 33% of the stake.
+
+Findings:
+
+1. Efficiency starts dropping when EBs and transactions are delayed 6.5 seconds.
+2. Efficiency doesn’t continue dropping much after delays of 7 seconds.
+3. L<sub>diff</sub> = 0s performs better than L<sub>diff</sub> = 7s.
+4. None of the cases, using txs-received, loses transactions or bogs down.
+
+Artifacts:
+
+- [Slides](analysis/simms/2025w33b/ReadMe.pdf)
+- [Notebook](analysis/simms/2025w33b/analysis.ipynb)
+- [Configurations](analysis/simms/2025w33b/experiments/)
+
 ## 2025-08-12
 
 ### First simulation experiment for attacks
@@ -10,6 +29,8 @@ An experiment invovling late EB and/or late transaction diffusion was run, where
 - [Notebook](analysis/sims/2025w33/analysis.ipynb)
 - [Configurations](analysis/sims/2025w33/experiments/)
 
+Follow-up analysis determined that transactions were lost in some cases due to a misformulation of the memory-pool rules in the simulator.
+
 ## 2025-08-08
 
 ## CIP Progress

analysis/sims/2025w33b/ReadMe.pdf

@@ -0,0 +1,41 @@
+#!/usr/bin/env nix-shell
+#!nix-shell -i bash -p gnused gzip pigz "rWrapper.override { packages = with rPackages; [ data_table R_utils bit64 ggplot2 magrittr stringr ]; }"
+
+set -e
+
+mkdir -p results/$d
+for f in lifecycle resources receipts cpus sizes
+do
+  DIR=$(find experiments -type f -name $f.csv.gz \( -not -empty \) -printf %h\\n -quit)
+  HL=$(sed -n -e '1p' "$DIR/case.csv")
+  HR=$(zcat "$DIR/$f.csv.gz" | sed -n -e '1p')
+  if [[ "$f" == "lifecycle" || "$f" == "resources" || "$f" == "sizes" ]]
+  then
+    FRACT=1.00
+  else
+    FRACT=0.15
+  fi
+  (
+    echo "$HL,$HR"
+    for g in $(find experiments -type f -name $f.csv.gz \( -not -empty \) -printf %h\\n)
+    do
+      if [ ! -e "$g/stderr" ]
+      then
+        echo "Skipping $g because it has no stderr." >> /dev/stderr
+      elif [ -s "$g/stderr" ]
+      then
+        echo "Skipping $g because its stderr is not empty." >> /dev/stderr
+      else
+        BL=$(sed -n -e '2p' "$g/case.csv")
+        zcat "$g/$f.csv.gz" | gawk 'FNR > 1 && rand() <= '"$FRACT"' { print "'"$BL"'" "," $0}'
+      fi
+    done
+  ) | pigz -p 3 -9c > results/$f.csv.gz
+R --vanilla << EOI > /dev/null
+require(data.table)
+sampleSize <- $FRACT
+print(sampleSize)
+$f <- fread("results/$f.csv.gz", stringsAsFactors=TRUE)
+save($f, sampleSize, file="results/$f.Rdata", compression_level=9)
+EOI
+done

analysis/sims/2025w33b/analysis.ipynb

@@ -0,0 +1,14 @@
+experiments/txs-received,0,7,5.0,0/run.sh
+experiments/txs-received,0,7,6.0,0/run.sh
+experiments/txs-received,0,7,6.5,0/run.sh
+experiments/txs-received,0,7,7.0,0/run.sh
+experiments/txs-received,0,7,7.5,0/run.sh
+experiments/txs-received,0,7,8.0,0/run.sh
+experiments/txs-received,0,7,0.0,0/run.sh
+experiments/txs-received,7,7,0.0,0/run.sh
+experiments/txs-received,7,7,5.0,0/run.sh
+experiments/txs-received,7,7,6.0,0/run.sh
+experiments/txs-received,7,7,6.5,0/run.sh
+experiments/txs-received,7,7,7.0,0/run.sh
+experiments/txs-received,7,7,7.5,0/run.sh
+experiments/txs-received,7,7,8.0,0/run.sh