Abhishek

Srivastava

I don't just audit code; I break logic. I am a Smart Contract Security Researcher specializing in uncovering high-impact vulnerabilities that automated scanners miss. My expertise lies in Adversarial Logic Analysis—thinking like an attacker to identify state-machine inconsistencies, economic exploits, and permanent Denial of Service (DoS) vectors. Recently, I’ve been active in high-profile audits for protocols like Jupiter Lend, where I identified critical vulnerabilities related to complex state management and liquidation logic. What I bring to your project: Deep Manual Review: I go beyond Slither/Mythril to map out your protocol's trust boundaries and invariant violations. Proof of Concept (PoC) Development: I don't just report bugs; I provide production-ready Rust/Anchor or Foundry tests to prove the exploit. Remediation Guidance: I work with your team to implement fixes that are not only secure but gas-efficient. Technical Stack: Languages: Rust (Anchor), Solidity, Vyper.