From 238a4b1ac9ae2a91cef28e6d2df9ebd2fbb0e882 Mon Sep 17 00:00:00 2001 From: Rasmus Dahlberg Date: Thu, 7 Oct 2021 18:08:15 +0200 Subject: fixed bad formulation --- doc/design.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/design.md') 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 -- cgit v1.2.3