Skip to content

Commit

Permalink
Add a todo about missing version in rollbacks
Browse files Browse the repository at this point in the history
  • Loading branch information
v0d1ch committed Jul 1, 2024
1 parent 42aedfe commit 30a1a50
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/offchain.tex
Original file line number Diff line number Diff line change
Expand Up @@ -298,7 +298,7 @@ \subsection{Rollbacks and protocol changes}\label{sec:rollbacks}
wrapped in a rollforward event $(\mathtt{rollback},p)$ with point $p$, protocol
participants store their head state indexed by this point in a history
$\Omega$ of states
$\Delta \gets (\hats, \bar{\mc S}.s, \bar{\mc S}.sigma, \hatmU, \barmU, \hatSigma, \hatmL, \hatmT)$ and $\Omega' = (p, \Delta) \cup \Omega$. \\
\todo{add version here also}$\Delta \gets (\hats, \bar{\mc S}.s, \bar{\mc S}.sigma, \hatmU, \barmU, \hatSigma, \hatmL, \hatmT)$ and $\Omega' = (p, \Delta) \cup \Omega$. \\

\dparagraph{$\mathtt{rollback}$.}\quad On a rollback
$(\mathtt{rollback},p_{rb})$ to point $p_{rb}$, the corresponding head state
Expand Down

0 comments on commit 30a1a50

Please sign in to comment.