Skip to content
View 0zKillua's full-sized avatar
🎯
Focusing
🎯
Focusing
31 followers · 30 following
  • INDIA

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Block or report 0zKillua

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
0zKillua/README.md

Hi there 👋

  • Currently focused on the Move ecosystem (Aptos,Sui)
    • Building Intent Based p2p Lending protocol with DeepBookV3 integration
    • Auditing Move protocols - AMMs, Vaults, Perps, CLOBs etc.
    • Working on a Mixer in Move.
    • Building a multi-DEX arbitrage engine.

Formal Verification (Using certora prover)

  • Implemented formal specifications and invariants for DeFi protocols, including: Integrity, solvency, and parametric checks

  • Verified protocol types:

    • ✅ Vaults (ERC-4626–style share/asset accounting)
    • ✅ AMMs (Uniswap V2–style constant product models)
    • 🟡 CLAMMs (Uniswap V3–style concentrated liquidity) — in progress
    • 🟡 Lending protocols — in progress

Audit Portfolio

Protocol Language Platform / Contest Findings
SUI – XXX (Yield) Move hackenProof - Bug Bounty 1M
SUI – XXX (Liq Staking) Move hackenProof - Bug Bounty 1M
SUI – XXX (Perps) Move hackenProof 2L
EVM – XXX (Lending) Solidity hackenProof - Bug Bounty Pending...
EVM – XXX (Lending) Solidity hackenProof - Bug Bounty 1 Critical
EVM – XXX (Vaults) Solidity hackenProof - Bug Bounty 1 Critical
EVM – XXX (Lending) Solidity hackenProof - Bug Bounty 1 Critical
EVM – XXX (Vaults) Solidity hackenProof - Bug Bounty 1 Critical
SUPRA – Dexlyn (CLMM) Move hackenProof 1M
SUI – XXX Move hackenProof - Bug Bounty Pending...
SUI – XXX Move hackenProof - Bug Bounty Pending...
Plume Networks Solidity Immunefi 1H, 1L
BiFY-NFT Solidity Private @ Radcipher 13H, 11M
RAAC – Core Contracts Solidity CodeHawks / DeFi 12H, 12M, 7L
Liquid Ron Solidity C4 1H
FluidDex Solidity sherlock -
Merkl Soldiity C4 -
VIIFinance Solidity Cantina _
IQ-AI Solidity C4 / Token Launchpad 1H, 1L
Arg Solidity Private @ GuardianAudits Private
Size Credit Solidity C4 / Lending 1H
vVv Vesting Staking Solidity Sherlock / DeFi 1M
Goat.Tech Solidity Cantina / DeFi 1M
Debita Finance V3 Solidity Sherlock / Lending 1M, 2L

Fun Builds:

Pinned Loading

  1. Formal-verification-SUI Formal-verification-SUI Public

    formal verification of move contracts on SUI using certora prover

    Move

  2. Tide_Intents Tide_Intents Public

    Intent centric Lending protocol on SUI

    TypeScript

  3. mystablecoin-sui mystablecoin-sui Public

    minimal CDP-PSM stable coin package

    JavaScript

  4. Battleship_v1 Battleship_v1 Public

    Implementation of Battleship game without using fancy ZK,FHE like tech. Only using Merkle Proofs

    CSS

  5. RWA_v2 RWA_v2 Public

    Project demonstrating - Real Word Asset Tokenisation.

    Solidity