english fixes

This commit is contained in:
Christian Grothoff 2020-03-26 20:06:34 +01:00
parent 293c241ae7
commit 5871861d6b
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

@ -418,9 +418,10 @@ The total loss from emergencies detected by counting coins could be up to
Note that emergencies by value deposited can {\em also} arise if the exchange
fails to properly detect double spending (or simply fails to properly account
for the remaining balance of a coin). So in combintation with arithmetic
problems (Section~\ref{sec:arithmetic}) issues in this section are not a clear
indicator that the exchange's private signing key was compromised.
for the remaining balance of a coin). Thus, if issues are listed here {\bf in
combination with} arithmetic problems (Section~\ref{sec:arithmetic}) issues,
then they may not be a definitive indicator that the exchange's private
signing key was compromised.
% Table generation tested by testcases #18, #25 in test-auditor.sh