Files
zeekayandHanzo Dev 8c2e9e3d6f Add Foundry exploit tests for all 30 levels
Each level test proves a fresh instance is unsolved, runs the reference
exploit (contracts/src/attacks/* or the equivalent steps) and asserts Lux
records completion. Motorbike stops at seizing the uninitialised Engine:
its "engine destroyed" completion needs selfdestruct to delete code, which
EIP-6780 forbids across transactions on the Cancun baseline, so the test
proves the seizure and documents the limit.

Co-authored-by: Hanzo Dev <[email protected]>
2026-09-23 02:23:08 -07:00

32 lines
961 B
Solidity

// SPDX-License-Identifier: MIT
pragma solidity 0.8.37;
import {LuxTest} from "../Base.t.sol";
import {RecoveryFactory} from "../../src/levels/RecoveryFactory.sol";
import {SimpleToken} from "../../src/levels/Recovery.sol";
contract RecoveryLevel is LuxTest {
RecoveryFactory factory;
address player = makeAddr("player");
function setUp() public {
_deployCore();
factory = new RecoveryFactory();
_register(factory);
}
function test_solve() public {
address instance = _create(factory, player, 0.001 ether);
_assertUnsolved(instance, player);
// The lost token is the Recovery instance's nonce-1 CREATE.
address lost = vm.computeCreateAddress(instance, 1);
assertGt(lost.balance, 0);
vm.prank(player, player);
SimpleToken(payable(lost)).destroy(payable(player));
assertEq(lost.balance, 0);
_assertSolved(factory, instance, player);
}
}