Add tests

Author: sisuresh

soroban-sdk/src/tests/crypto_bn254.rs

@@ -63,6 +63,30 @@ fn test_g1_msm() {
     assert_eq!(res, zero);
 }
 
+#[test]
+#[should_panic(expected = "HostError: Error(Crypto, InvalidInput)")]
+fn test_g1_msm_mismatched_lengths() {
+    let env = Env::default();
+    let bn254 = Bn254::new(&env);
+    let one = Bn254G1Affine::from_bytes(bytesn!(
+        &env,
+        0x00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002
+    ));
+    let vp: Vec<Bn254G1Affine> = vec![&env, one.clone(), one.clone()];
+    let vs: Vec<Fr> = vec![&env, U256::from_u32(&env, 1).into()];
+    bn254.g1_msm(vp, vs);
+}
+
+#[test]
+#[should_panic(expected = "HostError: Error(Crypto, InvalidInput)")]
+fn test_g1_msm_empty_vectors() {
+    let env = Env::default();
+    let bn254 = Bn254::new(&env);
+    let vp: Vec<Bn254G1Affine> = vec![&env];
+    let vs: Vec<Fr> = vec![&env];
+    bn254.g1_msm(vp, vs);
+}
+
 #[test]
 fn test_fr_arithmetic() {
     let env = Env::default();
@@ -118,6 +142,14 @@ fn test_fr_arithmetic() {
     );
 }
 
+#[test]
+#[should_panic(expected = "HostError: Error(Crypto, InvalidInput)")]
+fn test_fr_inv_zero() {
+    let env = Env::default();
+    let bn254 = Bn254::new(&env);
+    bn254.fr_inv(&U256::from_u32(&env, 0).into());
+}
+
 #[test]
 fn test_fr_operator_traits() {
     let env = Env::default();