Re: [Cfrg] Outline -> was Re: normative references

Yoav Nir <ynir@checkpoint.com> Thu, 16 January 2014 07:08 UTC

Return-Path: <ynir@checkpoint.com>
X-Original-To: cfrg@ietfa.amsl.com
Delivered-To: cfrg@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 681B31AE22E for <cfrg@ietfa.amsl.com>; Wed, 15 Jan 2014 23:08:12 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.439
X-Spam-Level:
X-Spam-Status: No, score=-7.439 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_HI=-5, RP_MATCHES_RCVD=-0.538, SPF_PASS=-0.001] autolearn=ham
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 Ey-opcCmSWm4 for <cfrg@ietfa.amsl.com>; Wed, 15 Jan 2014 23:08:11 -0800 (PST)
Received: from smtp.checkpoint.com (smtp.checkpoint.com [194.29.34.68]) by ietfa.amsl.com (Postfix) with ESMTP id 9C3D01AE1FA for <cfrg@irtf.org>; Wed, 15 Jan 2014 23:08:10 -0800 (PST)
Received: from IL-EX10.ad.checkpoint.com ([194.29.34.147]) by smtp.checkpoint.com (8.13.8/8.13.8) with ESMTP id s0G77pso008927; Thu, 16 Jan 2014 09:07:51 +0200
X-CheckPoint: {52D77F99-C-1B221DC2-1FFFF}
Received: from DAG-EX10.ad.checkpoint.com ([169.254.3.110]) by IL-EX10.ad.checkpoint.com ([169.254.2.228]) with mapi id 14.03.0123.003; Thu, 16 Jan 2014 09:07:51 +0200
From: Yoav Nir <ynir@checkpoint.com>
To: Watson Ladd <watsonbladd@gmail.com>
Thread-Topic: [Cfrg] Outline -> was Re: normative references
Thread-Index: AQHPEmDV6O7gRlyhbU2fCK7OmdyO+ZqGzRMA
Date: Thu, 16 Jan 2014 07:07:50 +0000
Message-ID: <EB24B0FA-294F-45C0-8162-AD46C081AB92@checkpoint.com>
References: <CEFC6B5C.2C6E8%paul@marvell.com> <CACsn0ckSMUbEJ4F3bQ5KVMbhdPQw1MTMCce6B8uhMfA_V0Nupw@mail.gmail.com>
In-Reply-To: <CACsn0ckSMUbEJ4F3bQ5KVMbhdPQw1MTMCce6B8uhMfA_V0Nupw@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [172.31.20.116]
x-kse-antivirus-interceptor-info: protection disabled
Content-Type: text/plain; charset="Windows-1252"
Content-ID: <8643CD68BAD3FD47B3701173D3619838@ad.checkpoint.com>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
Cc: Yaron Sheffer <yaronf.ietf@gmail.com>, David McGrew <mcgrew@cisco.com>, "cfrg@irtf.org" <cfrg@irtf.org>
Subject: Re: [Cfrg] Outline -> was Re: normative references
X-BeenThere: cfrg@irtf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: Crypto Forum Research Group <cfrg.irtf.org>
List-Unsubscribe: <http://www.irtf.org/mailman/options/cfrg>, <mailto:cfrg-request@irtf.org?subject=unsubscribe>
List-Archive: <http://www.irtf.org/mail-archive/web/cfrg/>
List-Post: <mailto:cfrg@irtf.org>
List-Help: <mailto:cfrg-request@irtf.org?subject=help>
List-Subscribe: <http://www.irtf.org/mailman/listinfo/cfrg>, <mailto:cfrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Thu, 16 Jan 2014 07:08:12 -0000

On Jan 16, 2014, at 4:15 AM, Watson Ladd <watsonbladd@gmail.com>
 wrote:

> On Wed, Jan 15, 2014 at 5:38 PM, Paul Lambert <paul@marvell.com> wrote:
>> Watson,
>> 
>>>> I’ve been trying to be helpful, but your arguments against well intended
>>>> suggestions is frustrating.   It’s difficult to contribute if you’re
>>>> arguing for a sloppy RFC because the code is the reference.
>>> 
>>> I'm arguing for a precise statement of what needs to be calculated,
>>> and nothing else.
>> 
>> Likewise … but precision of math is not the same as precision of
>> protocol interoperability.
> 
> If we merely needed to define the protocol to be interoperable, then
> "big endian x coordinate of points on y^2=x^3+486662x^2+x over
> GF(2^255-19) with Diffie-Hellman packed to 32 bytes with leading 0,
> basepoint x coordinate 9" would
> completely define the protocol.

And just to be on the safe side, it's best to also add a numerical example: an x and y in numerical form and then encoded as on the network.

We usually craft RFCs so as to be understandable to implementers in general, which could be fresh comp-sci or software engineering graduates who have never taken a cryptography course, and who have never programmed in a low enough level to consider endianness. No, you don't have to explain asymmetric crypto - they can look it up, but you should not assume any deeper knowledge than there is in the relevant wikipedia article.

That should be the assumption for a crypto document. Consider yourself lucky. Some documents need to be understood by the "teach yourself Javascript in 21 days" crowd.

Yoav