feat(l2): integrate TDX as a prover

.github/workflows/pr-main_l2_tdx.yaml

@@ -0,0 +1,102 @@
+name: L2 Prover (TDX)
+on:
+  push:
+    branches: ["main"]
+  pull_request:
+    branches: ["**"]
+    paths:
+      - "crates/l2/tee/**"
+      - "crates/l2/contracts/**"
+      - "test_data/**"
+      - "crates/blockchain/dev/**"
+      - ".github/workflows/pr-main_l2_tdx.yaml"
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+jobs:
+  lint:
+    # "Lint" is a required check, don't change the name
+    name: Lint
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: true
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+      - name: Add Rust Cache
+        uses: Swatinem/rust-cache@v2
+      - name: Check exec
+        run: |
+            cd crates/l2/tee/quote-gen
+            cargo check
+      - name: Clippy exec
+        run: |
+            cd crates/l2/tee/quote-gen
+            cargo clippy --all-targets
+
+  test:
+    # "Test" is a required check, don't change the name
+    name: Test
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Rust toolchain install
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          toolchain: 1.85.0
+
+      - name: Install solc
+        uses: pontem-network/get-solc@master
+        with:
+          version: v0.8.29
+
+      - name: Set up Rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+          cache-on-failure: "true"
+
+      - name: Build prover
+        run: |
+          cd crates/l2/tee/quote-gen
+          cargo build --release
+
+      - name: Build test
+        run: |
+          cargo test l2 --no-run --release
+
+      - name: Build L2
+        run: |
+          cargo build --release --bin ethrex --features l2,rollup_storage_libmdbx,metrics
+
+      - name: Install rex
+        run: |
+          cd /tmp
+          git clone https://github.com/lambdaclass/rex
+          cd rex
+          cargo build --release
+          cp target/release/rex /usr/local/bin
+
+      - name: Run L1 and deploy
+        run: |
+          cd crates/l2
+          touch .env
+          make init-local-l1;
+          ETHREX_DEPLOYER_DEPLOY_RICH=true \
+          ETHREX_DEPLOYER_TDX_DEPLOY_VERIFIER=true \
+          ETHREX_TDX_DEV_MODE=true \
+          make deploy-l1
+
+      - name: Start Sequencer and test
+        run: |
+          cd crates/l2
+          ETHREX_PROOF_COORDINATOR_DEV_MODE=false \
+          ETHREX_WATCHER_BLOCK_DELAY=0 \
+          make init-l2 &
+          sleep 30
+          ETHREX_TDX_DEV_MODE=true tee/quote-gen/target/release/quote-gen &
+          PROPOSER_COINBASE_ADDRESS=0x0007a881CD95B1484fca47615B64803dad620C8d cargo test l2 --release -- --nocapture --test-threads=1
+

Cargo.toml

