Integration tests benchmarks (privacy-scaling-explorations#1615)

### Description

Move SC compilation step to a build script. Rewrite deployment function
based on SC rust bindings generated with

[ethers_contract_abigen::Abigen](https://docs.rs/ethers-contract-abigen/latest/ethers_contract_abigen/)
and submit Txs for proof generation benchmarking.

### Issue Link

privacy-scaling-explorations#1557 

### Type of change

- New feature (non-breaking change which adds functionality)

### Contents

- build.rs : Compile smart contracts and generate rust bindings
- gen_blockchain_data: 
- Remove compilation step and rewrite fn deploy. New one uses the
bindings generated at build step to deploy SCs and also instantiates SC
instances to interact with.
- Create a dump TxTrace function [needed for testing future
implementations of benchmark contracts - needs attribute
allow(dead_code)]
- Submit Txs optimized for maximum calls of MLOAD and SDIV up to 300k
gas
### How Has This Been Tested?
```
https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/6264433154
```


~~https://github.com/privacy-scaling-explorations/zkevm-circuits/actions/runs/6234076847/job/16920593180~~
~~>> Workflow build step is currently failing~~

---------

Co-authored-by: ntampakas <[email protected]>
Co-authored-by: Chih Cheng Liang <[email protected]>

Author: 3 people

.github/workflows/integration.yml

@@ -93,6 +93,10 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+      - name: Update git submodule
+        run: git submodule update --init --recursive --checkout integration-tests/contracts/vendor/openzeppelin-contracts
+      - name: Install openssl
+        run: sudo apt-get install -y pkg-config libssl-dev        
       # Run an initial build in a separate step to split the build time from execution time
       - name: Build bins
         run: cargo build --bin gen_blockchain_data

.github/workflows/lints.yml

@@ -59,6 +59,16 @@ jobs:
             target/
           key: lint-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
 
+      - name: Install solc
+        run: |
+          sudo wget -O /usr/bin/solc https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
+          sudo chmod +x /usr/bin/solc
+      - name: Update ERC20 git submodule
+        run: git submodule update --init --recursive --checkout integration-tests/contracts/vendor/openzeppelin-contracts
+      - name: Cargo build
+        uses: actions-rs/cargo@v1
+        with:
+          command: build
       - name: Check code format
         uses: actions-rs/cargo@v1
         with:

.github/workflows/main-tests.yml

@@ -69,6 +69,12 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+      - name: Install solc
+        run: |
+          sudo wget -O /usr/bin/solc https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
+          sudo chmod +x /usr/bin/solc
+      - name: Update ERC20 git submodule
+        run: git submodule update --init --recursive --checkout integration-tests/contracts/vendor/openzeppelin-contracts
       - name: Run light tests # light tests are run in parallel
         uses: actions-rs/cargo@v1
         with:
@@ -121,6 +127,12 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+      - name: Install solc
+        run: |
+          sudo wget -O /usr/bin/solc https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
+          sudo chmod +x /usr/bin/solc
+      - name: Update ERC20 git submodule
+        run: git submodule update --init --recursive --checkout integration-tests/contracts/vendor/openzeppelin-contracts
       - name: Run heavy tests # heavy tests are run serially to avoid OOM
         uses: actions-rs/cargo@v1
         with:
@@ -163,6 +175,12 @@ jobs:
             ~/.cargo/git/db/
             target/
           key: build-${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
+      - name: Install solc
+        run: |
+          sudo wget -O /usr/bin/solc https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
+          sudo chmod +x /usr/bin/solc
+      - name: Update ERC20 git submodule
+        run: git submodule update --init --recursive --checkout integration-tests/contracts/vendor/openzeppelin-contracts
       - name: cargo build
         uses: actions-rs/cargo@v1
         with:

Cargo.lock

@@ -1 +1,4 @@
 gendata_output.json
+src/bindings_benchmarks.rs
+src/bindings_greeter.rs
+src/bindings_openzeppelinerc20testtoken.rs

integration-tests/.gitignore

@@ -25,6 +25,8 @@ paste = "1.0"
 rand_xorshift = "0.3.0"
 rand_core = "0.6.4"
 mock = { path = "../mock" }
+this = "0.3.0"
+error = "0.1.9"
 
 [dev-dependencies]
 pretty_assertions = "1.0.0"
@@ -35,3 +37,14 @@ rpc = []
 circuit_input_builder = []
 circuits = []
 mock_prover = []
+
+[build-dependencies]
+env = "0.0.0"
+ethers = "2.0.7"
+ethers-contract-abigen = "2.0.8"
+glob = "0.3.1"
+log = "0.4.14"
+serde = "1.0.130"
+serde_json = "1.0.66"
+uneval = "0.2.4"
+thiserror = "1.0.49"