diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-10-07 11:10:05 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-10-07 11:10:05 +0200 |
| commit | c0c1ed159e9b49bd47275c468679466d0049949c (patch) | |
| tree | a9f229fe7ed9c1804f6b2c4a6f5cc403980abdce /taler | |
| parent | a67f34b504503219c19e29bd2e27f75c7c8dbcca (diff) | |
| download | dold-thesis-phd-c0c1ed159e9b49bd47275c468679466d0049949c.tar.gz dold-thesis-phd-c0c1ed159e9b49bd47275c468679466d0049949c.tar.bz2 dold-thesis-phd-c0c1ed159e9b49bd47275c468679466d0049949c.zip | |
pkD missing
Diffstat (limited to 'taler')
| -rw-r--r-- | taler/implementation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/taler/implementation.tex b/taler/implementation.tex index 6b0ea71..23d2cbc 100644 --- a/taler/implementation.tex +++ b/taler/implementation.tex @@ -1202,7 +1202,7 @@ We use the following algorithms, defined informally here: \< \< \t \pccheck \neg\algo{IsOverspending}(C_p, \V{pkD}, f) \\ \< \< \t \text{Persist deposit-record } D_i \\ \< \< \t \algo{MarkFractionalSpend}(C_p, f) \\ -\< \< \t \algo{ScheduleBankTransfer}(A_M, f, h_c) \\ +\< \< \t \algo{ScheduleBankTransfer}(A_M, f, \V{pkD}, h_c) \\ \< \< \pcelse \\ \< \< \t \pccheck x \iseq \rho_{(D,i)} \\ \< \< \sigma_{DC} \leftarrow \algo{Ed25519.Sign}(\V{pkESig}, \rho_{(D,i)}) \\ |