0Kage's Projects
Database of issues organized by business logic
Config files for my GitHub profile.
badger testing
Interacts with AAVE lending pool contract for lend/borrow/repay/swap collateral functions and more..
All resources on Maximum Extractable Value
Playground to learn, test and experiment with Certora
An index repository with submodules for different examples of Certora projects
Practical tutorials of Certora Prover
Learning components and styles in chakra ui
Creates a ERC20 Cheru Token
zk concepts, circom and halo
All things related to Zero Knowledge Proofs
Repository for the third EPF cohort
Damn vulnerable defi hacks - solutions
Fully automated, decentralized lottery
Reproduce DeFi hacked incidents using Foundry.
DEX that exchanges ETH->0KAGE. Add and remove liquidity
All ethernaut exercises
Library that tests ethers.js support for wallets, providers, contracts, events, logs
Wormhole Axelar Transceiver Audit
Immunefi POC templates
testing features on foundry
Gains Network Codebase
Repo for all growic assignment tasks
POCs of all hack series created for blogs
Detailed POCs for recent hacks
A symbolic testing tool for EVM smart contracts
Hardhat plugins, tasks and contract management
curation of all(most) immunefi bug bounty writeups I could find(till now)
Create a LoansDAO that controls collateral ratios and assets through a voting governance