Re: Stream0 Design Team Proposal

Subodh Iyengar <subodh@fb.com> Wed, 23 May 2018 22:37 UTC

Return-Path: <prvs=86810e156b=subodh@fb.com>
X-Original-To: quic@ietfa.amsl.com
Delivered-To: quic@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 508FA127369 for <quic@ietfa.amsl.com>; Wed, 23 May 2018 15:37:29 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.71
X-Spam-Level:
X-Spam-Status: No, score=-2.71 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001, T_DKIMWL_WL_HIGH=-0.01, T_DKIMWL_WL_MED=-0.01, T_KAM_HTML_FONT_INVALID=0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=fb.com header.b=BUix24dG; dkim=pass (1024-bit key) header.d=fb.onmicrosoft.com header.b=M7Ihl6mD
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 umj8LeLZmyP4 for <quic@ietfa.amsl.com>; Wed, 23 May 2018 15:37:26 -0700 (PDT)
Received: from mx0b-00082601.pphosted.com (mx0b-00082601.pphosted.com [67.231.153.30]) (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 4610E124D37 for <quic@ietf.org>; Wed, 23 May 2018 15:37:26 -0700 (PDT)
Received: from pps.filterd (m0148460.ppops.net [127.0.0.1]) by mx0a-00082601.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w4NMYebL006241; Wed, 23 May 2018 15:37:15 -0700
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.com; h=from : to : subject : date : message-id : references : in-reply-to : content-type : mime-version; s=facebook; bh=BvIRwh+BbQ/ZVxrsDSQAbM6AM0IS4SETv1tlDZuwHB8=; b=BUix24dGgpNfSKNghBp+lLAXJ4yfzQaadobH4vEPxhkTNe1T7RXxwr1eduPRcRnub1BH 1A4ESBt1tUmPbnHjJ3C2u+UV9c2TDDNpyjnfI+SOQ623P92AO9V8UFUhoIa2pjofI+hK qjTvPR7N55h2++wUXZpFa3XPClHzP2xWD3Y=
Received: from mail.thefacebook.com ([199.201.64.23]) by mx0a-00082601.pphosted.com with ESMTP id 2j5fc0gapd-1 (version=TLSv1 cipher=ECDHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 23 May 2018 15:37:14 -0700
Received: from NAM01-SN1-obe.outbound.protection.outlook.com (192.168.54.28) by o365-in.thefacebook.com (192.168.16.20) with Microsoft SMTP Server (TLS) id 14.3.361.1; Wed, 23 May 2018 15:37:11 -0700
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fb.onmicrosoft.com; s=selector1-fb-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=BvIRwh+BbQ/ZVxrsDSQAbM6AM0IS4SETv1tlDZuwHB8=; b=M7Ihl6mD5vvK6zHy48E1M7pdPp2/ogIw/IlOKHvEhyApmkMAaiXstx+ZSLkAUZuQhEvJaFQjSL5y3+Vzu5Yvf2gFcwoYjPTKHHUV5o8B6EkkMDqnUzxg7ZC0P+xkZSShhMmhv7sm6QUDUAdKzFjjMbKhkuHpgd3XZPFrqkKun2M=
Received: from MWHPR15MB1821.namprd15.prod.outlook.com (10.174.255.137) by MWHPR15MB1933.namprd15.prod.outlook.com (10.174.100.146) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.797.11; Wed, 23 May 2018 22:37:09 +0000
Received: from MWHPR15MB1821.namprd15.prod.outlook.com ([fe80::808f:5749:11db:a6a4]) by MWHPR15MB1821.namprd15.prod.outlook.com ([fe80::808f:5749:11db:a6a4%18]) with mapi id 15.20.0776.019; Wed, 23 May 2018 22:37:09 +0000
From: Subodh Iyengar <subodh@fb.com>
To: Mike Bishop <mbishop@evequefou.be>, Christian Huitema <huitema@huitema.net>, "quic@ietf.org" <quic@ietf.org>
Subject: Re: Stream0 Design Team Proposal
Thread-Topic: Stream0 Design Team Proposal
Thread-Index: AQHT8jXGhBLiPTEoUE2u+pT4iGJsEaQ8oAoAgAAGHGiAACNkAIABHEGAgAACW9E=
Date: Wed, 23 May 2018 22:37:09 +0000
Message-ID: <MWHPR15MB18217FABBB1021C1D8C59952B66B0@MWHPR15MB1821.namprd15.prod.outlook.com>
References: <CAKcm_gM39_x+==WwYfb5qeiqB_qxdAt0ow69V+s_Jny3Ek_hDw@mail.gmail.com> <CABkgnnUB=jqwFzb2rjBHUFzOgu0hX0YUgaf5kW5ENNGKP+mGiA@mail.gmail.com> <MWHPR15MB1821F33BAB20815A38EB34A2B66B0@MWHPR15MB1821.namprd15.prod.outlook.com> <046ee03d-a675-86b6-ed3b-4fa69288c42d@huitema.net>, <SN1PR08MB1854C15D0B7806D0CCD30E70DA6B0@SN1PR08MB1854.namprd08.prod.outlook.com>
In-Reply-To: <SN1PR08MB1854C15D0B7806D0CCD30E70DA6B0@SN1PR08MB1854.namprd08.prod.outlook.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [2620:10d:c090:180::1:29f2]
x-ms-publictraffictype: Email
x-microsoft-exchange-diagnostics: 1; MWHPR15MB1933; 7:O6QK+NtEo+Ci0HLS6mJ7nmJmE9mESHjxZH/RDmraMStNSzZtzt2EcpDvYyzMnl3rR1tX8QmZXNi/gJ5MZW2mgbmes9iknjjFZEFVvkyTrweSMdyF9KaYW60ORnjiut9Qp9b93oprS7+axC3Zxe3KFTuuhaPPI2qCOc6kRVUbZI48Q1s12WxdrJ++GoAZz0F4tcT1aJw/RP4MGBi0o+naHSrnm3+Cq0IpbZQ4lDiH3QBsWm3gsn9+zvMQQQFZZUyD; 20:H/hqclRygitQDXAT1ZjVk051WCjxiYB10dZf29iXkIzIu4DfhanorotE96aUlT40pXKtVRONyPC8kpbs2NRyfOhlePvUurETFrXo77cU3uWaTNPL5pJ4+V/JuTFKa3dOr06hT6DL7QezPuXk3U1AxbwWIQL2wcqtKNF1zKmon2k=
x-ms-exchange-antispam-srfa-diagnostics: SOS;
x-microsoft-antispam: UriScan:; BCL:0; PCL:0; RULEID:(7020095)(4652020)(5600026)(4534165)(4627221)(201703031133081)(201702281549075)(2017052603328)(7153060)(7193020); SRVR:MWHPR15MB1933;
x-ms-traffictypediagnostic: MWHPR15MB1933:
x-microsoft-antispam-prvs: <MWHPR15MB1933D34F6AE69DE1D8AEE6DDB66B0@MWHPR15MB1933.namprd15.prod.outlook.com>
x-exchange-antispam-report-test: UriScan:(158342451672863)(10436049006162)(166708455590820)(85827821059158)(211936372134217)(100405760836317);
x-ms-exchange-senderadcheck: 1
x-exchange-antispam-report-cfa-test: BCL:0; PCL:0; RULEID:(8211001083)(6040522)(2401047)(8121501046)(5005006)(3231254)(11241501184)(944501410)(52105095)(93006095)(93001095)(10201501046)(3002001)(149027)(150027)(6041310)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123564045)(20161123558120)(20161123562045)(20161123560045)(6072148)(201708071742011)(7699016); SRVR:MWHPR15MB1933; BCL:0; PCL:0; RULEID:; SRVR:MWHPR15MB1933;
x-forefront-prvs: 06818431B9
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(366004)(346002)(376002)(396003)(39380400002)(189003)(199004)(51444003)(7736002)(97736004)(606006)(46003)(6116002)(14454004)(81166006)(55016002)(476003)(5660300001)(486006)(2900100001)(11346002)(446003)(54896002)(6306002)(236005)(6506007)(102836004)(9686003)(53936002)(6246003)(59450400001)(25786009)(5250100002)(2501003)(186003)(53546011)(86362001)(575784001)(105586002)(561944003)(106356001)(76176011)(93886005)(229853002)(33656002)(110136005)(6436002)(99286004)(2906002)(7696005)(3660700001)(3280700002)(68736007)(19627405001)(966005)(478600001)(8676002)(74316002)(6606003)(8936002)(316002)(81156014)(19627235001); DIR:OUT; SFP:1102; SCL:1; SRVR:MWHPR15MB1933; H:MWHPR15MB1821.namprd15.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; MX:1; A:1;
received-spf: None (protection.outlook.com: fb.com does not designate permitted sender hosts)
x-microsoft-antispam-message-info: 8bFkx+CuQD87+WXZNBtkhCHRRpNiL5DVl7cjTgb8ZCHiCdtZVpHeUs70aqI0ghP8en63fwCsCU1g+cQUp3vNN62OWYDSFbjA39xrz7Ldj5NtTjj19eUSwEujoWDZziTKVX1dgxn2/hfNnhiBd+/t2liwS1LBI2Hf1vc5Xt0GIWtbphX3I9n+TGzK6r9SN6pS
spamdiagnosticoutput: 1:99
spamdiagnosticmetadata: NSPM
Content-Type: multipart/alternative; boundary="_000_MWHPR15MB18217FABBB1021C1D8C59952B66B0MWHPR15MB1821namp_"
MIME-Version: 1.0
X-MS-Office365-Filtering-Correlation-Id: 4d2c7cbd-1851-45dd-9739-08d5c0fdb853
X-MS-Exchange-CrossTenant-Network-Message-Id: 4d2c7cbd-1851-45dd-9739-08d5c0fdb853
X-MS-Exchange-CrossTenant-originalarrivaltime: 23 May 2018 22:37:09.2819 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 8ae927fe-1255-47a7-a2af-5f3a069daaa2
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR15MB1933
X-OriginatorOrg: fb.com
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2018-05-23_08:, , signatures=0
X-Proofpoint-Spam-Reason: safe
X-FB-Internal: Safe
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/R3q3zn64eFAUahPIlT2j10k2Fug>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Main mailing list of the IETF QUIC working group <quic.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic>, <mailto:quic-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic/>
List-Post: <mailto:quic@ietf.org>
List-Help: <mailto:quic-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic>, <mailto:quic-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 23 May 2018 22:37:30 -0000

FWIW I see EMPTY_ACKs as being very similar to a Duplicate ack. We thought about using Duplicate acks as well but we thought that EMPTY_ACks would be simpler to implement and be able to convey similar information.


Subodh

________________________________
From: QUIC <quic-bounces@ietf.org> on behalf of Mike Bishop <mbishop@evequefou.be>
Sent: Wednesday, May 23, 2018 3:26:35 PM
To: Christian Huitema; quic@ietf.org
Subject: RE: Stream0 Design Team Proposal


Christian, can you expand on why you dislike the EMPTY_ACK?  Being able to say “I’ve received some packets from you, but am unable to process any of them because I’m missing some handshake data” seems like a useful way to short-circuit timeouts on clients.  It also doesn’t commit the server to holding any state – IIUC, a server could form a packet containing an EMPTY_ACK and then discard its internal state until it gets the retransmitted (or delayed) Initial packet.



From: QUIC <quic-bounces@ietf.org> On Behalf Of Christian Huitema
Sent: Tuesday, May 22, 2018 10:29 PM
To: quic@ietf.org
Subject: Re: Stream0 Design Team Proposal



I like the proposal. In particular, I really like the encryption of handshake packets with the handshake key, as it does close a number of avenues for attacks. And I like that it solves the "ack promotion" issue that I was complaining against for some time. Turns out that in the current draft, it is very hard to contain that problem if you enable client auth.



On the other hand, I agree with Martin that a lot of the additions to transmission recovery should be moved to separate PRs. I am not enthusiastic with the EMPTY ACK mechanism, or with the proposed "implicit acknowledgement" of a lower crypto stream by a higher level ack. In any case, starting as simple as possible would help having the first implementations and tests.



On 5/22/2018 8:26 PM, Subodh Iyengar wrote:

As an implementor of fizz, I support this design and am willing to implement this as well.



While this is a change in the API that TLS classically exposes, I think this is the right tradeoff because it helps make things way more explicit which will prevent several other bugs from happening in the future.



Subodh

________________________________

From: QUIC <quic-bounces@ietf.org><mailto:quic-bounces@ietf.org> on behalf of Martin Thomson <martin.thomson@gmail.com><mailto:martin.thomson@gmail.com>
Sent: Tuesday, May 22, 2018 8:00:40 PM
To: Ian Swett
Cc: ekr@mozilla.com<mailto:ekr@mozilla.com>; QUIC WG
Subject: Re: Stream0 Design Team Proposal



First of all, thanks to the design team for the work they have done.  I
haven't digested everything yet, but I think that I have a good sense of
the shape of the proposal.

Overall, this looks like a workable design.  It's a lot more invasive of
the cryptographic handshake implementation than I had thought people were
willing to stomach originally.  But it's clear that we've run into problems
with the current, more abstract API and this is a fairly natural way to
split TLS.  I've spent a little time thinking about how this might be
implemented and I think that it's not going to be *too* painful.  The proof
will be in the pudding there though.

In looking at the PR, I really appreciate seeing all the changes together.
BTW, the link above points to the wrong PR, so be careful (it appears to
have the same content, but that's not guaranteed).  The actual PR is here:
https://github.com/quicwg/base-drafts/pull/1377

I've pushed a branch to the main repo so that you can preview the entire
document set: https://urldefense.proofpoint.com/v2/url?u=https-3A__quicwg.github.io_base-2Ddrafts_stream0_&d=DwIBaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=h3Ju9EBS7mHtwg-wAyN7fQ&m=_vGK3zTKFrMOkFihJnPntLYw1T0_NEMiHYSM0Q_u1JA&s=ususmtxI3BTaLlBWe_HkQUWRH4sBI0Cggj1oWZMBHak&e=

It seems like there are some core changes here and a bunch of separable or
at least secondary changes.  I'm sure that each one has its own
justification, but that isn't always clear. The following changes seem like
they are separable:

* The use of separate packet number spaces
* The Retry packet changes (and NEW_TOKEN)
* EMPTY_ACK
* The TLS extension for flow control

Right now, some of these appear to be entirely gratuitous.  I'd like to get
to the bottom of each before we continue.

At a minimum, the PR we land first should include just the core changes.
As you say, reviewing a monster PR like this will only make GitHub weep
unicorns, but we might be able to cut this into smaller pieces.

On Wed, May 23, 2018 at 11:31 AM Ian Swett <ianswett=
40google.com@dmarc.ietf.org<mailto:40google.com@dmarc.ietf.org>> wrote:

> Dear QUIC WG,


> On behalf of the Stream 0 Design Team, I am pleased to report that we
have consensus on a proposed approach to share with the WG. The DT's
proposal will make QUIC and TLS work closer together and incorporates ideas
from DTLS, but it does not use the DTLS protocol itself.


> The DT believes this solves the important open Stream 0 issues. The
proposal will be a bit more invasive in TLS, but we believe it is the right
long-term direction and several TLS stacks (BoringSSL, PicoTLS, NSS, and
Mint) are willing and able to do the work necessary.. A number of stacks
are currently working on implementations of this new approach, which we
hope to have in time for the Interim meeting.


> A design document describing the overall approach can be found at:


https://urldefense.proofpoint.com/v2/url?u=https-3A__docs.google.com_document_d_1fRsJqPinJl8N3b-2DbflDRV6auojfJLkxddT93j6SwHY8_edit&d=DwIBaQ&c=5VD0RTtNlTh3ycd41b3MUw&r=h3Ju9EBS7mHtwg-wAyN7fQ&m=_vGK3zTKFrMOkFihJnPntLYw1T0_NEMiHYSM0Q_u1JA&s=jDNnz34hmWvLSQnHkSnYdihW-jG-0xZ-YYqKq30wVGg&e=


> A PR making the changes to the QUIC documents can be found at:

> https://github.com/quicwg/base-drafts/pull/1377


> A few design details did not have clear consensus, but it was felt it
would be better to discuss those in the wider WG than delay the design
team.  A consistent choice was made in the PR and these issues are
mentioned in Appendix B of the design doc.


> As always, comments and questions welcome. That said, this is a big PR
and we recognize that some editorial work is going to be needed before
merging. In the interest of letting people follow along, and to keep github
from falling over, we ask people to keep discussion on the mailing list and
refrain from making PR comments.


> See you in Kista!


> Ian and Eric