feat: add bridge to L1 scripts

Author: JuArce

claim_contracts/base/.gitignore

@@ -12,3 +12,6 @@ docs/
 
 # Dotenv file
 .env
+
+# Node
+node_modules/

claim_contracts/base/Makefile

@@ -1,6 +1,7 @@
 -include .env
+export
 
-.PHONY: help deploy-base-sepolia deploy-base-mainnet verify bridge-l1-to-base-sepolia bridge-l1-to-base-mainnet
+.PHONY: help deploy-base-sepolia deploy-base-mainnet verify bridge-l1-to-base-sepolia bridge-l1-to-base-mainnet withdraw-base-to-l1-sepolia withdraw-base-to-l1-mainnet prove-withdrawal-sepolia prove-withdrawal-mainnet finalize-withdrawal-sepolia finalize-withdrawal-mainnet withdraw-full-sepolia withdraw-full-mainnet
 
 help: ## Show help
 	@grep -E '^[a-zA-Z0-9_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-30s\033[0m %s\n", $$1, $$2}'
@@ -53,3 +54,57 @@ bridge-l1-to-base-mainnet: ## Bridge ALIGN from Ethereum to Base (requires AMOUN
 	cast send $(L1_BRIDGE_MAINNET) "depositERC20(address,address,uint256,uint32,bytes)" \
 		$(L1_TOKEN_MAINNET) $(L2_TOKEN_MAINNET) $(AMOUNT) 200000 0x \
 		--private-key $(USER_PRIVATE_KEY) --rpc-url $(L1_MAINNET_RPC_URL)
+
+bridge-l1-to-base-sepolia-to: ## Bridge ALIGN from Sepolia to BaseSepolia to a different address (requires AMOUNT, TO)
+	cast send $(L1_TOKEN_SEPOLIA) "approve(address,uint256)" $(L1_BRIDGE_SEPOLIA) $(AMOUNT) \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(L1_SEPOLIA_RPC_URL)
+	cast send $(L1_BRIDGE_SEPOLIA) "depositERC20To(address,address,address,uint256,uint32,bytes)" \
+		$(L1_TOKEN_SEPOLIA) $(L2_TOKEN_SEPOLIA) $(TO) $(AMOUNT) 200000 0x \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(L1_SEPOLIA_RPC_URL)
+
+bridge-l1-to-base-mainnet-to: ## Bridge ALIGN from Ethereum to Base to a different address (requires AMOUNT, TO)
+	cast send $(L1_TOKEN_MAINNET) "approve(address,uint256)" $(L1_BRIDGE_MAINNET) $(AMOUNT) \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(L1_MAINNET_RPC_URL)
+	cast send $(L1_BRIDGE_MAINNET) "depositERC20To(address,address,address,uint256,uint32,bytes)" \
+		$(L1_TOKEN_MAINNET) $(L2_TOKEN_MAINNET) $(TO) $(AMOUNT) 200000 0x \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(L1_MAINNET_RPC_URL)
+
+# --- Bridging Base -> L1 (withdrawal) ---
+# This initiates the withdrawal on L2. After this, you must:
+#   1. Wait ~1 hour for the L2 output to be proposed
+#   2. Prove the withdrawal on L1 (requires Optimism SDK or Base Bridge UI)
+#   3. Wait 7 days (challenge period)
+#   4. Finalize the withdrawal on L1
+# L2StandardBridge predeploy: 0x4200000000000000000000000000000000000010
+
+withdraw-base-to-l1-sepolia: ## Initiate ALIGN withdrawal from BaseSepolia to Sepolia (requires AMOUNT)
+	cast send 0x4200000000000000000000000000000000000010 \
+		"withdraw(address,uint256,uint32,bytes)" \
+		$(L2_TOKEN_SEPOLIA) $(AMOUNT) 200000 0x \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(BASE_SEPOLIA_RPC_URL)
+
+withdraw-base-to-l1-mainnet: ## Initiate ALIGN withdrawal from Base to Ethereum (requires AMOUNT)
+	cast send 0x4200000000000000000000000000000000000010 \
+		"withdraw(address,uint256,uint32,bytes)" \
+		$(L2_TOKEN_MAINNET) $(AMOUNT) 200000 0x \
+		--private-key $(USER_PRIVATE_KEY) --rpc-url $(BASE_MAINNET_RPC_URL)
+
+# --- Prove & Finalize (requires npm install) ---
+
+prove-withdrawal-sepolia: ## Prove withdrawal on L1 Sepolia (requires TX_HASH)
+	npx tsx scripts/withdraw.ts prove --tx-hash $(TX_HASH) --network sepolia
+
+prove-withdrawal-mainnet: ## Prove withdrawal on L1 Mainnet (requires TX_HASH)
+	npx tsx scripts/withdraw.ts prove --tx-hash $(TX_HASH) --network mainnet
+
+finalize-withdrawal-sepolia: ## Finalize withdrawal on L1 Sepolia (requires TX_HASH)
+	npx tsx scripts/withdraw.ts finalize --tx-hash $(TX_HASH) --network sepolia
+
+finalize-withdrawal-mainnet: ## Finalize withdrawal on L1 Mainnet (requires TX_HASH)
+	npx tsx scripts/withdraw.ts finalize --tx-hash $(TX_HASH) --network mainnet
+
+withdraw-full-sepolia: ## Full withdrawal flow: prove + finalize on Sepolia (requires TX_HASH)
+	npx tsx scripts/withdraw.ts full --tx-hash $(TX_HASH) --network sepolia
+
+withdraw-full-mainnet: ## Full withdrawal flow: prove + finalize on Mainnet (requires TX_HASH)
+	npx tsx scripts/withdraw.ts full --tx-hash $(TX_HASH) --network mainnet

