diff --git a/TESTSINVENTORY.md b/TESTSINVENTORY.md index bc0040c48..932a2b568 100644 --- a/TESTSINVENTORY.md +++ b/TESTSINVENTORY.md @@ -7,9 +7,9 @@ Table of tests currently implemented or being implemented in the E2E repository. | Test Name | Reference | Notes | |-----------|-----------|-------| -| Initial setup | [Link](./tests/lxly/bridge-tests-suite.bats#L104) | | -| Process bridge scenarios with dynamic network routing and claim deposits in parallel | [Link](./tests/lxly/bridge-tests-suite.bats#L147) | | -| Reclaim test funds | [Link](./tests/lxly/bridge-tests-suite.bats#L376) | | +| Initial setup | [Link](./tests/lxly/bridge-tests-suite.bats#L128) | | +| Process bridge scenarios with dynamic network routing and claim deposits in parallel | [Link](./tests/lxly/bridge-tests-suite.bats#L172) | | +| Reclaim test funds | [Link](./tests/lxly/bridge-tests-suite.bats#L401) | | | bridge L2 ("$NETWORK_TARGET") originated token from L2 to L1 | [Link](./tests/lxly/multi-chain-bridge.bats#L115) | | | bridge l2 originated token from L2 to L1 and back to L2 | [Link](./tests/lxly/lxly.bats#L117) | | | bridge native eth from L1 to L2 ("$NETWORK_TARGET") | [Link](./tests/lxly/multi-chain-bridge.bats#L70) | | @@ -278,9 +278,9 @@ Table of tests currently implemented or being implemented in the E2E repository. | Test execute multiple claimMessages via testClaim with internal reentrancy and bridgeAsset call | [Link](./tests/aggkit/claim-reetrancy.bats#L473) | | | Test new RPC endpoint eth_config | [Link](./tests/fusaka/eip7910.bats#L19) | | | Test reentrancy protection for bridge claims - should prevent double claiming | [Link](./tests/aggkit/claim-reetrancy.bats#L67) | | -| Test triple claim internal calls -> 1 fail (same global index), 1 success (same global index) and 1 fail (different global index) | [Link](./tests/aggkit/internal-claims.bats#L1344) | | -| Test triple claim internal calls -> 1 fail, 1 success and 1 fail | [Link](./tests/aggkit/internal-claims.bats#L946) | | -| Test triple claim internal calls -> 1 success, 1 fail and 1 success | [Link](./tests/aggkit/internal-claims.bats#L509) | | +| Test triple claim internal calls -> 1 fail (same global index), 1 success (same global index) and 1 fail (different global index) | [Link](./tests/aggkit/internal-claims.bats#L1398) | | +| Test triple claim internal calls -> 1 fail, 1 success and 1 fail | [Link](./tests/aggkit/internal-claims.bats#L1000) | | +| Test triple claim internal calls -> 1 success, 1 fail and 1 success | [Link](./tests/aggkit/internal-claims.bats#L563) | | | Test triple claim internal calls -> 3 success | [Link](./tests/aggkit/internal-claims.bats#L57) | | | Test zkCounters | [Link](./tests/zkevm/zk-counters-tests.bats#L10) | | | Transaction using new CLZ instruction | [Link](./tests/fusaka/eip7939.bats#L19) | | diff --git a/tests/aggkit/internal-claims.bats b/tests/aggkit/internal-claims.bats index af9524996..8a07c9d47 100644 --- a/tests/aggkit/internal-claims.bats +++ b/tests/aggkit/internal-claims.bats @@ -319,6 +319,20 @@ setup() { claim_1_amount=$(echo "$claim_1" | jq -r '.amount') local claim_1_metadata claim_1_metadata=$(echo "$claim_1" | jq -r '.metadata') + local claim_1_proof_local_exit_root + claim_1_proof_local_exit_root=$(echo "$claim_1" | jq -r '.proof_local_exit_root') + local claim_1_proof_rollup_exit_root + claim_1_proof_rollup_exit_root=$(echo "$claim_1" | jq -r '.proof_rollup_exit_root') + + # Normalize formatting for comparison + local n_claim_1_proof_local_exit_root + local n_proof_local_exit_root_1 + local n_claim_1_proof_rollup_exit_root + local n_proof_rollup_exit_root_1 + n_claim_1_proof_local_exit_root=$(echo "$claim_1_proof_local_exit_root" | tr -d '[:space:]"') + n_proof_local_exit_root_1=$(echo "$proof_local_exit_root_1" | tr -d '[:space:]"') + n_claim_1_proof_rollup_exit_root=$(echo "$claim_1_proof_rollup_exit_root" | tr -d '[:space:]"') + n_proof_rollup_exit_root_1=$(echo "$proof_rollup_exit_root_1" | tr -d '[:space:]"') log "🌳 First claim mainnet exit root: $claim_1_mainnet_exit_root (Expected: $mainnet_exit_root_1)" log "🌳 First claim rollup exit root: $claim_1_rollup_exit_root (Expected: $rollup_exit_root_1)" @@ -329,6 +343,8 @@ setup() { log "📍 First claim destination address: $claim_1_destination_address (Expected: $destination_address_1)" log "💰 First claim amount: $claim_1_amount (Expected: $amount_1)" log "📄 First claim metadata: $claim_1_metadata (Expected: $metadata_1)" + log "🌳 First claim proof_local_exit_root: $n_claim_1_proof_local_exit_root (Expected: $n_proof_local_exit_root_1)" + log "🌳 First claim proof_rollup_exit_root: $n_claim_1_proof_rollup_exit_root (Expected: $n_proof_rollup_exit_root_1)" # Verify all field values match expected values assert_equal "$claim_1_mainnet_exit_root" "$mainnet_exit_root_1" @@ -339,6 +355,8 @@ setup() { assert_equal "$claim_1_destination_address" "$destination_address_1" assert_equal "$claim_1_amount" "$amount_1" assert_equal "$claim_1_metadata" "$metadata_1" + assert_equal "$n_claim_1_proof_local_exit_root" "$n_proof_local_exit_root_1" + assert_equal "$n_claim_1_proof_rollup_exit_root" "$n_proof_rollup_exit_root_1" # Validate proofs for first claim log "🔍 Validating proofs for first claim" @@ -384,6 +402,20 @@ setup() { claim_2_amount=$(echo "$claim_2" | jq -r '.amount') local claim_2_metadata claim_2_metadata=$(echo "$claim_2" | jq -r '.metadata') + local claim_2_proof_local_exit_root + claim_2_proof_local_exit_root=$(echo "$claim_2" | jq -r '.proof_local_exit_root') + local claim_2_proof_rollup_exit_root + claim_2_proof_rollup_exit_root=$(echo "$claim_2" | jq -r '.proof_rollup_exit_root') + + # Normalize formatting for comparison + local n_claim_2_proof_local_exit_root + local n_proof_local_exit_root_2 + local n_claim_2_proof_rollup_exit_root + local n_proof_rollup_exit_root_2 + n_claim_2_proof_local_exit_root=$(echo "$claim_2_proof_local_exit_root" | tr -d '[:space:]"') + n_proof_local_exit_root_2=$(echo "$proof_local_exit_root_2" | tr -d '[:space:]"') + n_claim_2_proof_rollup_exit_root=$(echo "$claim_2_proof_rollup_exit_root" | tr -d '[:space:]"') + n_proof_rollup_exit_root_2=$(echo "$proof_rollup_exit_root_2" | tr -d '[:space:]"') log "🌳 Second claim mainnet exit root: $claim_2_mainnet_exit_root (Expected: $mainnet_exit_root_2)" log "🌳 Second claim rollup exit root: $claim_2_rollup_exit_root (Expected: $rollup_exit_root_2)" @@ -394,6 +426,8 @@ setup() { log "📍 Second claim destination address: $claim_2_destination_address (Expected: $destination_address_2)" log "💰 Second claim amount: $claim_2_amount (Expected: $amount_2)" log "📄 Second claim metadata: $claim_2_metadata (Expected: $metadata_2)" + log "🌳 Second claim proof_local_exit_root: $n_claim_2_proof_local_exit_root (Expected: $n_proof_local_exit_root_2)" + log "🌳 Second claim proof_rollup_exit_root: $n_claim_2_proof_rollup_exit_root (Expected: $n_proof_rollup_exit_root_2)" # Verify all field values match expected values assert_equal "$claim_2_mainnet_exit_root" "$mainnet_exit_root_2" @@ -404,6 +438,8 @@ setup() { assert_equal "$claim_2_destination_address" "$destination_address_2" assert_equal "$claim_2_amount" "$amount_2" assert_equal "$claim_2_metadata" "$metadata_2" + assert_equal "$n_claim_2_proof_local_exit_root" "$n_proof_local_exit_root_2" + assert_equal "$n_claim_2_proof_rollup_exit_root" "$n_proof_rollup_exit_root_2" # Validate proofs for second claim log "🔍 Validating proofs for second claim" @@ -449,6 +485,20 @@ setup() { claim_3_amount=$(echo "$claim_3" | jq -r '.amount') local claim_3_metadata claim_3_metadata=$(echo "$claim_3" | jq -r '.metadata') + local claim_3_proof_local_exit_root + claim_3_proof_local_exit_root=$(echo "$claim_3" | jq -r '.proof_local_exit_root') + local claim_3_proof_rollup_exit_root + claim_3_proof_rollup_exit_root=$(echo "$claim_3" | jq -r '.proof_rollup_exit_root') + + # Normalize formatting for comparison + local n_claim_3_proof_local_exit_root + local n_proof_local_exit_root_3 + local n_claim_3_proof_rollup_exit_root + local n_proof_rollup_exit_root_3 + n_claim_3_proof_local_exit_root=$(echo "$claim_3_proof_local_exit_root" | tr -d '[:space:]"') + n_proof_local_exit_root_3=$(echo "$proof_local_exit_root_3" | tr -d '[:space:]"') + n_claim_3_proof_rollup_exit_root=$(echo "$claim_3_proof_rollup_exit_root" | tr -d '[:space:]"') + n_proof_rollup_exit_root_3=$(echo "$proof_rollup_exit_root_3" | tr -d '[:space:]"') log "🌳 Third claim mainnet exit root: $claim_3_mainnet_exit_root (Expected: $mainnet_exit_root_3)" log "🌳 Third claim rollup exit root: $claim_3_rollup_exit_root (Expected: $rollup_exit_root_3)" @@ -459,6 +509,8 @@ setup() { log "📍 Third claim destination address: $claim_3_destination_address (Expected: $destination_address_3)" log "💰 Third claim amount: $claim_3_amount (Expected: $amount_3)" log "📄 Third claim metadata: $claim_3_metadata (Expected: $metadata_3)" + log "🌳 Third claim proof_local_exit_root: $n_claim_3_proof_local_exit_root (Expected: $n_proof_local_exit_root_3)" + log "🌳 Third claim proof_rollup_exit_root: $n_claim_3_proof_rollup_exit_root (Expected: $n_proof_rollup_exit_root_3)" # Verify all field values match expected values assert_equal "$claim_3_mainnet_exit_root" "$mainnet_exit_root_3" @@ -469,6 +521,8 @@ setup() { assert_equal "$claim_3_destination_address" "$destination_address_3" assert_equal "$claim_3_amount" "$amount_3" assert_equal "$claim_3_metadata" "$metadata_3" + assert_equal "$n_claim_3_proof_local_exit_root" "$n_proof_local_exit_root_3" + assert_equal "$n_claim_3_proof_rollup_exit_root" "$n_proof_rollup_exit_root_3" # Validate proofs for third claim log "🔍 Validating proofs for third claim"