diff options
| -rw-r--r-- | doc/design.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/design.md b/doc/design.md index ef32efd..b177f85 100644 --- a/doc/design.md +++ b/doc/design.md @@ -295,10 +295,10 @@ an inclusion proof that leads up to a cosigned tree head. #### 3.2.5 - Verification A verifier should only accept the distributed data if these criteria hold: 1. The signer's checksum is correct for the distributed data. -2. The signer's signed statement verifies. +2. The signer's signed statement is valid for the specified public key. 3. The provided tree head can be reconstructed from the logged leaf and its inclusion proof. -4. The provided tree head is from a known log with enough cosignatures. +4. The provided tree head is from a known log with enough valid cosignatures. Notice that there are no new outbound network connections for a verifier. Therefore, a proof of public logging is only as convincing as the tree head that |