CYBERSECURITY & CRYPTOGRAPHY

Solidity smart contract security audit

Solidity smart contract security audit is an OpenEnv-compatible reinforcement learning environment in our Cybersecurity & Cryptography catalog. An agent acts through the tools below, and a deterministic verifier scores every episode, so the reward can be used for GRPO or other RLVR post-training.

Task and verification

Identify and patch security vulnerabilities in EVM smart contracts. Invariant fuzz testing with Foundry, Slither static analysis, and reentrancy/flash-loan attack resistance gate qualification.

Tools and runtime

Foundry + Slither + EVM state verification

OPENENV / FOUNDRY

Related Cybersecurity & Cryptography gyms

• Memory-safety exploit patching
• Threat detection engineering & SIEM rules
• Cryptographic implementation testing
• Network protocol conformance testing
• Exploit engineering & containment testing
• Binary reverse engineering & decompilation
• Cloud IAM & Terraform security auditing
• Zero-knowledge circuit verification

See how these environments are run privately on the custom RL environments page, and how their rewards are made hard to game in our verifier design guide.

Plan a training run

Check the environment’s availability, compatible models and compute in Studio. A catalog entry does not guarantee that hosted training is enabled for your workspace.