claim_contracts/base/README.md

@@ -35,6 +35,35 @@ make bridge-l1-to-base-mainnet AMOUNT=1000000000000000000
 
 Tokens appear on Base after ~20 minutes.
 
+## Withdraw (Base -> L1)
+
+Withdrawals are a [multi-step process](https://docs.optimism.io/app-developers/tutorials/bridging/cross-dom-bridge-erc20#withdraw-tokens). No approval is needed. All three steps use the same `TX_HASH` — the **L2 initiation tx hash** from step 1.
+
+1. **Initiate** on L2 (burns tokens on Base):
+
+   ```bash
+   make withdraw-base-to-l1-sepolia AMOUNT=1000000000000000000
+   make withdraw-base-to-l1-mainnet AMOUNT=1000000000000000000
+   ```
+
+   Save the tx hash from this step — it's needed for prove and finalize.
+
+2. **Prove** on L1 — wait ~1 hour for the L2 output to be proposed, then prove:
+
+   ```bash
+   make prove-withdrawal-sepolia TX_HASH=<L2 initiation tx hash>
+   make prove-withdrawal-mainnet TX_HASH=<L2 initiation tx hash>
+   ```
+
+3. **Finalize** on L1 — wait 7 days challenge period (shorter on testnet), then finalize:
+
+   ```bash
+   make finalize-withdrawal-sepolia TX_HASH=<L2 initiation tx hash>
+   make finalize-withdrawal-mainnet TX_HASH=<L2 initiation tx hash>
+   ```
+
+   > **Note:** Prove and finalize use `viem` + `viem/op-stack`. Run `npm install` first.
+
 ## Bridge Addresses
 
 Source: [Base Contracts](https://docs.base.org/chain/base-contracts)
@@ -54,4 +83,5 @@ Source: [Base Contracts](https://docs.base.org/chain/base-contracts)
 ## References
 
 - [OP Standard Bridge Standard Token Tutorial](https://docs.optimism.io/app-developers/tutorials/bridging/standard-bridge-standard-token)
+- [OP Bridge ERC-20 Tutorial (withdraw flow)](https://docs.optimism.io/app-developers/tutorials/bridging/cross-dom-bridge-erc20)
 - [Base Contracts](https://docs.base.org/chain/base-contracts)