From 1d42795e4d15737397d2b738d9ef859cc5a0e8e2 Mon Sep 17 00:00:00 2001 From: LesterEvSe <evgenii.nikolaevichfgh@gmail.com> Date: Wed, 18 Sep 2024 13:23:51 +0300 Subject: [PATCH] chore: clarify map_to_curve type --- crates/plume/src/map_to_curve.nr | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/plume/src/map_to_curve.nr b/crates/plume/src/map_to_curve.nr index 2df4516..7d30c94 100644 --- a/crates/plume/src/map_to_curve.nr +++ b/crates/plume/src/map_to_curve.nr @@ -56,6 +56,7 @@ fn xy2_selector(x1: Secpk1Fq, x2: Secpk1Fq, gx1: Secpk1Fq, gx2: Secpk1Fq) -> (Se if s1 { (x1, gx1_sqrt) } else { (x2, gx2_sqrt) } } +// As a result, we get a point not on the Secp256k1 curve, but a point E' that isogeny to this curve // Formula from https://www.ietf.org/archive/id/draft-irtf-cfrg-hash-to-curve-13.html#name-simplified-shallue-van-de-w pub fn map_to_curve(u: Secpk1Fq) -> Point { let z = Secpk1Fq::from_le_bytes(get_z());