Re: [Trans] Verifying inclusion proof

Ben Laurie <benl@google.com> Tue, 30 June 2015 12:30 UTC

Return-Path: <benl@google.com>
X-Original-To: trans@ietfa.amsl.com
Delivered-To: trans@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 76A9E1A8785 for <trans@ietfa.amsl.com>; Tue, 30 Jun 2015 05:30:14 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.389
X-Spam-Level:
X-Spam-Status: No, score=-1.389 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FM_FORGED_GMAIL=0.622, SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01] autolearn=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NOubzAY8y34r for <trans@ietfa.amsl.com>; Tue, 30 Jun 2015 05:30:13 -0700 (PDT)
Received: from mail-vn0-x233.google.com (mail-vn0-x233.google.com [IPv6:2607:f8b0:400c:c0f::233]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1E29D1A8A92 for <trans@ietf.org>; Tue, 30 Jun 2015 05:30:13 -0700 (PDT)
Received: by vnbf62 with SMTP id f62so1246870vnb.9 for <trans@ietf.org>; Tue, 30 Jun 2015 05:30:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=5edV8sdbYr75PUzLgeum5wf6m0P8Tr9IMB+dHiXv2Os=; b=U5qX9sE4U/dtHCyfFJqiAf36yIjjAQckbatWPjJZOt7aRnALD5lL31UjPnTiNQga4G EQOiPw0mBv42RdFc10pICp2F7Lv7bapHID2nPguKaZpU7Vi7xUppsFNBWkeK0Aj2xweH EGyLF0bMgjCQyOUgQLTVzETYstp68nwU5R1IU4lewMWTYaFmLT76iNLIC3x2jkZWSQPa TiIJv7+mL0MIPAkchNTkyKS5g+iicOj7N250zzwA+iiPDKf1R1hzcZ93TbG+GPO+JAEH LEtSo0qB65zTejurHKQPsUHC0fBFz8wdwoj6pzac8O/Pq/bflpceBNdmzU2+yg06TuST Pz2Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=5edV8sdbYr75PUzLgeum5wf6m0P8Tr9IMB+dHiXv2Os=; b=mfcFGIeLnvesaltGvFB+Nl+1H+lv5wghrdu8Yu5hB68cwQ7hUnlPs7sL/qVTbLQdgx +XdiNtKomWgxrf9/9ko4uZDVO7rWWSWcuCkgyoqObaRdtc+r0SHUrlURtJXuEMioLF3i 3D7xlbW184+i0JBDa2zF4S4oAo8YZ1v1MBb4Q5/FfUb7r2DvtDyLnA1BhS6lg81DPC6M GcUitHiQGm6bM8X6TZPXrlFLEJLm+jE7n2aldUpiY792sUS/06h94rs5a3BlLobxndjz lizkpYPD5oGXe1QcJ2kCYbSQAHwMGf7GSWWM2h0OWy5AAx5bgahhWWDKEGSMYxCVrFs4 9ORw==
X-Gm-Message-State: ALoCoQkyTH1OKLZ/rAB5AVg2jE4slWEN43pELQScz7rvrQKMws7A843yKCkmKuiK+vqZw4ANFqst
MIME-Version: 1.0
X-Received: by 10.52.179.73 with SMTP id de9mr19435186vdc.28.1435667412250; Tue, 30 Jun 2015 05:30:12 -0700 (PDT)
Received: by 10.52.76.6 with HTTP; Tue, 30 Jun 2015 05:30:12 -0700 (PDT)
In-Reply-To: <CAMm+Lwh4ufADf3tLBVarn3K0bE_G9TqUUtW8rZQPG16EVOZOVw@mail.gmail.com>
References: <558D61DE.8020402@nic.cz> <CACM=_OeTnNCk+VSiQ1E5T2_a7YkxwxZ2w8HJSg13wtVc2wQUfA@mail.gmail.com> <55900D1D.2030009@bbn.com> <CABrd9SQV6tybHwgo=ZATEPjhsV64=5=O-fi10pcwHnAHCyArDA@mail.gmail.com> <55918C93.2040805@bbn.com> <CAMm+Lwh4ufADf3tLBVarn3K0bE_G9TqUUtW8rZQPG16EVOZOVw@mail.gmail.com>
Date: Tue, 30 Jun 2015 13:30:12 +0100
Message-ID: <CABrd9STaSi6gb=z2mTAQWLH-6SD=SwVTm5jGfniMMAnGa1E_gw@mail.gmail.com>
From: Ben Laurie <benl@google.com>
To: Phillip Hallam-Baker <ietf@hallambaker.com>
Content-Type: text/plain; charset="UTF-8"
Archived-At: <http://mailarchive.ietf.org/arch/msg/trans/EcAlfZrheelRFIkL0xFYVNEwJy4>
Cc: "trans@ietf.org" <trans@ietf.org>, Stephen Kent <kent@bbn.com>
Subject: Re: [Trans] Verifying inclusion proof
X-BeenThere: trans@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: Public Notary Transparency working group discussion list <trans.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/trans>, <mailto:trans-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/trans/>
List-Post: <mailto:trans@ietf.org>
List-Help: <mailto:trans-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/trans>, <mailto:trans-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 30 Jun 2015 12:30:14 -0000

On 29 June 2015 at 20:17, Phillip Hallam-Baker <ietf@hallambaker.com> wrote:
>
>
> On Mon, Jun 29, 2015 at 2:21 PM, Stephen Kent <kent@bbn.com> wrote:
>>
>> Ben,
>>
>>> On 28 June 2015 at 16:05, Stephen Kent<kent@bbn.com>  wrote:
>>>>
>>>> IETF standards need to be unambiguous. Code is very helpful, but it is
>>>> not a
>>>> substitute
>>>> for a rigorous description of how to resolve the issue that Onderj
>>>> raised.
>>>
>>> Whilst I am not necessarily opposed to that, there has to be a point
>>> at which you stop explaining what can be worked out given existing
>>> information. The RFC does state how the hash is calculated, from which
>>> it is clear what the placement of each node is in the hash
>>> calculation.
>>
>> My comment is based on the question that was posed by someone for
>> whom it was not clear. If most other (independent) implementers find
>> the text clear enough, OK.
>>
>> Citing a tech paper is not the preferred approach for IETF docs. We
>> often reproduce info that is available via other means, so that RFCs
>> are as self-contained as possible.
>
>
> As a general rule, placement and organization does not matter.
>
> If someone gives you the apex value of the tree and the sequence of branch
> values and whether they are left or right, you have all the info required to
> verify.

CT does not tell you left or right, since you can work it out from the index.

> While the spec says 'Merkle tree', all that is required for interop is to
> deliver the correct branches.
>
>
>
>
> _______________________________________________
> Trans mailing list
> Trans@ietf.org
> https://www.ietf.org/mailman/listinfo/trans
>