Re: [MLS] [interim_transcript_hash]

Benjamin Beurdouche <benjamin.beurdouche@inria.fr> Fri, 11 October 2019 14:05 UTC

Return-Path: <benjamin.beurdouche@inria.fr>
X-Original-To: mls@ietfa.amsl.com
Delivered-To: mls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 1D9871200B4 for <mls@ietfa.amsl.com>; Fri, 11 Oct 2019 07:05:57 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.899
X-Spam-Level:
X-Spam-Status: No, score=-6.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=unavailable autolearn_force=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 xAF46BVgKZh4 for <mls@ietfa.amsl.com>; Fri, 11 Oct 2019 07:05:53 -0700 (PDT)
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8B23712003F for <mls@ietf.org>; Fri, 11 Oct 2019 07:05:52 -0700 (PDT)
X-IronPort-AV: E=Sophos;i="5.67,284,1566856800"; d="scan'208,217";a="405787892"
Received: from 82-64-165-115.subs.proxad.net (HELO [192.168.1.20]) ([82.64.165.115]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Oct 2019 16:05:50 +0200
From: Benjamin Beurdouche <benjamin.beurdouche@inria.fr>
Message-Id: <2050710D-078C-4DA4-B628-362DE154C30D@inria.fr>
Content-Type: multipart/alternative; boundary="Apple-Mail=_67A1E59B-C3E4-46A6-A366-20C69276EE27"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3594.4.19\))
Date: Fri, 11 Oct 2019 16:05:49 +0200
In-Reply-To: <CAL02cgTEdnjbg5c4psAgOCgJ_hBxrYmgCxJ5xoJjSJW7vVgO-Q@mail.gmail.com>
Cc: ML Messaging Layer Security <mls@ietf.org>, Richard Barnes <rlb@ipv.sx>
To: Pascal Junod <pascalj=40snap.com@dmarc.ietf.org>
References: <CAPOUjt7K4_sCfnA5zjOBTSDaHZVrvG5mqLB-jZ14yMQMZe7Avw@mail.gmail.com> <CAL02cgTEdnjbg5c4psAgOCgJ_hBxrYmgCxJ5xoJjSJW7vVgO-Q@mail.gmail.com>
X-Mailer: Apple Mail (2.3594.4.19)
Archived-At: <https://mailarchive.ietf.org/arch/msg/mls/OpAONXmDk4b8Z21vTElyPn88S10>
Subject: Re: [MLS] [interim_transcript_hash]
X-BeenThere: mls@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Messaging Layer Security <mls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/mls>, <mailto:mls-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/mls/>
List-Post: <mailto:mls@ietf.org>
List-Help: <mailto:mls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/mls>, <mailto:mls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 11 Oct 2019 14:05:57 -0000

Hi Pascal,

Note that it is a technicality due to a set of successive change that lead to
the current design, our proofs don’t rely on such complicated GroupContext
and interim transcript but only on the hash of the transcript itself.

I promised I would spend the time on fixing this but I haven’t find it yet.
I’ll do a PR to fix it within the next few weeks.

B.


> On Oct 11, 2019, at 3:53 PM, Richard Barnes <rlb@ipv.sx> wrote:
> 
> Because if you did that, then you would have a circular dependency:
> 
> interim_transcript_hash
> <= MLSPlaintext.confirmation
> <= confirmation_key
> <= GroupContext (via DeriveSecret)
> <= interim_transcript_hash
> 
> This was a problem in earlier versions!
> 
> On Thu, Oct 10, 2019 at 10:02 Pascal Junod <pascalj=40snap.com@dmarc.ietf.org <mailto:40snap.com@dmarc.ietf.org>> wrote:
> Hi !
> 
> Just wondering whether there is a reason why the interim_transcript_hash value (necessary to build Welcome messages) value is not contained into the GroupContext structure. 
> 
> Best, 
> 
> Pascal
> _______________________________________________
> MLS mailing list
> MLS@ietf.org <mailto:MLS@ietf.org>
> https://www.ietf.org/mailman/listinfo/mls <https://www.ietf.org/mailman/listinfo/mls>
> _______________________________________________
> MLS mailing list
> MLS@ietf.org
> https://www.ietf.org/mailman/listinfo/mls