fix: return G2NotInSubgroup for G2 subgroup check failure

Fibonacci747 · web-flow · commit ea9efea454b8 · 2025-11-16T14:19:16.000+01:00
diff --git a/crates/precompile/src/bls12_381/arkworks.rs b/crates/precompile/src/bls12_381/arkworks.rs
@@ -179,7 +179,7 @@ fn read_g2(
 ) -> Result<G2Affine, PrecompileError> {
     let point = read_g2_no_subgroup_check(a_x_0, a_x_1, a_y_0, a_y_1)?;
     if !point.is_in_correct_subgroup_assuming_on_curve() {
-        return Err(PrecompileError::Bls12381G1NotInSubgroup);
+        return Err(PrecompileError::Bls12381G2NotInSubgroup);
     }
     Ok(point)
 }

Original file line number	Diff line number	Diff line change
`@@ -179,7 +179,7 @@ fn read_g2(`
`179`	`179`	`) -> Result<G2Affine, PrecompileError> {`
`180`	`180`	`let point = read_g2_no_subgroup_check(a_x_0, a_x_1, a_y_0, a_y_1)?;`
`181`	`181`	`if !point.is_in_correct_subgroup_assuming_on_curve() {`
`182`		`- return Err(PrecompileError::Bls12381G1NotInSubgroup);`
	`182`	`+ return Err(PrecompileError::Bls12381G2NotInSubgroup);`
`183`	`183`	`}`
`184`	`184`	`Ok(point)`
`185`	`185`	`}`