Starred repositories
Walkthroughs to leverage Odyssey's features from the future.
Core smart contracts for the Pendle Protocol.
A curated list of zkVM, zero-knowledge virtual machine
curation of all(most) immunefi bug bounty writeups I could find(till now)
A gas optimized, 100% on-chain chess engine and art project where each move is minted as an NFT
The Decentralized Application Security Project
Open-Source Portfolio Aggregator and Report Generator
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities,…
Pre-built security properties for commonly forked DeFi protocols
Minimal Upgradeable Contract Deploy and Test with foundry
The FAQ answer and code examples repository for Compound III developers.
The Compound On-Chain Protocol
An efficient money market protocol for Ethereum and compatible chains (aka Compound III, Compound v3).
This repository represents my portfolio of smart contract security audits and audit contest findings
Formally verifying consistency between Solmate and Solady using Halmos
Example Certora verification for a simple multi-contract system
zkSync: trustless scaling and privacy engine for Ethereum
Upgradeability test for UUPS-type proxies using Foundry toolkit