staking-vesting

What problem does it solve?

This Skill addresses critical security concerns in staking and vesting protocols, focusing on preventing vulnerabilities related to reward calculation, timing attacks, and token accounting.

Core Features & Use Cases

• Reward Calculation Auditing: Identifies flaws in how rewards are accrued and distributed to prevent manipulation.
• Timing Attack Prevention: Analyzes staking and withdrawal mechanisms for vulnerabilities related to block timing and MEV.
• Token Accounting Integrity: Ensures accurate tracking of staked tokens, especially with fee-on-transfer or rebase tokens.
• Lock Period Enforcement: Verifies that lock-up periods are correctly implemented and cannot be bypassed.

Quick Start

Audit the provided staking contract for potential vulnerabilities in reward calculation and withdrawal logic.