Welcome to my professional smart contract security and auditing portfolio. Here, I showcase my methodology, tools, and detailed security findings on the Solana blockchain.
- Verifying program ownership and enforcing strict signer checks.
- Preventing account substitution and spoofing attacks in Anchor and native programs.
- Preventing Integer Underflow/Overflow using safe math practices.
- Auditing reward calculations, fee distributions, and liquidity pool metrics.
- Performing rigorous manual code reviews.
- Deep logic verification on-chain.
-
[H-01: Integer Underflow in Pool Distribution] - Description: A critical flaw where subtraction before validation allowed attackers to drain rewards.
- Remediation: Implemented
checked_suband strict mathematical bounds checks.
- Remediation: Implemented
-
[H-02: Missing Signer Validation on Config Account]
- Description: Unauthorized users could modify system parameters due to a missing
.is_signercheck. - Remediation: Added Anchor's
Signer<'info>constraint on the administrative account.
- Description: Unauthorized users could modify system parameters due to a missing
- Languages: Rust ๐ฆ, Solidity
- Frameworks: Anchor, Solana CLI
โAny knowledge youโve ever picked up is a weapon now.โ Find more of my work on GitHub or connect with me on X (Twitter).