diff --git a/src/bls12_381/README.md b/src/bls12_381/README.md index f54fac3..ae968ce 100644 --- a/src/bls12_381/README.md +++ b/src/bls12_381/README.md @@ -34,7 +34,7 @@ Our extension field tower is constructed as follows: 2. Fq6 is constructed as Fq2(v) / (v3 - ξ) where ξ = u + 1 3. Fq12 is constructed as Fq6(w) / (w2 - γ) where γ = v -Now, we instantiate the elliptic curve E(Fq) : y2 = x3 + 4, and the elliptic curve E'(Fq2) : y2 = x3 + 4v. +Now, we instantiate the elliptic curve E(Fq) : y2 = x3 + 4, and the elliptic curve E'(Fq2) : y2 = x3 + 4(u + 1). The group G1 is the *r* order subgroup of E, which has cofactor (x - 1)2 / 3. The group G2 is the *r* order subgroup of E', which has cofactor (x8 - 4x7 + 5x6 - 4x4 + 6x3 - 4x2 - 4x + 13) / 9.