Task ID: 3.5
Phase: 3
Description: Formal reasoning and adversarial testing of staking, links, and VS dynamics.
Deliverables:
- Invariant specs
- Attack simulations
- Mitigation patches
Dependencies: 3.4
Estimated Hours: 200
Start Hour: 1581
End Hour: 1780
Bounty (VSP): 5200000