Re: [Trans] Verifying inclusion proof

Ben Laurie <benl@google.com> Tue, 07 July 2015 13:09 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 4F5B51A0390 for <trans@ietfa.amsl.com>; Tue, 7 Jul 2015 06:09:21 -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 7g3vPntQnCz5 for <trans@ietfa.amsl.com>; Tue, 7 Jul 2015 06:09:20 -0700 (PDT)
Received: from mail-yk0-x234.google.com (mail-yk0-x234.google.com [IPv6:2607:f8b0:4002:c07::234]) (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 3600A1A038F for <trans@ietf.org>; Tue, 7 Jul 2015 06:09:20 -0700 (PDT)
Received: by ykdr198 with SMTP id r198so176572530ykd.3 for <trans@ietf.org>; Tue, 07 Jul 2015 06:09:19 -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=fPfDIwXZ5ZVyBJRC3betuALjF+gKrg71b31lWShrjOM=; b=l/vzJWukS9mz10bWo5fGtHTfYTPSWcPxoQdCY3IVPvJCoplnMgSVVgesZHsDYfjIJY zDZeUJQAxw7SrNjBWAwprM77rzUl9INyaYthZUBCQ3BFGrdquhXSnB09JKXvbR4naGNV zZKqw4Go5j+tVxXlZUmhc8U/AYlomdPMOTFuYCU/BN27eeuH5TLLnx40aEbkcN72Zjan XgFPWFah0nwVS9PIFCzpma/VCXgrSQa1w4M0tZrcv1W47ggvc+q7MEDLXrrl9mqbbX/5 W4CG6BdVFI1P4n9HeN6YjxGCMH9q4I8eR7twZv7BTtXph7WakeuCdM7S0YwEEk2NqPmP 7DlQ==
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=fPfDIwXZ5ZVyBJRC3betuALjF+gKrg71b31lWShrjOM=; b=h31tj0DPEMpmr6TWPAVQLUuZyFHobggahgpP10/nSxFZitNepErQd+M4sIAZp/4tXX U3vWoQdYZDVkvrsjADlM0YIPrbMjYnW+X/+Ya+Qmn0vZp6Mcq83CZReUmShsKOODzo4w kiTtxeGRwtD9Inmx4crAUKuKw/j13KKd4yOzpJSW2ChIWPr46fahaCl5TmuUWA1sIwNR egCXVBIek4lCz42thuDenuHSaP6ajKoJcE1sid9uc3oEL+fxWj7wmIDE+56gh/Gz6cVH oE2hAtljpKN0TCys5iBY/LflTNeJ7YGst9Q8HjfaWRPwJyhRskeqGWRs68jJ9MExsZT+ A8jg==
X-Gm-Message-State: ALoCoQng+W5tPkVgpgie1FUWJBOYj62Tr9QddubmmTg9ov1NrLTTw6amkEDAGC2PhgGNSIkC88Cx
MIME-Version: 1.0
X-Received: by 10.170.212.130 with SMTP id d124mr4742108ykf.47.1436274559504; Tue, 07 Jul 2015 06:09:19 -0700 (PDT)
Received: by 10.37.8.201 with HTTP; Tue, 7 Jul 2015 06:09:19 -0700 (PDT)
In-Reply-To: <CAP9QY5b2KQay14EiUOiLKCCRPt5X=ZKif5v=fihTzm6Fy8Dvsw@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> <20150628220648.GI13302@hezmatt.org> <CABrd9SS7-dDYUhJkFe99YQ2EtdO6x10y=VOc4Qr6ERL+PZq0hQ@mail.gmail.com> <20150629230458.GX30545@hezmatt.org> <CABrd9SSwixBdaF38LS4zf6KSCOqk=VML1MBia+to=eBfPhcfkg@mail.gmail.com> <CAP9QY5b160M7V71NvADcBJrip-c7i8gcSsQYpah3L+mYDxSqmg@mail.gmail.com> <CAP9QY5b2KQay14EiUOiLKCCRPt5X=ZKif5v=fihTzm6Fy8Dvsw@mail.gmail.com>
Date: Tue, 07 Jul 2015 14:09:19 +0100
Message-ID: <CABrd9SRjBokNZJmCWsTzre4Hj3OsheyvMmbC0UCQujU+bVS5iw@mail.gmail.com>
From: Ben Laurie <benl@google.com>
To: Adam Eijdenberg <eijdenberg@google.com>
Content-Type: text/plain; charset="UTF-8"
Archived-At: <http://mailarchive.ietf.org/arch/msg/trans/CRHP41WyJjRgOpgHHpp0dfadgDk>
Cc: Matt Palmer <mpalmer@hezmatt.org>, "trans@ietf.org" <trans@ietf.org>, Ondrej Mikle <ondrej.mikle@nic.cz>
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, 07 Jul 2015 13:09:21 -0000

On 6 July 2015 at 20:22, Adam Eijdenberg <eijdenberg@google.com> wrote:
> To close this thread out, there were some errors in my previous code and
> algorithms in this thread.  They have been corrected and added under section
> 5.5 in the new version of the Internet Draft published earlier today:
> https://tools.ietf.org/html/draft-ietf-trans-rfc6962-bis-08#section-5.5
>
> I hope the new section is helpful for client implementors.

BTW, Adam also implemented the algorithms to test them, you can find
them here: https://github.com/google/certificate-transparency-rfcs/blob/master/test_rfc_algorithms.py.