Add ecAddG2 precompile (#211)

* add ecAddG2 precompile

* add fp2 arithmetics

* fix jacobian add

* update documentation

* add g2JacobianDouble

* add valid tests

* fix point double

* add case b = -a

* fix typo

* remove console_logs

* add tests for out of field order

* add ecAddG2 precompile

* add gas reports

* change to camel-case

* fmt

* fix variables names

* add sage file to generate valid points

* add ecadd2 report to build.rs

.test-node-subtree/scripts/refresh_contracts.sh

@@ -12,7 +12,7 @@ for contract in "${contracts[@]}"; do
     cp $SRC_DIR/$contract.sol/$contract.json $DST_DIR
 done
 
-precompiles=("EcAdd" "EcMul" "EcPairing" "Ecrecover" "Keccak256" "ModExp" "P256VERIFY"  "SHA256" "secp256k1VERIFY" "EcMulG2")
+precompiles=("EcAdd" "EcMul" "EcPairing" "Ecrecover" "Keccak256" "ModExp" "P256VERIFY"  "SHA256" "secp256k1VERIFY" "EcAddG2" "EcMulG2")
 
 for precompile in "${precompiles[@]}"; do
     cp etc/system-contracts/contracts/precompiles/artifacts/$precompile.yul/$precompile.yul.zbin $DST_DIR

.test-node-subtree/src/deps/system_contracts.rs

@@ -16,6 +16,12 @@ pub const ECADD_PRECOMPILE_ADDRESS: Address = H160([
     0x00, 0x00, 0x00, 0x06,
 ]);
 
+/// The `ecAddG2` system contract address.
+pub const ECADD_G2_PRECOMPILE_ADDRESS: Address = H160([
+    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+    0x00, 0x00, 0x00, 0x0A,
+]);
+
 /// The `ecMul` system contract address.
 pub const ECMUL_PRECOMPILE_ADDRESS: Address = H160([
     0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
@@ -156,6 +162,11 @@ pub static COMPILED_IN_SYSTEM_CONTRACTS: Lazy<Vec<DeployedContract>> = Lazy::new
             ECADD_PRECOMPILE_ADDRESS,
             include_bytes!("contracts/EcAdd.yul.zbin").to_vec(),
         ),
+        (
+            "ECADD_G2_PRECOMPILE_ADDRESS",
+            ECADD_G2_PRECOMPILE_ADDRESS,
+            include_bytes!("contracts/EcAddG2.yul.zbin").to_vec(),
+        ),
         (
             "ECMUL_PRECOMPILE_ADDRESS",
             ECMUL_PRECOMPILE_ADDRESS,