You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: Logbook.md
+9
Original file line number
Diff line number
Diff line change
@@ -17,6 +17,15 @@
17
17
- Included scenarios with higher IB rate and size, showing somewhat higher traffic leads to better diffusion times, likely due to TCP congestion window staying open.
18
18
- Found another significant source of latency is access to the ledger state necessary to validate IBs.
19
19
20
+
21
+
### Rust simulation
22
+
23
+
- Addressed minor issues raised by simulation comparison
24
+
- Added more information to logs (total size of IB, parent id of RB)
25
+
- Use the same EB selection strategy as Haskell (choose the oldest EB available, then the one with the most TXs)
26
+
- Validate IB headers before propagating them to neighbors
27
+
- Still need to investigate why the Rust simulation doesn't run into as much congestion as Haskell
28
+
20
29
### Formal methods
21
30
22
31
- Initial trace verifier for Short Leios simulation traces in `leios-trace-verifier`
0 commit comments