Pairing function fail at unit test.

[AgustinBadi]

When doing aiken check the pairing function is not tthe test passing properly, the other probably there is an error in a small place:

` Compiling aiken-lang/stdlib 1.5.0 (/home/ash/Cardano/Modp/Prototyping/ak-128/build/packages/aiken-lang-stdlib)
Compiling ash/ak-128 0.0.0 (/home/ash/Cardano/Modp/Prototyping/ak-128)
Testing ...

┍━ groth ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
│ PASS [mem:     71640, cpu:     29650737] greater_than_1
│ PASS [mem:     11223, cpu:      4374244] sum_1
│ PASS [mem:     46435, cpu:     21846946] euclides_integer_1
│ PASS [mem:     32611, cpu:     15082636] euclides_integer_2
│ PASS [mem:     39523, cpu:     18464791] euclides_integer_3
│ PASS [mem:     30502, cpu:     13550181] inverse_integer_1
│ PASS [mem:     44326, cpu:     20314491] inverse_integer_2
│ PASS [mem:     51238, cpu:     23696646] inverse_integer_3
│ PASS [mem:     21429, cpu:      8485224] add_poly_1
│ PASS [mem:     21429, cpu:      8485224] sub_poly_1
│ PASS [mem:     17935, cpu:      7087182] sub_poly_2
│ PASS [mem:     17935, cpu:      7087182] sub_poly_3
│ PASS [mem:     12313, cpu:      4925998] sub_poly_4
│ PASS [mem:    197085, cpu:     74115283] mult_poly_1
│ PASS [mem:    197085, cpu:     74115283] mult_poly_2
│ PASS [mem:    197085, cpu:     74115283] mult_poly_3
│ PASS [mem:    197085, cpu:     74115283] mult_poly_4
│ PASS [mem:    156577, cpu:     58829370] mult_poly_5
│ PASS [mem:    156577, cpu:     58829370] mult_poly_6
│ PASS [mem:     37491, cpu:     15904824] fit_1
│ PASS [mem:    190095, cpu:     73650988] degree_1
│ PASS [mem:    256538, cpu:     95955217] div_mod_e_1
│ PASS [mem:     67290, cpu:     25626850] div_mod_e_2
│ PASS [mem:    447186, cpu:    172941180] div_mod_e_3
│ PASS [mem:    116840, cpu:     45542417] div_mod_e_4
│ PASS [mem:    567821, cpu:    215801477] div_mod_e_5
│ PASS [mem:   3986905, cpu:   1505841041] euclides_poly_1
│ PASS [mem:   3539797, cpu:   1348775244] euclides_poly_2
│ PASS [mem:    425492, cpu:    162025008] poly_mod_1
│ PASS [mem:    439316, cpu:    168789318] poly_mod_2
│ PASS [mem:    566725, cpu:    215056936] poly_mod_3
│ PASS [mem:   2443497, cpu:    945623920] mult_ef_1
│ PASS [mem:   2443497, cpu:    945623920] mult_ef_2
│ PASS [mem:   2700769, cpu:   1043856541] mult_ef_3
│ PASS [mem:  30962231, cpu:  11840984179] inverse_poly_1
│ PASS [mem:  23347110, cpu:   8946339239] inverse_poly_2
│ PASS [mem:  34685871, cpu:  13275790086] inverse_poly_3
│ FAIL [mem:  30981761, cpu:  11850575956] inverse_poly_4
│ PASS [mem:     12395, cpu:      4291397] eci_equivalence_1
│ PASS [mem:     20186, cpu:      8075114] eci_equivalence_2
│ PASS [mem:     14962, cpu:      5349574] eci_equivalence_3
│ PASS [mem:     18086, cpu:      6349595] eci_equivalence_4
│ PASS [mem:      9005, cpu:      5666205] semigroup_eci_1
│ PASS [mem:      7803, cpu:      4198938] semigroup_eci_2
│ PASS [mem:     77018, cpu:     38259024] semigroup_eci_3
│ FAIL [mem:     20743, cpu:     13619867] semigroup_eci_4
│ ↳ [wrong parameter] Division by zero
│ PASS [mem:     77902, cpu:     38260532] semigroup_eci_5
│ PASS [mem:    408432, cpu:    160343134] ecp_equivalence_1
│ PASS [mem:    199265, cpu:     75876025] ecp_equivalence_2
│ PASS [mem:    156457, cpu:     58926239] ecp_equivalence_3
│ PASS [mem:    161392, cpu:     61382195] poly_congruence_1
│ PASS [mem:    161392, cpu:     61382195] poly_congruence_2
│ PASS [mem:    223404, cpu:     86032203] poly_congruence_3
│ PASS [mem:      1003, cpu:       622510] negate_1
│ PASS [mem:      1003, cpu:       622510] negate_2
│ PASS [mem:     19633, cpu:      8548901] negate_poly_1
│ PASS [mem:     37561, cpu:     16010050] embed_1
│ PASS [mem:     37561, cpu:     16010050] embed_2
│ PASS [mem:  36342882, cpu:  14031477617] semigroup_ecp_1
│ PASS [mem:    279491, cpu:    109997899] semigroup_ecp_2
│ PASS [mem:  50247796, cpu:  19363981960] semigroup_ecp_3
│ PASS [mem:     77771, cpu:     32496746] embed_ec_1
│ PASS [mem:     77771, cpu:     32496746] embed_ec_2
│ PASS [mem:     77771, cpu:     32496746] embed_ec_3
│ FAIL [mem: 794663240, cpu: 306238920630] pairing_1
┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 65 tests | 62 passed | 3 failed

/home/ash/Cardano/Modp/Prototyping/ak-128/validators/groth.ak

× inverse_poly_4 failed
help: ┍━ left
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
│ (con data (Constr 121 [List [I 37, I 0, I 0, I 0, I 1, I 41, I
0]])) │
┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
━━━┙

    should be equal to

    ┍━ right
    ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
    │ (con data (Constr 121 [List [I 13, I 28, I 40, I 35, I 33, I 21, I
    0]])) │
    ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
    ━━━━━━━┙

/home/ash/Cardano/Modp/Prototyping/ak-128/validators/groth.ak

× semigroup_eci_4 failed
help: ┍━ left ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
│ The provided Plutus code called 'error'. │
┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

    should be equal to

    ┍━ right ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
    │ (con data (Constr 121 [I 31, I 16])) │
    ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┙

/home/ash/Cardano/Modp/Prototyping/ak-128/validators/groth.ak

× pairing_1 failed
help: ┍━ left
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
│ (con data (Constr 121 [List [I 14, I 2, I 37, I 42, I 40, I 7, I
0]])) │
┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
━━━━━┙

    should be equal to

    ┍━ right
    ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┑
    │ (con data (Constr 121 [List [I 41, I 25, I 24, I 27, I 10, I 35, I
    0]])) │
    ┕━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
    ━━━━━━━┙

Summary
3 errors, 0 warnings`