Re: [Cfrg] hash-to-curve updates and suite reduction

Christopher Wood <> Thu, 07 May 2020 15:36 UTC

Return-Path: <>
Received: from localhost (localhost []) by (Postfix) with ESMTP id 69B4C3A0A09 for <>; Thu, 7 May 2020 08:36:39 -0700 (PDT)
X-Virus-Scanned: amavisd-new at
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: (amavisd-new); dkim=pass (2048-bit key) header.b=LWux0yjy; dkim=pass (2048-bit key) header.b=tamdnyzP
Received: from ([]) by localhost ( []) (amavisd-new, port 10024) with ESMTP id K9XPYgcfH1d5 for <>; Thu, 7 May 2020 08:36:37 -0700 (PDT)
Received: from ( []) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by (Postfix) with ESMTPS id 332F63A0A07 for <>; Thu, 7 May 2020 08:36:37 -0700 (PDT)
Received: from compute1.internal (compute1.nyi.internal []) by mailout.west.internal (Postfix) with ESMTP id 24BB44A7; Thu, 7 May 2020 11:36:36 -0400 (EDT)
Received: from imap4 ([]) by compute1.internal (MEProxy); Thu, 07 May 2020 11:36:36 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;; h=mime-version:message-id:in-reply-to:references:date:from:to :cc:subject:content-type:content-transfer-encoding; s=fm1; bh=3a e5a07VP7aDP+I+aPWId/2OMveb8dB4izJHdUZe52Y=; b=LWux0yjy9OK19qfm/7 /6q++Tuu8b/ZOjPksqHfhf7WH6q9WCLCK0Iyx0cMypCZt8C0G2tYe7jomW1hCluf Yg0vPdVdexBWjkfvNw81q81Jmeq02oSe++BrV5JPmZCgkF0WW6yhRCXJy9xKWJnL zn4AHuX0ZN6zTz/GawBXYlCtE4uEztZE8qTj7KQp1UvmBJqOSafcP+J6W1+s6RuZ O3PzPGzeRIbE4dlJ2x4mlicRF+0zKu39vy/lPgYr+V86VujodnPBPHUbjXSnmS7y g69K4BkKkFwpweNR45w9qkZSR9aQA/4ckjz6zrjlYY99qwNcpnCfz+x68IgLWQAC KMHQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=3ae5a07VP7aDP+I+aPWId/2OMveb8dB4izJHdUZe5 2Y=; b=tamdnyzPD5ABtsyMED/sBE2tO/wa8gVcTjdmsk0j3loVyFXHNFRl0kKwW Vi/t46PQD1lrC/Xr66qNZ1BADBIrxfBAnoXwqqTa5QaWnXrqbuC/qqf3DpeGEvZ2 k+N4ELXqes5T/s+24wUhbtGT4q1Iq6RTZHKXxKqxm9/8NkSmIIpR/0or4XMNM7IS YxWkBsokm+JeTleMLBd9oTIjZ1LA9OF+t1ku4VXWTNR3J2d9yYA2/XlBV4ZnR3ol ZoUOGYLXD2sXWJKII5CFqncBk25u6FdAYTFdlU/OgTmJPxGs9luCjy5XlvOm8zi7 NyrdNCyDnbDwuTs/k+582Z/VGqyLQ==
X-ME-Sender: <xms:Ayu0Xoxr9NXfTdRTTjW3jOqjAyJcx8vH4v8W7bZ5hW6tdENfAWBbMg>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrkedtgdekkecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefofgggkfgjfhffhffvufgtgfesthhqredtreerjeenucfhrhhomhepfdevhhhr ihhsthhophhhvghrucghohhougdfuceotggrfieshhgvrghpihhnghgsihhtshdrnhgvth eqnecuggftrfgrthhtvghrnhepkeffkeevgefhgfdtffeivedugfeltdehhfefvddvheel iedvgeevgeelfeetjedunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrg hilhhfrhhomheptggrfieshhgvrghpihhnghgsihhtshdrnhgvth
X-ME-Proxy: <xmx:Ayu0XshHYwm6C2N7bTgbQaz5nR-4crznV067_c172dYR3WG4jxg2oQ> <xmx:Ayu0XjPzUUiqMTmy5_TODO6lDUpfnauXzB2p-kk0W7BlW_3Rz9Udkw> <xmx:Ayu0XqZD1grW0UDYCxhYXTRqSLNodx0GuqdidoYtgS92w66u4lj6Qg> <xmx:Ayu0XrUs9B6qLOdZRoMPALklgjO_zRuXoCRyjyTfonLyNlsqMFxkdg>
Received: by mailuser.nyi.internal (Postfix, from userid 501) id 585FF3C00A1; Thu, 7 May 2020 11:36:35 -0400 (EDT)
X-Mailer: Webmail Interface
User-Agent: Cyrus-JMAP/3.3.0-dev0-413-g750b809-fmstable-20200507v1
Mime-Version: 1.0
Message-Id: <>
In-Reply-To: <>
References: <> <>
Date: Thu, 07 May 2020 08:36:15 -0700
From: Christopher Wood <>
To: Mike Hamburg <>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <>
Subject: Re: [Cfrg] hash-to-curve updates and suite reduction
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Crypto Forum Research Group <>
List-Unsubscribe: <>, <>
List-Archive: <>
List-Post: <>
List-Help: <>
List-Subscribe: <>, <>
X-List-Received-Date: Thu, 07 May 2020 15:36:40 -0000

Hi Mike,

Apologies for the delay, and thanks for raising this point. Please see inline below.

On Fri, May 1, 2020, at 4:52 PM, Mike Hamburg wrote:
> Hello Christopher,
> Sorry to be so late in the game on this, but I have a concern about 
> Elligator 2 as defined in hash-to-curve.
> One of the nice properties of Elligator 2 is that it’s an injective map 
> on [0..(p-1)/2], which is useful for canonically inverting the map.  
> However, the draft version is not injective on this domain.  Wouldn’t 
> it be better to choose sgn(t) according to is_square(gx1) instead of 
> according to sgn(u)?  That would also make it match the paper, except 
> for the different definitions of sgn().

I agree that inverting the map can be quite useful for some applications. However, to the best of my recollection, we haven't heard requests for this injective property in the past. I don't have a particularly strong opinion on this point, so I'm curious to hear what others here think about this proposal.