Skip to content

Document Missing Dependencies in STF Equations #491

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
sierkov wants to merge 8 commits into
base: main
Choose a base branch
from
Draft

Document Missing Dependencies in STF Equations #491

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
8a3b007
indicate in (4.5) that tau_prime depends on tau to enforce monotonici…
sierkov Sep 10, 2025
d982d1b
indicate in (4.11) that psi_prime depends additionaly on kappa, lambd…
sierkov Sep 10, 2025
40deb76
indicate in (4.13) that rho_double_dagger depends additionaly on kapp…
sierkov Sep 10, 2025
d9e9810
indicate in (4.14) that rho_prime depends additionaly on beta_dagger …
sierkov Sep 10, 2025
6f5d8a4
indicate in (4.16) that accumulation depends additionaly on eta_prime…
sierkov Sep 10, 2025
3f6c0ae
remove dependencies used only for signature verification
sierkov Sep 16, 2025
e628f28
Delete the temporary build script
sierkov Sep 16, 2025
d3865c7
Merge branch 'gavofyork:main' into main
sierkov Mar 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions text/overview.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,18 +46,18 @@ \subsubsection{State Transition Dependency Graph}

Much as in the \emph{YP}, we specify $\transitionstate$ as the implication of formulating all items of posterior state in terms of the prior state and block. To aid the architecting of implementations which parallelize this computation, we minimize the depth of the dependency graph where possible. The overall dependency graph is specified here:
\begin{align}\label{eq:transitionfunctioncomposition}
\thetime' &\prec \theheader \\
\thetime' &\prec \tup{\theheader, \thetime} \\
\recenthistorypostparentstaterootupdate &\prec \tup{\theheader, \recenthistory} \label{eq:betadagger} \\
\safrole' &\prec \tup{\theheader, \thetime, \xttickets, \safrole, \stagingset, \entropy', \activeset', \disputes'} \\
\entropy' &\prec \tup{\theheader, \thetime, \entropy} \\
\activeset' &\prec \tup{\theheader, \thetime, \activeset, \safrole} \\
\previousset' &\prec \tup{\theheader, \thetime, \previousset, \activeset} \\
\disputes' &\prec \tup{\xtdisputes, \disputes} \\
\disputes' &\prec \tup{\xtdisputes, \thetime, \activeset, \previousset, \disputes} \\
\reportspostjudgement &\prec \tup{\xtdisputes, \reports} \label{eq:rhodagger} \\
\reportspostguarantees &\prec \tup{\xtassurances, \reportspostjudgement} \label{eq:rhoddagger} \\
\reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \activeset, \thetime'} \label{eq:rhoprime} \\
\reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \authpool, \accountspre, \thetime', \entropy', \recenthistorypostparentstaterootupdate} \label{eq:rhoprime} \\
\justbecameavailable^* &\prec \tup{\xtassurances, \reportspostjudgement} \\
\tup{\ready', \accumulated', \accountspostxfer, \privileges', \stagingset', \authqueue', \lastaccout', \accumulationstatistics} &\prec \tup{\justbecameavailable^*, \ready, \accumulated, \accountspre, \privileges, \stagingset, \authqueue, \thetime, \thetime'} \label{eq:accountspostxfer} \\
\tup{\ready', \accumulated', \accountspostxfer, \privileges', \stagingset', \authqueue', \lastaccout', \accumulationstatistics} &\prec \tup{\justbecameavailable^*, \ready, \accumulated, \accountspre, \privileges, \stagingset, \authqueue, \thetime, \thetime', \entropy'} \label{eq:accountspostxfer} \\
\recenthistory' &\prec \tup{\theheader, \xtguarantees, \recenthistorypostparentstaterootupdate, \lastaccout'} \label{eq:betaprime} \\
\accountspostpreimage &\prec \tup{\xtpreimages, \accountspostxfer, \thetime'} \label{eq:accountspostpreimage} \\
\authpool' &\prec \tup{\theheader, \xtguarantees, \authqueue', \authpool} \\
Expand Down