A deterministic, local-EVM benchmark for smart-contract security tasks, built as families of tasks that share one hidden objective and differ only in labeled protocol constraints. Every task runs on a private in-memory EVM (chainId 31337, zero gas price, no external network). The chain is rebuilt deterministically from bootstrap.py on every start. Task ids follow 4000- [- ]- -case, e.g. 4000-0002-eq-detect-case (family 0002, equivalent variant, detect). A family's five variants share the hidden objective J and the judge; they differ in the protocol constraints (defense coverage, funding, roles, cross-contract gates — the K1/K2 mutations). exploit — the directory is -case. The agent gets the…
Publisher
Ziffer
Ziffer
Models in Library0
Datasets in Library1
Models on Hugging Face—
Followers—
Compare the published evidence
This profile connects the 1 model and dataset record shown below to their upstream cards and sources. The library counts describe SAVRN's coverage, rather than this publisher's entire output.
Published tasks: Text generation.
Reported licenses: apache-2.0. Open a record to review its specific license and conditions.
Compare model specifications, source dates, and hardware estimates on the individual records. Publisher identity verification is separate from a model's quality, deployment readiness, or suitability for your work.