fix(ci): update tests & use ethrex binary (#187)

**Motivation**

Our integration tests are using an old ethrex commit, and daily reports
indicate that Rex is out of sync.

**Description**

- Updates both the daily reports and integration tests to download and
use the ethrex binary.
- Updates the codebase to ensure all tests pass successfully.

Some hotfixes will be removed once we have #185.

Closes None

Author: avilagaston9

.github/workflows/daily_reports.yml

@@ -18,60 +18,42 @@ jobs:
         with:
           tool-cache: false
           large-packages: false
+
       - name: Checkout sources
         uses: actions/checkout@v4
       - name: Setup Rust Environment
         uses: ./.github/actions/setup-rust
-      - name: Install solc
-        uses: pontem-network/get-solc@master
-        with:
-          version: v0.8.29
-          token: ${{ secrets.GITHUB_TOKEN || '' }}
+
       - name: Install ethrex
         run: |
-          cd ..
-          git clone https://github.com/lambdaclass/ethrex.git
+          curl -L https://github.com/lambdaclass/ethrex/releases/latest/download/ethrex-linux_x86_64 -o /usr/local/bin/ethrex
+          chmod +x /usr/local/bin/ethrex
+          ethrex --version
           echo "ethrex installed successfully"
-      # also creates empty verification keys (as workflow runs with exec backend)
-      - name: Build prover
+      - name: Run ethrex l2 --dev
         run: |
-          cd ../ethrex/crates/l2
-          make build-prover
-          mkdir -p prover/zkvm/interface/sp1/out && touch prover/zkvm/interface/sp1/out/riscv32im-succinct-zkvm-vk
-      - name: Build L1 docker image
-        uses: docker/build-push-action@v6
-        with:
-          context: ../ethrex/
-          file: ../ethrex/crates/blockchain/dev/Dockerfile
-          tags: ethrex_dev:latest
-          push: false
-      - name: Start L1 & Deploy contracts
+          ethrex l2 --dev &
+
+      - name: Wait for ethrex l2
         run: |
-          cd  ../ethrex/crates/l2
-          touch .env
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_L2_VALIDIUM=false \
-          docker compose -f docker-compose-l2.yaml up contract_deployer
-      - name: Start Sequencer
+          for i in {1..20}; do
+            if nc -z localhost 3900; then
+              echo "ProofCoordinator ready!"
+              exit 0
+            fi
+            sleep 5
+          done
+          echo "ProofCoordinator not ready in time"
+          exit 1
+
+      - name: Start Prover
         run: |
-          cd  ../ethrex/crates/l2
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_L2_VALIDIUM=false \
-          ETHREX_WATCHER_BLOCK_DELAY=0 \
-          docker compose -f docker-compose-l2.yaml up --detach ethrex_l2
-      - name: Run test
+          ethrex l2 prover --proof-coordinator http://localhost:3900 &
+
+      - name: Run tests
         run: |
-          sudo chmod -R a+rw ../ethrex/crates/l2
-          cd ../ethrex/crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug make init-prover &
-          docker logs --follow ethrex_l2 &
           cd /home/runner/work/rex/rex/sdk
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test --package rex-sdk --test tests -- --nocapture --test-threads=1
-          killall ethrex_prover -s SIGINT
 
   cli-integration-test:
     name: Integration Test - CLI
@@ -83,65 +65,45 @@ jobs:
         with:
           tool-cache: false
           large-packages: false
+
       - name: Checkout sources
         uses: actions/checkout@v4
       - name: Setup Rust Environment
         uses: ./.github/actions/setup-rust
 
-      - name: Install solc
-        uses: pontem-network/get-solc@master
-        with:
-          version: v0.8.29
-          token: ${{ secrets.GITHUB_TOKEN || '' }}
-
       - name: Install ethrex
         run: |
-          cd ..
-          git clone https://github.com/lambdaclass/ethrex.git
+          curl -L https://github.com/lambdaclass/ethrex/releases/latest/download/ethrex-linux_x86_64 -o /usr/local/bin/ethrex
+          chmod +x /usr/local/bin/ethrex
+          ethrex --version
           echo "ethrex installed successfully"
-      # also creates empty verification keys (as workflow runs with exec backend)
-      - name: Build prover
+
+      - name: Run ethrex l2 --dev
         run: |
-          cd ../ethrex/crates/l2
-          make build-prover
-          mkdir -p prover/zkvm/interface/sp1/out && touch prover/zkvm/interface/sp1/out/riscv32im-succinct-zkvm-vk
-      - name: Build L1 docker image
-        uses: docker/build-push-action@v6
-        with:
-          context: ../ethrex/
-          file: ../ethrex/crates/blockchain/dev/Dockerfile
-          tags: ethrex_dev:latest
-          push: false
+          ethrex l2 --dev &
 
-      - name: Start L1 & Deploy contracts
+      - name: Wait for ethrex l2
         run: |
-          cd  ../ethrex/crates/l2
-          touch .env
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_L2_VALIDIUM=false \
-          docker compose -f docker-compose-l2.yaml up contract_deployer
-      - name: Start Sequencer
+          for i in {1..20}; do
+            if nc -z localhost 3900; then
+              echo "ProofCoordinator ready!"
+              exit 0
+            fi
+            sleep 5
+          done
+          echo "ProofCoordinator not ready in time"
+          exit 1
+
+      - name: Start Prover
         run: |
-          cd  ../ethrex/crates/l2
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_L2_VALIDIUM=false \
-          ETHREX_WATCHER_BLOCK_DELAY=0 \
-          docker compose -f docker-compose-l2.yaml up --detach ethrex_l2
-      - name: Run test
+          ethrex l2 prover --proof-coordinator http://localhost:3900 &
+
+      - name: Run tests
         run: |
-          sudo chmod -R a+rw ../ethrex/crates/l2
-          cd ../ethrex/crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug make init-prover &
-          docker logs --follow ethrex_l2 &
           cd /home/runner/work/rex/rex
           make cli
           cd cli
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test --package rex --test tests -- --nocapture --test-threads=1
-          killall ethrex_prover -s SIGINT
 
   post-daily-report:
     name: Post report to slack

.github/workflows/pr_main.yml

@@ -23,75 +23,48 @@ jobs:
         with:
           tool-cache: false
           large-packages: false
+
       - name: Checkout sources
         uses: actions/checkout@v4
+
       - name: Setup Rust Environment
         uses: ./.github/actions/setup-rust
 
-      - name: Install solc
-        uses: pontem-network/get-solc@master
-        with:
-          version: v0.8.29
-          token: ${{ secrets.GITHUB_TOKEN || '' }}
-
       - name: Install ethrex
         run: |
-          cd ..
-          git clone https://github.com/lambdaclass/ethrex.git
-          cd ethrex
-          git checkout 187e8c27f9b9a22948cd82b0b3f79866c16ac489
+          curl -L https://github.com/lambdaclass/ethrex/releases/download/v0.0.4-alpha/ethrex-linux_x86_64 -o /usr/local/bin/ethrex
+          chmod +x /usr/local/bin/ethrex
+          ethrex --version
           echo "ethrex installed successfully"
 
-      # also creates empty verification keys (as workflow runs with exec backend)
-      - name: Build prover
+      - name: Run ethrex l2 --dev
         run: |
-          cd ../ethrex/crates/l2
-          make build-prover
-          mkdir -p prover/zkvm/interface/sp1/out && touch prover/zkvm/interface/sp1/out/riscv32im-succinct-zkvm-vk
-
-      - name: Build L1 docker image
-        uses: docker/build-push-action@v6
-        with:
-          context: ../ethrex/
-          file: ../ethrex/crates/blockchain/dev/Dockerfile
-          tags: ethrex_dev:latest
-          push: false
+          ethrex l2 --dev &
 
-      - name: Start L1 & Deploy contracts
+      - name: Wait for ethrex l2
         run: |
-          cd  ../ethrex/crates/l2
-          touch .env
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_L2_VALIDIUM=false \
-          docker compose -f docker-compose-l2.yaml up contract_deployer
-
-      - name: Start Sequencer
+          for i in {1..20}; do
+            if nc -z localhost 3900; then
+              echo "ProofCoordinator ready!"
+              exit 0
+            fi
+            sleep 5
+          done
+          echo "ProofCoordinator not ready in time"
+          exit 1
+
+      - name: Start Prover
         run: |
-          cd  ../ethrex/crates/l2
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_L2_VALIDIUM=false \
-          ETHREX_WATCHER_BLOCK_DELAY=0 \
-          docker compose -f docker-compose-l2.yaml up --detach ethrex_l2
+          ethrex l2 prover --proof-coordinator http://localhost:3900 &
 
-      - name: Run test
+      - name: Run tests
         run: |
-          sudo chmod -R a+rw ../ethrex/crates/l2
-          cd ../ethrex/crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug make init-prover &
-          docker logs --follow ethrex_l2 &
           cd /home/runner/work/rex/rex/sdk
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test --package rex-sdk --test tests -- --nocapture --test-threads=1
-          killall ethrex_prover -s SIGINT
-
 
   cli-integration-test:
     name: Integration Test - CLI
     runs-on: ubuntu-latest
-
     steps:
       - name: Free Disk Space (Ubuntu)
         uses: jlumbroso/[email protected]
@@ -103,68 +76,41 @@ jobs:
       - name: Setup Rust Environment
         uses: ./.github/actions/setup-rust
 
-      - name: Install solc
-        uses: pontem-network/get-solc@master
-        with:
-          version: v0.8.29
-          token: ${{ secrets.GITHUB_TOKEN || '' }}
-
       - name: Install ethrex
         run: |
-          cd ..
-          git clone https://github.com/lambdaclass/ethrex.git
-          cd ethrex
-          git checkout 187e8c27f9b9a22948cd82b0b3f79866c16ac489
+          curl -L https://github.com/lambdaclass/ethrex/releases/download/v0.0.4-alpha/ethrex-linux_x86_64 -o /usr/local/bin/ethrex
+          chmod +x /usr/local/bin/ethrex
+          ethrex --version
           echo "ethrex installed successfully"
 
-      # also creates empty verification keys (as workflow runs with exec backend)
-      - name: Build prover
+      - name: Run ethrex l2 --dev
         run: |
-          cd ../ethrex/crates/l2
-          make build-prover
-          mkdir -p prover/zkvm/interface/sp1/out && touch prover/zkvm/interface/sp1/out/riscv32im-succinct-zkvm-vk
-
-      - name: Build L1 docker image
-        uses: docker/build-push-action@v6
-        with:
-          context: ../ethrex/
-          file: ../ethrex/crates/blockchain/dev/Dockerfile
-          tags: ethrex_dev:latest
-          push: false
+          ethrex l2 --dev &
 
-      - name: Start L1 & Deploy contracts
+      - name: Wait for ethrex l2
         run: |
-          cd  ../ethrex/crates/l2
-          touch .env
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_DEPLOYER_DEPLOY_RICH=true \
-          ETHREX_DEPLOYER_PICO_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_SP1_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_DEPLOYER_RISC0_CONTRACT_ADDRESS=0x00000000000000000000000000000000000000aa \
-          ETHREX_L2_VALIDIUM=false \
-          docker compose -f docker-compose-l2.yaml up contract_deployer
-
-      - name: Start Sequencer
+          for i in {1..20}; do
+            if nc -z localhost 3900; then
+              echo "Service ready!"
+              exit 0
+            fi
+            sleep 5
+          done
+          echo "Service not ready in time"
+          exit 1
+
+      - name: Start Prover
         run: |
-          cd  ../ethrex/crates/l2
-          CI_ETHREX_WORKDIR=/usr/local/bin \
-          ETHREX_L2_VALIDIUM=false \
-          ETHREX_WATCHER_BLOCK_DELAY=0 \
-          docker compose -f docker-compose-l2.yaml up --detach ethrex_l2
+          ethrex l2 prover --proof-coordinator http://localhost:3900 &
 
-      - name: Run test
+      - name: Run tests
         run: |
-          sudo chmod -R a+rw ../ethrex/crates/l2
-          cd ../ethrex/crates/l2
-          RUST_LOG=info,ethrex_prover_lib=debug make init-prover &
-          docker logs --follow ethrex_l2 &
           cd /home/runner/work/rex/rex
           make cli
           cd cli
           PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test --package rex --test tests -- --nocapture --test-threads=1
-          killall ethrex_prover -s SIGINT
 
-# The purpose of this job is to add it as a required check in GitHub so that we don't have to add every individual job as a required check
+  # The purpose of this job is to add it as a required check in GitHub so that we don't have to add every individual job as a required check
   all-tests:
     # "Integration Test" is a required check, don't change the name
     name: Integration Test

cli/src/commands/l2.rs

@@ -323,7 +323,7 @@ impl Command {
                     deposit_through_contract_call(
                         amount,
                         to,
-                        21000 * 10,
+                        21000 * 100,
                         &private_key,
                         bridge_address,
                         &eth_client,