@@ -18,7 +18,6 @@ members = [
   "crates/l2/prover/bench",
   "crates/l2/sdk",
   "crates/l2/storage",
-  "crates/l2/tee/quote-pusher",
   "crates/networking/p2p",
   "crates/networking/rpc",
   "crates/storage",

crates/l2/.gitignore

@@ -3,3 +3,6 @@
 store/
 
 solc_out
+
+# qpl-tool temp files
+out/

crates/l2/Makefile

@@ -20,6 +20,7 @@ init-testnet: update-system-contracts deploy-l1-testnet init-l2
 down: down-local-l1 down-l2 down-metrics## 🛑 Shuts down the localnet
 
 clean: clean-contract-deps ## 🧹 Cleans the localnet
+	rm -rf out/
 
 restart: restart-local-l1 deploy-l1 purge_prover_state restart-l2 ## 🔄 Restarts the localnet
 
@@ -63,7 +64,7 @@ L2_PORT=1729
 L1_AUTH_PORT=8551
 L1_RPC_ADDRESS=0.0.0.0
 L2_RPC_ADDRESS=0.0.0.0
-PROOF_COORINATOR_ADDRESS=127.0.0.1
+PROOF_COORDINATOR_ADDRESS?=127.0.0.1
 
 # Matches the ports used by the blockchain/metrics dir
 L2_PROMETHEUS_METRICS_PORT = 3702
@@ -107,6 +108,7 @@ rm-db-l1: ## 🛑 Removes the DB used by the L1
 clean-contract-deps: ## 🧹 Cleans the dependencies for the L1 contracts.
 	rm -rf contracts/solc_out
 	rm -rf contracts/lib
+	cd tee/contracts; make clean
 
 restart-contract-deps: clean-contract-deps ## 🔄 Restarts the dependencies for the L1 contracts.
 
@@ -119,6 +121,7 @@ deploy-l1: ## 📜 Deploys the L1 contracts
 	--sp1.verifier-address 0x00000000000000000000000000000000000000aa \
 	--pico.verifier-address 0x00000000000000000000000000000000000000aa \
 	--risc0.verifier-address 0x00000000000000000000000000000000000000aa \
+	--tdx.verifier-address 0x00000000000000000000000000000000000000aa \
 	--on-chain-proposer-owner 0x03d0a0aee676cc45bf7032649e0871927c947c8e \
 	--bridge-owner 0x03d0a0aee676cc45bf7032649e0871927c947c8e \
 	--deposit-rich
@@ -147,6 +150,7 @@ init-l2-no-metrics: ## 🚀 Initializes an L2 Lambda ethrex Client
 		FEATURES="metrics,based"; \
 		echo "Running ethrex L2 with based"; \
 	fi; \
+	export $(shell cat .env | xargs); \
 	cargo run --release --manifest-path ../../Cargo.toml --bin ethrex --features $$FEATURES -- \
 	l2 init \
 	--watcher.block-delay 0 \
@@ -159,7 +163,7 @@ init-l2-no-metrics: ## 🚀 Initializes an L2 Lambda ethrex Client
 	--datadir ${ethrex_L2_DEV_LIBMDBX} \
 	--bridge-address ${BRIDGE_ADDRESS} \
 	--on-chain-proposer-address ${ON_CHAIN_PROPOSER_ADDRESS} \
-	--proof-coordinator-listen-ip ${PROOF_COORINATOR_ADDRESS}
+	--proof-coordinator-listen-ip ${PROOF_COORDINATOR_ADDRESS}
 
 init-metrics: ## 🚀 Initializes Grafana and Prometheus with containers
 	docker compose -f ${ethrex_METRICS_DOCKER_COMPOSE_PATH} -f ${ethrex_METRICS_OVERRIDES_L2_DOCKER_COMPOSE_PATH} up -d

crates/l2/contracts/bin/deployer/cli.rs

@@ -194,6 +194,26 @@ pub struct DeployerOptions {
         help = "If set to true, it will deploy the contract and override the address above with the deployed one.",
     )]
     pub sp1_deploy_verifier: bool,
+    #[arg(
+        long = "tdx.verifier-address",
+        value_name = "ADDRESS",
+        env = "ETHREX_DEPLOYER_TDX_CONTRACT_VERIFIER",
+        required_if_eq("tdx_deploy_verifier", "false"),
+        help_heading = "Deployer options",
+        help = "If set to 0xAA skip proof verification -> Only use in dev mode."
+    )]
+    pub tdx_verifier_address: Option<Address>,
+    #[arg(
+        long = "tdx.deploy-verifier",
+        default_value = "false",
+        value_name = "BOOLEAN",
+        action = ArgAction::SetTrue,
+        env = "ETHREX_DEPLOYER_TDX_DEPLOY_VERIFIER",
+        required_unless_present = "tdx_verifier_address",
+        help_heading = "Deployer options",
+        help = "If set to true, it will deploy the contract and override the address above with the deployed one.",
+    )]
+    pub tdx_deploy_verifier: bool,
     #[arg(
         long,
         default_value = "false",
@@ -290,6 +310,11 @@ impl Default for DeployerOptions {
                 0x00, 0x00, 0x00, 0x00, 0x00, 0xaa,
             ])),
             sp1_deploy_verifier: false,
+            tdx_verifier_address: Some(H160([
+                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
+                0x00, 0x00, 0x00, 0x00, 0x00, 0xaa,
+            ])),
+            tdx_deploy_verifier: false,
             randomize_contract_deployment: false,
             validium: false,
             // 0x03d0a0aee676cc45bf7032649e0871927c947c8e