Re: [Cfrg] Safecurves draft

Robert Ransom <> Thu, 09 January 2014 13:32 UTC

Return-Path: <>
Received: from localhost ( []) by (Postfix) with ESMTP id E00801AE2DE for <>; Thu, 9 Jan 2014 05:32:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at
X-Spam-Flag: NO
X-Spam-Score: -1.75
X-Spam-Status: No, score=-1.75 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, SPF_PASS=-0.001] autolearn=no
Received: from ([]) by localhost ( []) (amavisd-new, port 10024) with ESMTP id eo8U7YNRPHDF for <>; Thu, 9 Jan 2014 05:32:29 -0800 (PST)
Received: from ( [IPv6:2607:f8b0:400d:c02::22b]) by (Postfix) with ESMTP id BC2441AE2CD for <>; Thu, 9 Jan 2014 05:32:29 -0800 (PST)
Received: by with SMTP id jy17so3001930qeb.16 for <>; Thu, 09 Jan 2014 05:32:20 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=8+K0PXriq8+ITmuXIRsosCVe4/3BCPBiva0lXuZCDow=; b=RhBSmke8Gb9zE90ToZgsdhKlLzVk9BJfhTbDgG2QTRROk4y+NDvWygizxkvyJvh3l5 7oQyHRGmbE+T5/7BAXNTu0rURs7Cz2cOEsLdUWWJMS2WL2jV2LSsX5jG5xgDiaXY/VzD p7BnfqmjMqXuT84tZkGKbteNfx0PaiXNUJKSm1+vUYmQPBPqyfrwvt0tMIqfVBtUXLCI wMDfLtzBQQbbrnoav7sgEE2JZYELtkxdykKJOWgR01j/+cAx1HQQmzDzVCrDxRyFqU15 G+BlyARexXUdu59+9oU5sgmpUNi8qqfFXPVWRQWmh/TpbMBdEuvWsF/Si9tKtYIaRVRq HS9w==
MIME-Version: 1.0
X-Received: by with SMTP id js5mr7621428qeb.36.1389274340139; Thu, 09 Jan 2014 05:32:20 -0800 (PST)
Received: by with HTTP; Thu, 9 Jan 2014 05:32:19 -0800 (PST)
In-Reply-To: <>
References: <> <> <>
Date: Thu, 09 Jan 2014 05:32:19 -0800
Message-ID: <>
From: Robert Ransom <>
To: Bodo Moeller <>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Cc: "" <>, Adam Back <>
Subject: Re: [Cfrg] Safecurves draft
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: Crypto Forum Research Group <>
List-Unsubscribe: <>, <>
List-Archive: <>
List-Post: <>
List-Help: <>
List-Subscribe: <>, <>
X-List-Received-Date: Thu, 09 Jan 2014 13:32:31 -0000

On 1/9/14, Bodo Moeller <> wrote:
> In that context, given that the name
> "Curve25519" is already overloaded, and that we probably should make the
> Edwards representation available for DH too (in addition to EdDSA),

No.  Montgomery-form variable-base single-scalar multiplication takes
5M+4S per scalar bit; Edwards-form doublings alone (in ‘extended
coordinates with a=-1’) are 4M+4S (or 3M+4S if the output will only be
used as input to another doubling).  There is no reason to use an
Edwards-form y coordinate in a Curve25519 point representation that
will be used for DH.  (But there's also no reason to use a
Montgomery-form y coordinate in a Curve25519 point representation;
even if the point will need to be compatible with use in ECDH, use the
Edwards-form x coordinate or its sign bit instead.)

(For some other curves over large (at least 8-limb) coordinate fields,
e.g. s=2170 over the Curve3617 coordinate field, the 3M+6S formulas
shown at <>
are faster, but Dr. Bernstein wouldn't consider those curves to be
‘safe’.  (The differential addition formulas on that page have an
exceptional case at Y1=0.))

Robert Ransom