Skip to content
View greenbasket-labs's full-sized avatar
πŸ’­
Auditing Solidity contracts
πŸ’­
Auditing Solidity contracts

Block or report greenbasket-labs

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
greenbasket-labs/README.md

Hi, I’m Mohammed (Abdullahi) πŸ‘‹

Smart Contract Developer & Security-Focused Auditor.

I design, implement, and review Solidity contracts with a security-first mindset β€” focused on correctness, invariants, and exploit resistance.


πŸ” Core Focus

  • Smart contract security & competitive audits
  • Solidity-based protocol architecture
  • Governance, staking & DeFi systems
  • Test-driven development (Hardhat / Foundry)
  • Edge-case & invariant modeling

🧱 Selected Work

  • Continuum Protocol β€” non-custodial, time-based digital asset inheritance architecture
  • Casper Governance Voting β€” on-chain governance system
  • Zama FHE Smart Contracts β€” privacy-preserving contract patterns in Solidity

πŸ›‘ Security & Audits

  • Code4rena – Rujira Audit (Dec 16, 2025 – Jan 16, 2026)
    Contributed to competitive audit covering Ghost Lending, Ghost Credit, and vault logic on THORChain (CosmWasm / Rust).
    Focus areas: liquidation safety, LTV invariants, access control, debt accounting.

  • Ongoing participation in public audits and Web3 bug bounties (Solidity / Rust).


βš™οΈ Technical Stack

Languages: Solidity, Rust
Frameworks: Hardhat, Foundry
Domains: DeFi, Governance, Protocol Security
Practices: Invariant reasoning, exploit modeling, security-first development


πŸ“ Open to: Smart Contract Development | Security Review | Protocol Engineering
πŸ“« Contact: X (@GreenBasketLabs)

Pinned Loading

  1. casper-governance-voting casper-governance-voting Public

    On-chain governance voting prototype

    Rust

  2. continuum-protocol continuum-protocol Public

    A non-custodial on-chain inheritance protocol for digital assets.

  3. zama-fhe-smart-contracts zama-fhe-smart-contracts Public

    Solidity