diff options
Diffstat (limited to 'doc/evidence.mdwn')
| -rw-r--r-- | doc/evidence.mdwn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/evidence.mdwn b/doc/evidence.mdwn index 1b44ee0..ae1590b 100644 --- a/doc/evidence.mdwn +++ b/doc/evidence.mdwn @@ -3,10 +3,10 @@ It shows what the developer who connected to the server saw, and what the developer did. The log file uses an Ed25519 session key that is signed by the developer's -Gnupg key, so everything the developer did in the session is effectively -signed by their Gnupg key. It's impossible to generate a log file that +GnuPG key, so everything the developer did in the session is effectively +signed by their GnuPG key. It's impossible to generate a log file that shows a developer doing something other than what they did, unless you -have the developer's Gnupg private key. +have the developer's GnuPG private key. The log file is formatted as a series of JSON objects, and includes both messages from the user's debug-me, and from the developer's debug-me. See |