Add a potential open point about pruning seenTxs by id

cardano-scaling · Jul 20, 2023 · 8225ff6 · 8225ff6
1 parent 27456ae
commit 8225ff6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/spec/fig_offchain_prot.tex b/spec/fig_offchain_prot.tex
@@ -128,6 +128,11 @@
 								$\hatmL\gets\hatmL\applytx \tx$ \;
 								$\hatmT\gets\hatmT\cup\{\tx\}$
 							}
+							% FIXME: Open point: should we remove by id instead?
+							% \textcolor{blue}{
+							% 	$\hatmT \gets \{ tx ~ | ~ \forall tx \in \hatmT : tx \notin \mT_{req} \}$
+							% 	$\hatmL \gets \hatmU\applytx\hatmT$
+							% }
 
 							\textcolor{red}{Do clean up $\hatmT_{\mathsf{all}}$ here?}
 						}