Start Benchmark

This page creates a benchmark request issue in GitHub.

Need a new target first? Use the target onboarding skill at skills/target-onboarding/SKILL.md and follow its workflow.

The request moves through GitHub labels:

benchmark/01-pending: added by the issue template on creation.
benchmark/02-validated: added by the bot after JSON validation passes.
benchmark/03-approved: added manually by a maintainer.

Use the preconfigured target selector to auto-fill target repo/commit for the current benchmark targets listed in README.md.

Current preconfigured targets:

Aave v4 (v0.5.6-recon)
Superform v2-periphery (dev-recon)
Liquity v2 Governance (recon)
Nerite (dev-recon)

Preconfigured target

Target repo URL

Target commit / tag / branch

Benchmark type

EC2 instance type

Instances per fuzzer (1 to 20)

Timeout (hours, 0.25 to 72)

Fuzzers

echidnamedusafoundryechidna-symexec

Open GitHub request issue

~$ 7.34

Request JSON preview

{
  "target_repo_url": "https://github.com/Recon-Fuzz/aave-v4-scfuzzbench",
  "target_commit": "v0.5.6-recon",
  "benchmark_type": "property",
  "instance_type": "c6a.4xlarge",
  "instances_per_fuzzer": 4,
  "timeout_hours": 1,
  "fuzzers": [
    "echidna",
    "medusa",
    "foundry"
  ],
  "foundry_version": "",
  "foundry_git_repo": "https://github.com/aviggiano/foundry",
  "foundry_git_ref": "master",
  "echidna_version": "",
  "medusa_version": "",
  "bitwuzla_version": "",
  "git_token_ssm_parameter_name": "/scfuzzbench/recon/github_token",
  "properties_path": "",
  "fuzzer_env_json": "{\"ECHIDNA_TARGET\":\"tests/recon/CryticTester.sol\"}"
}

WARNING

Do not put secrets in the issue body. The request is intentionally public/auditable.

Start Benchmark ​

Start Benchmark