Incident workspace

Share Accounting Drift In A Fictional Vault

A fictional vault mints shares from a stale asset balance after a fee path changes total assets without refreshing the denominator, creating a proportional-accounting failure.

Phase 1 · Fictional Content

Fictional data used to validate the TraceFi interface. This is not a real security incident.

Architecture Context

Project model
A fictional yield vault used only to validate TraceFi's dossier and Learn Mode interface.
Chains
EVM Prototype Chain
Categories
Share Accounting, Invariant Violation, Vault Design

Normal Intended Flow

The intended path keeps the decision state and execution state aligned before sensitive state changes occur.

For this dossier, compare that expected behavior against the invariant panel and state changes below.

Exploit Flow

The exploit path models a mismatch between the state used for calculation and the state that exists when the action is applied.

This phase keeps the diagram static so it can later be replaced by the canonical animated diagram system.

Attack Flow Diagram

Static prototype visualization of normal flow, exploit flow, and invariant break. No real transaction data is represented.

Prototype attack flow for Share Accounting Drift In A Fictional VaultActor sends a deposit to a vulnerable vault, which updates share token and victim asset state; an invariant break is highlighted.Actorsynthetic userVulnerable vaultAster Vale VaultsShare tokenfictional sharesVictim assetssynthetic unitsnormal depositexpected mintexploit path!invariant break

Accessible summary: A deposit must not mint more shares than the depositor's proportional claim on current vault assets.

Invariant-break Explanation

A fee settlement path changed accounted assets before the deposit denominator was refreshed.

Asset And State Changes

StateBeforeAfterDeltaNote
Accounted assets1000 synthetic units940 synthetic units-60 synthetic unitsPrototype-only value used to show table behavior, not a real balance.
Share supply1000 synthetic shares1125 synthetic shares+125 synthetic sharesDemonstrates proportional drift in a fictional model.