pairing.c: zero is not an element of Fp12 group.

dot-asm · dot-asm · commit f2380d22a1c6 · 2022-03-03T14:01:15.000+01:00
Fixes #108.
diff --git a/src/pairing.c b/src/pairing.c
@@ -433,7 +433,7 @@ int blst_fp12_in_group(const vec384fp12 f)
 {
     vec384fp12 a, b;
 
-    if (!is_cyclotomic(f))
+    if (vec_is_zero(f, sizeof(vec384fp12)) || !is_cyclotomic(f))
         return 0;
 
     frobenius_map_fp12(a, f, 1);

Original file line number	Diff line number	Diff line change
`@@ -433,7 +433,7 @@ int blst_fp12_in_group(const vec384fp12 f)`
`433`	`433`	`{`
`434`	`434`	`vec384fp12 a, b;`
`435`	`435`
`436`		`- if (!is_cyclotomic(f))`
	`436`	`+ if (vec_is_zero(f, sizeof(vec384fp12)) \|\| !is_cyclotomic(f))`
`437`	`437`	`return 0;`
`438`	`438`
`439`	`439`	`frobenius_map_fp12(a, f, 1);`