aboutsummaryrefslogtreecommitdiff
path: root/doc/claimant.md
diff options
context:
space:
mode:
authorRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-05-12 16:32:18 +0200
committerRasmus Dahlberg <rasmus.dahlberg@kau.se>2021-05-12 16:32:18 +0200
commitcaf91fa52c192c188adb14a81219602628d46d9d (patch)
tree2a9a49ec591d3f275b3cf350c99180ca8da0adcb /doc/claimant.md
parentdd29127eea7de0954c09ecfea8f817005435972e (diff)
fixed spacing typos
Diffstat (limited to 'doc/claimant.md')
-rw-r--r--doc/claimant.md8
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/claimant.md b/doc/claimant.md
index 2aeebf0..c10e657 100644
--- a/doc/claimant.md
+++ b/doc/claimant.md
@@ -27,7 +27,7 @@ looked-up in a public database using X as an identifier. A rebuilder would
verify this claim by compiling the source, comparing the hashed output to the
claimed value.
-## **System<sup>CHECKSUM-LOG<sup>**:
+## **System<sup>CHECKSUM-LOG</sup>**:
System<sup>CHECKSUM-LOG</sup> is about the claims made by a _log operator_.
It adds _discoverability_ into System<sup>CHECKSUM</sup>. Discoverability means
that Verifier<sup>CHECKSUM</sup> can see all Statement<sup>CHECKSUM</sup> that
@@ -47,9 +47,7 @@ Believer<sup>CHECKSUM</sup> will accept.
Belief is based on two factors:
1. seeing a valid Statement<sup>CHECKSUM-LOG</sup>
2. seeing a number of valid Statement<sup>CHECKSUM-WITNESS</sup> from
- independent instances on System<sup>CHECKSUM-WITNESS</sup>
-
- A _policy_ defines the exact conditions that must be met.
+ independent instances on System<sup>CHECKSUM-WITNESS</sup>.
* **Verifier<sup>CHECKSUM-LOG</sup>**: System<sup>CHECKSUM-WITNESS</sup><br>
Witnesses verify the log's append-only property from their own local
vantage point(s).
@@ -58,7 +56,7 @@ Believer<sup>CHECKSUM</sup> will accept.
instance of System<sup>CHECKSUM-LOG</sup> if cryptographic proofs of log
misbehavior are preseneted by some Verifier<sup>CHECKSUM-LOG</sup>.
-## **System<sup>CHECKSUM-WITNESS<sup>**:
+## **System<sup>CHECKSUM-WITNESS</sup>**:
System<sup>CHECKSUM-WITNESS</sup> is about making the claims of a log operator
_trustworthy_.
* **Claim<sup>CHECKSUM-WITNESS</sup>**: