From 8a3b0071a9f353aaa212c3cdce1f951b93cbe5bb Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 10 Sep 2025 16:23:24 +0200 Subject: [PATCH 1/7] indicate in (4.5) that tau_prime depends on tau to enforce monotonicity (5.7) --- text/overview.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/overview.tex b/text/overview.tex index a27bfa53..656eda8f 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -46,7 +46,7 @@ \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} \\ From d982d1b0f89bc62c56278b472bf8b50019e565b3 Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 10 Sep 2025 16:48:07 +0200 Subject: [PATCH 2/7] indicate in (4.11) that psi_prime depends additionaly on kappa, lambda, and tau for signature verification (10.3) --- text/overview.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/overview.tex b/text/overview.tex index 656eda8f..9eaf3c9c 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -52,7 +52,7 @@ \subsubsection{State Transition Dependency Graph} \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} \\ From 40deb768ba7b7965eed4565f760786bcc12e493d Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 10 Sep 2025 17:34:30 +0200 Subject: [PATCH 3/7] indicate in (4.13) that rho_double_dagger depends additionaly on kappa for signature verification (11.13) --- text/overview.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/overview.tex b/text/overview.tex index 9eaf3c9c..987047d7 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -54,7 +54,7 @@ \subsubsection{State Transition Dependency Graph} \previousset' &\prec \tup{\theheader, \thetime, \previousset, \activeset} \\ \disputes' &\prec \tup{\xtdisputes, \thetime, \activeset, \previousset, \disputes} \\ \reportspostjudgement &\prec \tup{\xtdisputes, \reports} \label{eq:rhodagger} \\ - \reportspostguarantees &\prec \tup{\xtassurances, \reportspostjudgement} \label{eq:rhoddagger} \\ + \reportspostguarantees &\prec \tup{\xtassurances, \activeset, \reportspostjudgement} \label{eq:rhoddagger} \\ \reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \activeset, \thetime'} \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} \\ From d9e981017a0debba596b165555c4b704a553211f Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 10 Sep 2025 20:13:02 +0200 Subject: [PATCH 4/7] indicate in (4.14) that rho_prime depends additionaly on beta_dagger (11.33), alpha (11.23), delta (11.30), and eta_prime, kappa_prime, lambda_prime, psi_prime (11.22) --- text/overview.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/overview.tex b/text/overview.tex index 987047d7..b1285b97 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -55,7 +55,7 @@ \subsubsection{State Transition Dependency Graph} \disputes' &\prec \tup{\xtdisputes, \thetime, \activeset, \previousset, \disputes} \\ \reportspostjudgement &\prec \tup{\xtdisputes, \reports} \label{eq:rhodagger} \\ \reportspostguarantees &\prec \tup{\xtassurances, \activeset, \reportspostjudgement} \label{eq:rhoddagger} \\ - \reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \activeset, \thetime'} \label{eq:rhoprime} \\ + \reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \authpool, \accountspre, \activeset', \previousset', \thetime', \entropy', \disputes', \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} \\ \recenthistory' &\prec \tup{\theheader, \xtguarantees, \recenthistorypostparentstaterootupdate, \lastaccout'} \label{eq:betaprime} \\ From 6f5d8a4a294eda63e1be39d2cd60e1c83d364e0f Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 10 Sep 2025 20:31:03 +0200 Subject: [PATCH 5/7] indicate in (4.16) that accumulation depends additionaly on eta_prime (B.11) --- text/overview.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/text/overview.tex b/text/overview.tex index b1285b97..e2c9a6f6 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -57,7 +57,7 @@ \subsubsection{State Transition Dependency Graph} \reportspostguarantees &\prec \tup{\xtassurances, \activeset, \reportspostjudgement} \label{eq:rhoddagger} \\ \reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \authpool, \accountspre, \activeset', \previousset', \thetime', \entropy', \disputes', \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} \\ From 3f6c0ae7c00922f8eff4395fc049a2b9d99b8984 Mon Sep 17 00:00:00 2001 From: Alex Sierkov Date: Wed, 17 Sep 2025 00:17:14 +0200 Subject: [PATCH 6/7] remove dependencies used only for signature verification --- build.sh | 6 ++++++ text/overview.tex | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 build.sh diff --git a/build.sh b/build.sh new file mode 100644 index 00000000..e9b2f6d6 --- /dev/null +++ b/build.sh @@ -0,0 +1,6 @@ +set -e +xelatex -halt-on-error graypaper +biber graypaper +xelatex -halt-on-error graypaper +xelatex -halt-on-error graypaper +cp ./graypaper.pdf /data-ext/graypayper-dev.pdf diff --git a/text/overview.tex b/text/overview.tex index e2c9a6f6..01d8ba13 100644 --- a/text/overview.tex +++ b/text/overview.tex @@ -54,8 +54,8 @@ \subsubsection{State Transition Dependency Graph} \previousset' &\prec \tup{\theheader, \thetime, \previousset, \activeset} \\ \disputes' &\prec \tup{\xtdisputes, \thetime, \activeset, \previousset, \disputes} \\ \reportspostjudgement &\prec \tup{\xtdisputes, \reports} \label{eq:rhodagger} \\ - \reportspostguarantees &\prec \tup{\xtassurances, \activeset, \reportspostjudgement} \label{eq:rhoddagger} \\ - \reports' &\prec \tup{\xtguarantees, \reportspostguarantees, \authpool, \accountspre, \activeset', \previousset', \thetime', \entropy', \disputes', \recenthistorypostparentstaterootupdate} \label{eq:rhoprime} \\ + \reportspostguarantees &\prec \tup{\xtassurances, \reportspostjudgement} \label{eq:rhoddagger} \\ + \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', \entropy'} \label{eq:accountspostxfer} \\ \recenthistory' &\prec \tup{\theheader, \xtguarantees, \recenthistorypostparentstaterootupdate, \lastaccout'} \label{eq:betaprime} \\ From e628f28dce612053b76bcfe4ddce863bb1297d04 Mon Sep 17 00:00:00 2001 From: sierkov <31405960+sierkov@users.noreply.github.com> Date: Wed, 17 Sep 2025 00:19:02 +0200 Subject: [PATCH 7/7] Delete the temporary build script --- build.sh | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 build.sh diff --git a/build.sh b/build.sh deleted file mode 100644 index e9b2f6d6..00000000 --- a/build.sh +++ /dev/null @@ -1,6 +0,0 @@ -set -e -xelatex -halt-on-error graypaper -biber graypaper -xelatex -halt-on-error graypaper -xelatex -halt-on-error graypaper -cp ./graypaper.pdf /data-ext/graypayper-dev.pdf