Is this a real smart contract execution environment?
Yes. Each submission is compiled and run through a sandboxed Foundry verifier on the server. The verifier checks the final contract state against the challenge conditions and returns a pass/fail result.
What does the Foundry verifier check?
It compiles your exploit script in an isolated sandbox, deploys the target contract, runs your exploit, then asserts the challenge condition — for example, that you became the owner or drained the balance.
