Update logbook

Author: SupernaviX

Logbook.md

@@ -18,6 +18,10 @@
     parameter from the spec.
     - default should be revised with input from research.
 
+### Rust simulation
+
+Implemented first pass at Full Leios, with guesses for some parameters.
+
 ### Formal methods
 
 - Short Leios trace verification: For Short Leios we are modelling the local state evolution of a node. In addition to the transitions in the Short Leios relation there are updates to the state (for example the network or the underlying ledger) which we now cover in a larger relation. The mapping from simulation log to state updates has been refined