Re: [MLS] Message ordering

Karthikeyan Bhargavan <karthik.bhargavan@gmail.com> Tue, 29 May 2018 20:54 UTC

Return-Path: <karthik.bhargavan@gmail.com>
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 8754512EBCF for <mls@ietfa.amsl.com>; Tue, 29 May 2018 13:54:14 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.999
X-Spam-Level:
X-Spam-Status: No, score=-1.999 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
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 kDuyQk8S-DCn for <mls@ietfa.amsl.com>; Tue, 29 May 2018 13:54:12 -0700 (PDT)
Received: from mail-wr0-x229.google.com (mail-wr0-x229.google.com [IPv6:2a00:1450:400c:c0c::229]) (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 427DB127275 for <mls@ietf.org>; Tue, 29 May 2018 13:54:12 -0700 (PDT)
Received: by mail-wr0-x229.google.com with SMTP id v13-v6so15671253wrp.13 for <mls@ietf.org>; Tue, 29 May 2018 13:54:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=yTzD5N4qBfoxDsoyJf7H41PdPfNf4y5RwlNgJVqTqJo=; b=ELFXQKtRn21Xnp5RDje7l+A9hHcmCwpFWgu1EqUWlWoED0fPa6tUvPYAzKXflbyCcK 2P0TQ5yHmHu9yGMid/UDY/75Bi4O9XHy+76AmhrGRDMeOpyGTqA/AYTYc5OLRjJlcFXu fvPzXvPx20NyHN7FEMwyd6GvJq4LHwSZgEblZfw/LQYYUxOeKhhY2/RE3MQL45Ea7XFn epCxTLmy12tVE0ad7c52dzul4fSyUneheMl9lOpkh1Rl4GPv8vbZeHu2yTbZuALWH9f0 /G0ohjMSJMTHY08JwBvDxAnrZTDpFeGdj51evKwwJ3DzQsiVRZ9BJ7veK5biyhpyd+UK IdqQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=yTzD5N4qBfoxDsoyJf7H41PdPfNf4y5RwlNgJVqTqJo=; b=eMxKG4cMRfxFzFMbpDlc+liluV7xaSN60PQUYhnDZOoJGit1Wzq6SqAFwmt9NAvo4r UgtryXOz07lIBodO2J6yL/1ush1R2C2Y9Cpj9+I+UKs2gXsXDrwoVckeCqxShJIIkPz0 hf4Ko3wXkCirg5B9/0edsdYuEGJhcD6BXa7c9z/UTzwp6jcy7UJ9ij+Lwod3Ogw/z0EF iIvysPKEOFm751fF+TkktKQpL/smGzkQDGKZ28zPPgSqMPCsD7i1IIhTVj/fFnKCzrv1 LbMiiuvt0ITVVbSqrcUsga0vuCym2ZVLKa0Kzqd1heUzPYZIWANd1kUAO1bJfCNTV5b3 ChYQ==
X-Gm-Message-State: ALKqPwf2txfvybF7+lRxwhKwS98h4b8jDF3XRaus3LX0RhEPm/FCLEW1 EFkLaggVOd6UfS1qAmlbmNmKd4O3
X-Google-Smtp-Source: AB8JxZoHB4WFqczsx8LHMpgpx7ypWAc74IVPMB1pCZ6+0TSx0CAxbTEt6esTrMWor79YERipnCOZ6Q==
X-Received: by 2002:adf:aea2:: with SMTP id y31-v6mr15493225wrc.23.1527627250722; Tue, 29 May 2018 13:54:10 -0700 (PDT)
Received: from [192.168.0.51] (ip-16.net-89-3-97.rev.numericable.fr. [89.3.97.16]) by smtp.gmail.com with ESMTPSA id e80-v6sm22532753wmd.1.2018.05.29.13.54.10 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 29 May 2018 13:54:10 -0700 (PDT)
Content-Type: text/plain; charset="us-ascii"
Mime-Version: 1.0 (Mac OS X Mail 11.3 \(3445.6.18\))
From: Karthikeyan Bhargavan <karthik.bhargavan@gmail.com>
In-Reply-To: <008b01d3f788$3f34bc70$bd9e3550$@virgilsecurity.com>
Date: Tue, 29 May 2018 22:53:23 +0200
Cc: mls@ietf.org
Content-Transfer-Encoding: quoted-printable
Message-Id: <27E7AA31-0993-45E7-86D1-0D90EFB2D487@gmail.com>
References: <008b01d3f788$3f34bc70$bd9e3550$@virgilsecurity.com>
To: Alexey Ermishkin <scratch@virgilsecurity.com>
X-Mailer: Apple Mail (2.3445.6.18)
Archived-At: <https://mailarchive.ietf.org/arch/msg/mls/sFeA6KHNE-33QfolNEwt8atRGbk>
Subject: Re: [MLS] Message ordering
X-BeenThere: mls@ietf.org
X-Mailman-Version: 2.1.22
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: Tue, 29 May 2018 20:54:15 -0000

> All messages (not only state change messages) must have a counter field
> which must be unique among all the messages and server must reject messages
> that have this field duplicated.

Good catch. I think this may be too strong a requirement. 
With the right design adjustments, we will probably find that per-sender counters are enough.

-Karthik


> This might be ok for a group of 3. But as MLS targets groups up to 50k
> users, I believe  the percent of rejected messages will dramatically
> increase and affect user experience.
> I know that ART or TreeKem is, in the end, supposed to be bound to double
> ratchet's KDF chain which have one sequence of message numbers per "epoch"
> but that clearly won't work for large groups where participants will
> constantly have to work on some "consensus" during communication.
> I believe there's better solution to this problem. Maybe we should consider
> making a unique KDF chain (prefix?) for each group member and perform
> timestamp-based ordering, I'm not sure.
> 
> Regards, 
> Alex
> 
> 
> _______________________________________________
> MLS mailing list
> MLS@ietf.org
> https://www.ietf.org/mailman/listinfo/mls