Case · DiggingBeagle record

KASS turned smart-contract findings into executable attack simulations

KASS is a July 2026 research framework that retrieves audit knowledge, plans an exploit, generates a Foundry proof of concept, executes it, and revises the strategy when the test fails.

Published research on authorized smart-contract exploit synthesis and simulation. It is not evidence of an in-the-wild theft.

First seen
Jul 17, 2026
Case kind
research
AI role
WITH AI
Claims
4

Reconstruction

KASS starts where many scanners stop. It takes a suspected smart-contract weakness and asks whether an executable transaction sequence can actually change state in a harmful way. The framework retrieves related audit findings, builds an attack plan, generates a Foundry proof of concept and runs the test. Failed code can be repaired inside the current strategy, while failed assumptions can trigger a broader replanning loop.

The paper reports 98 successful exploit generations across 104 SmartBugs-Curated contracts and nine validations across 11 CVE-tagged contracts. Those numbers are useful evidence of capability, but they are not a loss estimate and should not be treated as a direct ranking against every other system because some comparison numbers come from different protocols.

For DiggingBeagle, the important shift is methodological. Detection, exploit synthesis and measurable state change can now sit in one reproducible workflow. That is useful for defenders, but it also resembles the exploit-development loops appearing in real threat-actor reporting.

Mechanism & boundary

  1. 01

    Retrieve analogous audit knowledge

    Relevant findings from prior audits are retrieved for planning.

    Boundary: finding / attack knowledge

  2. 02

    Build an attack plan

    The planner turns the target weakness into an explicit exploit strategy.

    Boundary: knowledge / strategy

  3. 03

    Generate an executable proof of concept

    The generator emits a Foundry test constrained by the plan.

    Boundary: strategy / executable test

  4. 04

    Execute and repair

    Foundry execution provides feedback for code repair or strategy replanning.

    Boundary: test / state change

Timeline

  1. Jul 17, 2026

    KASS paper published

    report

    The arXiv paper reports SmartBugs-Curated and CVE-tagged evaluations.

Claims & evidence

reported findingsupported

On 11 real CVE-tagged smart contracts, the KASS paper reports validating nine exploit cases.

Measured value
9 validated CVE-tagged contracts
Method
KASS evaluation on 11 CVE-tagged contracts
Period
paper evaluation
reported findingsupported

KASS separates attack planning, proof-of-concept generation and execution testing, then uses inner repair and outer replanning loops when generated exploits fail.

reported findingsupported

The KASS paper reports executable exploit generation for 98 of 104 SmartBugs-Curated contracts, an overall rate of 94.23%.

Measured value
94.23 percent of tested contracts
Method
KASS evaluation on 104 SmartBugs-Curated contracts
Period
paper evaluation
reported findingsupported

The paper reports KASS outperforming a reproduced Claude Code baseline under the same protocol, while comparisons with REX and AdvScanner rely on previously reported results rather than a shared implementation.

Scope: Cross-system percentages should not be read as a clean vendor benchmark because the paper notes protocol and implementation differences.

Evidence visuals

diagram

KASS exploit-synthesis loop

  1. Audit knowledge

    Retrieved real-world audit findings

  2. Attack planner

    Builds an explicit exploit strategy

  3. PoC generator

    Produces a Foundry test

  4. Foundry execution

    Checks the state-changing exploit

  5. Repair or replan

    Fix code-level errors or revise assumptions

  • Audit knowledge Attack planner: retrieval
  • Attack planner PoC generator: strategy
  • PoC generator Foundry execution: execute
  • Foundry execution Repair or replan: failure feedback
  • Repair or replan PoC generator: inner repair
  • Repair or replan Attack planner: outer replan
Project-authored reconstruction from the KASS paper. · Source: KASS turned smart-contract findings into executable attack simulations

chart

KASS SmartBugs-Curated exploit-generation results

KASS paper. KASS and Claude Code were evaluated by the authors; the REX value is a previously reported result and is not a same-implementation head-to-head.

Measurepercent of tested contracts
KASS GPT-5.194.23
REX reported50
Claude Code reproduced20.19
Do not read the REX bar as a same-protocol benchmark; the paper explicitly distinguishes reproduced and previously reported comparisons. · Source: KASS turned smart-contract findings into executable attack simulations

chart

KASS validation on real CVE-tagged contracts

KASS paper real-world CVE-tagged contract evaluation.

MeasureCVE-tagged contracts
Validated9
Not validated2
These are controlled exploit-validation results, not evidence of new real-world theft. · Source: KASS turned smart-contract findings into executable attack simulations

Implications

KASS makes exploitability a first-class research object. A future assessment can ask not only whether a detector flags a bug, but whether a controlled proof of concept reaches the claimed state change and under which assumptions.

Controls & mitigations

  • Keep exploit execution inside disposable, forked or otherwise controlled environments.
  • Preserve the exact contract version, chain state and test harness for reproducibility.
  • Separate detector accuracy from exploit-generation success when comparing tools.

What remains unknown

  • Independent reproduction outside the paper's authors is not established in the current source set.
  • The paper's comparison with systems whose implementations were unavailable is not a same-protocol head-to-head benchmark.

Cite this record

DiggingBeagle. “KASS turned smart-contract findings into executable attack simulations.” First seen Jul 17, 2026. https://diggingbeagle.com/cases/kass-turned-smart-contract-findings-into-executable-attack-simulations/

Citation guidance

Why this archive exists

The source matters after the headline fades.

DiggingBeagle is a non profit research project documenting AI security incidents, agent failures, vulnerabilities and AI-assisted operations. A case keeps its claims beside the sources that support, contest or limit them. Later updates stay visible, so a reader can see when the account changed.

We publish case reconstructions, dated reporting and analysis across records. Each has a different evidentiary role. About the project and our methodology explain how the work is reviewed.