Add tests for points outside the field (#79)

lambdaclass · Sep 15, 2023 · f7e551d · f7e551d
1 parent 62cf99f
commit f7e551d
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/tests/ecmul_tests.rs b/tests/tests/ecmul_tests.rs
@@ -1480,3 +1480,17 @@ async fn ecmul_0_3_0_28000_128() {
 	assert!(era_call(ECMUL_PRECOMPILE_ADDRESS, None, Some(Bytes::from(hex::decode("0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000").unwrap()))).await.is_err());
 }
 
+// Puts the point (21888242871839275222246405745257275088696311157297823662689037894645226208583, 2) and the factor 2 into the ECMUL precompile, truncating or expanding the input data to 96 bytes. Gives the execution 28000 bytes
+#[tokio::test]
+async fn ecmul_invalid_point_p_2_28000_96() {
+	assert!(eth_call(ECMUL_PRECOMPILE_ADDRESS, None, Some(Bytes::from(hex::decode("30644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD4700000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002").unwrap()))).await.is_err());
+	assert!(era_call(ECMUL_PRECOMPILE_ADDRESS, None, Some(Bytes::from(hex::decode("30644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD4700000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002").unwrap()))).await.is_err());
+}
+
+// Puts the point (21888242871839275222246405745257275088696311157297823662689037894645226208584, 21888242871839275222246405745257275088696311157297823662689037894645226208585) and the factor 2 into the ECMUL precompile, truncating or expanding the input data to 96 bytes. Gives the execution 28000 bytes
+#[tokio::test]
+async fn ecmul_invalid_point_p_plus_1_p_plus_2_28000_96() {
+	assert!(eth_call(ECMUL_PRECOMPILE_ADDRESS, None, Some(Bytes::from(hex::decode("30644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD4830644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD490000000000000000000000000000000000000000000000000000000000000002").unwrap()))).await.is_err());
+	assert!(era_call(ECMUL_PRECOMPILE_ADDRESS, None, Some(Bytes::from(hex::decode("30644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD4830644E72E131A029B85045B68181585D97816A916871CA8D3C208C16D87CFD490000000000000000000000000000000000000000000000000000000000000002").unwrap()))).await.is_err());
+}
+