Independent EVM / Solidity Specialist

Amna
Nasir

Smart Contract Security & Protocol Engineer
Open to scoped security engagements

I help DeFi teams assess smart contract risk, test critical protocol invariants, and engineer fixes before important deployments, upgrades, and integrations. My work focuses on EVM / Solidity systems, Foundry testing, and practical protocol risk analysis.

Explore Technical WorkDiscuss an Engagement

Who I Am

Smart contract risk depends on the code, protocol design, and assumptions behind a system. My focus is hands-on EVM engineering and security testing that makes those assumptions easier to inspect.

I work with Solidity, Foundry, protocol testing, and vulnerability reproduction. I aim to make review work actionable: explain the risk, show evidence where feasible, and help developers understand and validate a fix.

The projects below are public engineering prototypes and testnet demonstrations. They show my approach and learning process; they should not be mistaken for independent production audit reports.

EVM
Solidity & DeFi Focus
Foundry
Unit, Fuzz & Invariant Testing
Sepolia
Public Testnet Demonstrations
Evidence
Reproducible, Scope-Aware Review

Selected Security & Engineering Projects

03
Smart Contract Audit Checklist + Attack Simulator
Security · Solidity · Hardhat

A learning-focused security project demonstrating selected vulnerability patterns through exploit scripts, attacker contracts, and automated tests. The examples demonstrate research and testing practice, not a production audit track record.

  • Reentrancy attack simulation
  • Access control vulnerability demos
  • Integer overflow/underflow exploits
  • Frontend dashboard for results
View Code ›
04
Smart Contract Vulnerability Lab
DeFi Security · Web3 · Hardhat

A learning-focused lab for reproducing selected smart contract vulnerability patterns and testing example mitigations. Each demonstration should be assessed within its own assumptions and is not evidence of a production audit.

  • tx.origin exploitation demos
  • Reentrancy & state management bugs
  • Real Hardhat attack execution scripts
  • Secure fix implementations
View Code ›
05
Web3 Shield: Public Repository Scanner
Security Tool · OSINT · Web3

A repository-scanning tool intended to flag selected suspicious scripts, network activity, wallet interactions, and potentially risky patterns. Results are triage signals, not a guarantee that a repository is safe or malicious.

  • Pre-run repo risk analysis
  • Wallet interaction detection
  • Backdoor & drainer pattern flagging
  • CLI + live signal output
View Code ›
06
AI-powered Solana Debugger
Python · FastAPI · Helius RPC · Claude AI

A prototype for explaining Solana transaction errors and logs with AI-assisted suggestions. Suggested fixes should be reviewed and tested before use.

  • Transaction error parsing
  • Log error analysis
  • AI-generated explanations
  • Suggested fixes
View Code ›

How I Can Help

Smart Contract Security Review

Manual review of Solidity code, access control, state transitions, external calls, and protocol-specific attack surfaces.

Foundry Testing

Unit tests, fuzz testing, and invariant testing to exercise critical properties under documented assumptions.

DeFi Protocol Risk Analysis

Review of vault accounting, token interactions, privileged roles, reward logic, and trust assumptions.

Remediation Engineering

Reproducible examples, fix recommendations, regression tests, and technical walkthroughs for agreed findings.

Vulnerability Research

Build minimal demonstrations of selected vulnerability patterns and validate example mitigations with tests.

EVM / Solidity Engineering

Develop and test smart-contract prototypes with clear scope, assumptions, and known limitations.

Discuss a Security Engagement

Preparing an EVM protocol for deployment, an upgrade, or a new integration? I can discuss a scoped security review covering agreed contracts, threat assumptions, targeted testing, documented findings, remediation guidance, and retesting of agreed fixes. Scope and deliverables are agreed before work begins; no review can guarantee that a system is exploit-proof.

To start, share the protocol or repository, the upcoming milestone, the contracts in scope, and your target timeline. Engagement pricing depends on scope, complexity, and delivery requirements.