-
Notifications
You must be signed in to change notification settings - Fork 9
Expand file tree
/
Copy pathbridge-e2e.bats
More file actions
293 lines (249 loc) Β· 13.8 KB
/
bridge-e2e.bats
File metadata and controls
293 lines (249 loc) Β· 13.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
#!/usr/bin/env bats
# bats file_tags=aggkit
# shellcheck disable=SC2154,SC2034,SC2155
setup() {
load '../../core/helpers/agglayer-cdk-common-setup'
log_setup_test
_agglayer_cdk_common_setup
}
@test "Transfer message" {
log_start_test
echo "====== bridgeMessage L1 -> L2 :$LINENO" >&3
destination_addr=$sender_addr
destination_net=$l2_rpc_network_id
run bridge_message "$native_token_addr" "$l1_rpc_url" "$l1_bridge_addr"
assert_success
local bridge_tx_hash=$output
echo "====== claimMessage (L2) :$LINENO" >&3
run process_bridge_claim "claim L2: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
assert_success
local claim_global_index="$output"
echo "==== π° get_claim $claim_global_index :$LINENO" >&3
echo "====== bridgeMessage L2 -> L1" >&3
destination_net=0
run bridge_message "$destination_addr" "$L2_RPC_URL" "$l2_bridge_addr"
assert_success
log_end_test
}
@test "ERC20 token deposit L1 -> L2" {
log_start_test
run deploy_contract "$l1_rpc_url" "$sender_private_key" "$erc20_artifact_path"
assert_success
local l1_erc20_addr
l1_erc20_addr=$(echo "$output" | tail -n 1)
log "π ERC20 contract address: $l1_erc20_addr"
# Mint and Approve ERC20 token on L1
local tokens_amount="0.1ether"
local wei_amount
wei_amount=$(cast --to-unit "$tokens_amount" wei)
run mint_and_approve_erc20_tokens "$l1_rpc_url" "$l1_erc20_addr" "$sender_private_key" "$sender_addr" "$tokens_amount" "$l1_bridge_addr"
assert_success
# Assert that balance of ERC20 token (on the L1) is correct
run query_contract "$l1_rpc_url" "$l1_erc20_addr" "$BALANCE_OF_FN_SIG" "$sender_addr"
assert_success
local l1_erc20_token_sender_balance
l1_erc20_token_sender_balance=$(echo "$output" |
tail -n 1 |
awk '{print $1}')
echo "Sender balance ($sender_addr) (ERC20 token L1): $l1_erc20_token_sender_balance [weis]" >&3
# DEPOSIT ON L1
echo "==== π Depositing ERC20 token on L1 ($l1_rpc_url)" >&3
destination_addr=$receiver
destination_net=$l2_rpc_network_id
amount=$(cast --to-unit "$tokens_amount" wei)
meta_bytes="0x"
run bridge_asset "$l1_erc20_addr" "$l1_rpc_url" "$l1_bridge_addr"
assert_success
local bridge_tx_hash=$output
# CLAIM (settle deposit on L2)
echo "==== π Claiming deposit on L2 ($L2_RPC_URL)" >&3
run process_bridge_claim "claim L2: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
assert_success
echo "==== β³ run wait_for_expected_token" >&3
run wait_for_expected_token "$l1_erc20_addr" "$l2_rpc_network_id" 10 100 "$aggkit_bridge_url"
assert_success
local token_mappings_result=$output
local origin_token_addr
origin_token_addr=$(echo "$token_mappings_result" | jq -r '.token_mappings[0].origin_token_address')
assert_equal "$l1_erc20_addr" "$origin_token_addr"
local l2_token_addr
l2_token_addr=$(echo "$token_mappings_result" | jq -r '.token_mappings[0].wrapped_token_address')
echo "L2 token addr $l2_token_addr" >&3
run verify_balance "$L2_RPC_URL" "$l2_token_addr" "$receiver" 0 "$tokens_amount"
assert_success
# -----------------------------------------------------------------------------
# Attempt a second "claim" on L2 β this should fail because it's already been claimed
# -----------------------------------------------------------------------------
echo "==== π Claiming deposit on L2 again (${L2_RPC_URL}) β expected to fail (already claimed)" >&3
run process_bridge_claim "claim L2 again: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
log "π‘ duplicate process_bridge_claim returns $output"
assert_success
# verify balance did not changed on L2
ether_amount=$(echo "$tokens_amount" | sed 's/ether//')
local receiver_balance_after_claim_wei
receiver_balance_after_claim_wei=$(cast --to-wei "$ether_amount")
run verify_balance "$L2_RPC_URL" "$l2_token_addr" "$receiver" "$receiver_balance_after_claim_wei" "0ether"
assert_success
# check that the sender's ERC-20 balance on L1 remains unchanged
run query_contract "$l1_rpc_url" "$l1_erc20_addr" "$BALANCE_OF_FN_SIG" "$sender_addr"
assert_success
local l1_erc20_token_sender_balance_after_duplicate_claim
l1_erc20_token_sender_balance_after_duplicate_claim=$(echo "$output" |
tail -n 1 |
awk '{print $1}')
echo "Sender balance ($sender_addr) (ERC20 token L1) after duplicate claim: $l1_erc20_token_sender_balance_after_duplicate_claim [weis]" >&3
# Assert it stayed at zero (because it was already claimed)
assert_equal "$l1_erc20_token_sender_balance_after_duplicate_claim" 0
log_end_test
}
@test "ERC20 token deposit L2 -> L1" {
log_start_test
run deploy_contract $L2_RPC_URL $sender_private_key $erc20_artifact_path
assert_success
local l2_erc20_addr
l2_erc20_addr=$(echo "$output" | tail -n 1)
log "π ERC20 contract address: $l2_erc20_addr"
# Mint and Approve ERC20 tokens on L2
local tokens_amount="10ether"
local wei_amount
wei_amount=$(cast --to-unit $tokens_amount wei)
run mint_and_approve_erc20_tokens "$L2_RPC_URL" "$l2_erc20_addr" "$sender_private_key" "$sender_addr" "$tokens_amount" "$l2_bridge_addr"
assert_success
run query_contract "$L2_RPC_URL" "$l2_erc20_addr" "allowance(address owner, address spender)(uint256)" "$sender_addr" "$l2_bridge_addr"
assert_success
log "π Allowance for bridge contract: $output [weis]"
# Assert that balance of ERC20 token (on the L2) is correct
run query_contract "$L2_RPC_URL" "$l2_erc20_addr" "$BALANCE_OF_FN_SIG" "$sender_addr"
assert_success
local l2_erc20_token_sender_balance
l2_erc20_token_sender_balance=$(echo "$output" | tail -n 1 | awk '{print $1}')
log "π° Sender balance ($sender_addr) (ERC20 token L2): $l2_erc20_token_sender_balance [weis]"
# Deposit on L2
echo "==== π Depositing ERC20 token on L2 ($L2_RPC_URL)" >&3
destination_addr=$sender_addr
destination_net=$l1_rpc_network_id
tokens_amount="1ether"
amount=$(cast --to-unit $tokens_amount wei)
meta_bytes="0x"
run bridge_asset "$l2_erc20_addr" "$L2_RPC_URL" "$l2_bridge_addr"
assert_success
local bridge_tx_hash=$output
# Query balance of ERC20 token on L2
run query_contract "$L2_RPC_URL" "$l2_erc20_addr" "$BALANCE_OF_FN_SIG" "$sender_addr"
assert_success
local l2_erc20_token_sender_balance
l2_erc20_token_sender_balance=$(echo "$output" | tail -n 1 | awk '{print $1}')
log "π° Sender balance ($sender_addr) (ERC20 token L2): $l2_erc20_token_sender_balance [weis]"
echo "=== πͺ€ Running L1 bridge to update l1infotree (sleep 300 secs)" >&3
run update_l1_info_tree 300 "first $LINENO"
assert_success
# Claim deposit (settle it on the L1)
echo "==== π Claiming ERC20 token deposit on L1 ($l1_rpc_url)" >&3
run process_bridge_claim "claim ERC20 L1: $LINENO" "$l2_rpc_network_id" "$bridge_tx_hash" "$l1_rpc_network_id" "$l1_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$l1_rpc_url" "$sender_addr"
assert_success
run wait_for_expected_token "$l2_erc20_addr" "$l1_rpc_network_id" 30 2 "$aggkit_bridge_url"
assert_success
local token_mappings_result=$output
echo "==== π token_mappings_result: $token_mappings_result" >&3
local origin_token_addr
origin_token_addr=$(echo "$token_mappings_result" | jq -r '.token_mappings[0].origin_token_address')
assert_equal "$l2_erc20_addr" "$origin_token_addr"
local l1_wrapped_token_addr
l1_wrapped_token_addr=$(echo "$token_mappings_result" | jq -r '.token_mappings[0].wrapped_token_address')
log "==== πͺ L1 wrapped token address $l1_wrapped_token_addr"
run verify_balance "$l1_rpc_url" "$l1_wrapped_token_addr" "$destination_addr" 0 "$tokens_amount"
assert_success
# Send approve transaction to the ERC20 token on L1
tokens_amount="1ether"
run send_tx "$l1_rpc_url" "$sender_private_key" "$l1_wrapped_token_addr" "$APPROVE_FN_SIG" "$l1_bridge_addr" "$tokens_amount"
assert_success
assert_output --regexp "Transaction successful \(transaction hash: 0x[a-fA-F0-9]{64}\)"
# Deposit the L1 wrapped token (bridge L1 -> L2)
echo "==== π Depositing L1 wrapped token on L1 ($l1_rpc_url)" >&3
destination_addr=$sender_addr
destination_net=$l2_rpc_network_id
amount=$(cast --to-unit $tokens_amount wei)
meta_bytes="0x"
run bridge_asset "$l1_wrapped_token_addr" "$l1_rpc_url" "$l1_bridge_addr"
assert_success
bridge_tx_hash=$output
# Claim deposit (settle it on the L2)
echo "==== π Claiming deposit on L2 ($L2_RPC_URL) :$LINENO" >&3
run process_bridge_claim "claim L2 ERC20: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
assert_success
echo "==== π° Verifying balance on L2 ($L2_RPC_URL) :$LINENO" >&3
run verify_balance "$L2_RPC_URL" "$l2_erc20_addr" "$destination_addr" "$l2_erc20_token_sender_balance" "$tokens_amount"
assert_success
# Query balance of ERC20 token on L1
run query_contract "$l1_rpc_url" "$l1_wrapped_token_addr" "$BALANCE_OF_FN_SIG" "$sender_addr"
assert_success
local l1_wrapped_token_balance
l1_wrapped_token_balance=$(echo "$output" | tail -n 1 | awk '{print $1}')
log "π° Sender balance ($sender_addr) (wrapped ERC20 token L1): $l1_wrapped_token_balance [weis]"
# Deposit on L2
echo "==== π 2nd: Depositing ERC20 token on L2 ($L2_RPC_URL) :$LINENO" >&3
destination_addr=$sender_addr
destination_net=$l1_rpc_network_id
tokens_amount="1ether"
amount=$(cast --to-unit $tokens_amount wei)
meta_bytes="0x"
run bridge_asset "$l2_erc20_addr" "$L2_RPC_URL" "$l2_bridge_addr"
assert_success
bridge_tx_hash=$output
echo "=== πͺ€ 2nd: Running L1 bridge to update l1infotree :$LINENO" >&3
run update_l1_info_tree 1 "2nd bridge/1: $LINENO"
run update_l1_info_tree 30 "2nd bridge/2: $LINENO"
run update_l1_info_tree 30 "2nd bridge/3: $LINENO"
assert_success
# Claim deposit (settle it on the L1)
echo "==== π 2nd: Claiming ERC20 token deposit on L1 ($l1_rpc_url) :$LINENO" >&3
run process_bridge_claim "2nd claim ERC20 L1: $LINENO" "$l2_rpc_network_id" "$bridge_tx_hash" "$l1_rpc_network_id" "$l1_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$l1_rpc_url"
assert_success
echo "==== π° 2nd: Verifying balance on L1 ($l1_rpc_url) :$LINENO" >&3
run verify_balance "$l1_rpc_url" "$l1_wrapped_token_addr" "$destination_addr" "$l1_wrapped_token_balance" "$tokens_amount"
assert_success
log_end_test
}
@test "Native token transfer L1 -> L2" {
log_start_test
destination_addr=$receiver
local initial_receiver_balance
initial_receiver_balance=$(get_token_balance "$L2_RPC_URL" "$weth_token_addr" "$destination_addr")
echo "Initial receiver balance of native token on L2 $initial_receiver_balance eth" >&3
echo "=== Running L1 native token deposit to L2 network $l2_rpc_network_id (native_token: $native_token_addr)" >&3
destination_net=$l2_rpc_network_id
run bridge_asset "$native_token_addr" "$l1_rpc_url" "$l1_bridge_addr"
assert_success
local bridge_tx_hash=$output
# Claim deposit (settle it on the L2)
run process_bridge_claim "claim L1: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
assert_success
sender_balance_after_claim=$(get_token_balance "$l1_rpc_url" "$native_token_addr" "$destination_addr")
log "Sender balance of native token on L1 after claim $sender_balance_after_claim eth" >&3
# verify receiver balance changed on L2
local final_receiver_balance
final_receiver_balance=$(get_token_balance "$L2_RPC_URL" "$weth_token_addr" "$destination_addr")
echo "Final receiver balance of native token on L2 $final_receiver_balance eth" >&3
initial_receiver_balance_wei=$(cast --to-wei "$initial_receiver_balance")
run verify_balance "$L2_RPC_URL" "$weth_token_addr" "$destination_addr" "$initial_receiver_balance_wei" "$ether_value"
assert_success
# Attempt a second claim on L2 β this should fail because it's already been claimed
echo "==== π Claiming deposit on L2 again (${L2_RPC_URL}) β expected to fail (already claimed)" >&3
run process_bridge_claim "claim L2 again: $LINENO" "$l1_rpc_network_id" "$bridge_tx_hash" "$l2_rpc_network_id" "$l2_bridge_addr" "$aggkit_bridge_url" "$aggkit_bridge_url" "$L2_RPC_URL" "$sender_addr"
log "π‘ duplicate process_bridge_claim returns $output"
assert_success
# verify balance did not changed on L1 after duplicate claim
sender_balance_after_duplicate_claim=$(get_token_balance "$l1_rpc_url" "$native_token_addr" "$destination_addr")
log "Sender balance of native token on L1 after duplicate claim $sender_balance_after_duplicate_claim eth" >&3
assert_equal "$sender_balance_after_claim" "$sender_balance_after_duplicate_claim"
# verify balance did not changed on L2 after duplicate claim
final_receiver_balance_wei=$(cast --to-wei "$final_receiver_balance")
run verify_balance "$L2_RPC_URL" "$weth_token_addr" "$destination_addr" "$final_receiver_balance_wei" "0ether"
assert_success
echo "=== Running L2 gas token ($native_token_addr) deposit to L1 network" >&3
destination_addr=$sender_addr
destination_net=0
run bridge_asset "$native_token_addr" "$L2_RPC_URL" "$l2_bridge_addr"
assert_success
log_end_test
}