Skip to content
View 0zKillua's full-sized avatar
🎯
Focusing
🎯
Focusing
30 followers · 23 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)
    • Working on stable coin projects(CDP,PSM),Liquid staking,CLMMs
    • Working on a Mixer in Move.
    • Building a multi-DEX arbitrage engine.

Formal Verification (Using certora SUI prover)

  • Implemented formal specifications and invariants for Move-based 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 Platform Findings
SUI – Haedal (liq staking) HP 1M
SUI – Bluefin-Perps HP 1L
SUI – Dexlyn (CLMM) HP 1M
SUI – Turbo Fin HP -
SUI – Ember Vaults HP -
Volo Vaults HP -
Plume Networks Immunefi 1H, 1L
BiFY-NFT Private Audit @ Radcipher Private
RAAC – Core Contracts CodeHawks / DeFi 12H, 12M, 7L
Iq-Ai C4 / Token Launchpad 1H, 1L
Arg Private @ GuardianAudits Private
Size Credit C4 / Lending 1H
vVv Vesting Staking Sherlock / DeFi 1M
Goat.Tech Cantina / DeFi 1M
Debita Finance V3 Sherlock / Lending 1M, 2L

Fun Builds:

Pinned Loading

  1. mystablecoin-sui mystablecoin-sui Public

    minimal CDP-PSM stable coin package

    JavaScript

  2. Battleship_v1 Battleship_v1 Public

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

    CSS

  3. RWA_v2 RWA_v2 Public

    Project demonstrating - Real Word Asset Tokenisation.

    Solidity

  4. LiquidVest LiquidVest Public

    LiquidVest is a protocol designed to tokenize and sell future receivables at a discount, providing liquidity to projects with locked assets. Using a time-based discount model and fixed risk tiers, …

    Solidity

  5. Move_contracts_aptos Move_contracts_aptos Public

    Learning move through toy projects

    Move

  6. Audit-Portfolio Audit-Portfolio Public

    my audit portfolio