leo's repositories
zk-book
This is the markdown for the ZK Book
Paradigmctf-BlockChain-Infra-Extended
This repository contains the setup from Paradigm CTF blockchain challenges based on the original repository. We've introduced new features, including a web interface and additional challenge setup.
Blockchain-Security-Library
A library of blockchain security resources for various categories in blockchain.
Hackberry-Pi_Zero
A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display
honggfuzz-rs
Fuzz your Rust code with Google-developed Honggfuzz !
linea-contracts
Linea smart-contracts
Learning-Projects
All the learning projects code from Metaschool website.
prb-math
Solidity library for advanced fixed-point math
CodeHawks-FirstFlights-Findings
This repository contains all the reports of the audits I have done from CodeHawks First Flights
Audit-Portfolio
All the vulnerabilities I identified in Code4rena, Sherlock, and CodeHawks.
quorum
A permissioned implementation of Ethereum supporting data privacy
resources
Public resources on fuzzing services, methodologies, and benefits for protocol security.
awesome-oneliner-bugbounty
A collection of awesome one-liner scripts especially for bug bounty tips.
awesome-uniswap-hooks
A curated list of awesome Uniswap v4 hooks resources.
cover-agent
CodiumAI Cover-Agent: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞
awesome-halmos
List of Halmos resources.
revm
Implementation of the Ethereum Virtual Machine in Rust.
ScriptSentry
ScriptSentry finds misconfigured and dangerous logon scripts.
earthkit
Nifty Tool for Geolocation
rundler
An ERC-4337 Bundler in Rust
rindexer
A no-code blazing fast EVM indexer tool built in rust.
One-Liners
A collection of one-liners for bug bounty hunting.
awesome-wordlists
A curated list wordlists for bruteforcing and fuzzing
bellman
zk-SNARK library.