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

31 lines
952 B
Solidity

// SPDX-License-Identifier: MIT
pragma solidity 0.8.37;
import {LuxTest} from "../Base.t.sol";
import {DenialFactory} from "../../src/levels/DenialFactory.sol";
import {Denial} from "../../src/levels/Denial.sol";
import {DenialAttack} from "../../src/attacks/DenialAttack.sol";
contract DenialLevel is LuxTest {
DenialFactory factory;
address player = makeAddr("player");
function setUp() public {
_deployCore();
factory = new DenialFactory();
_register(factory);
}
function test_solve() public {
address instance = _create(factory, player, 0.001 ether);
_assertUnsolved(instance, player);
// A partner whose fallback burns all forwarded gas makes withdraw revert.
DenialAttack attack = new DenialAttack();
vm.prank(player, player);
Denial(payable(instance)).setWithdrawPartner(address(attack));
_assertSolved(factory, instance, player);
}
}