scab24
Co-Founder at Zealynx Security | Web3 Security Researcher | Blockchain Developer | ========================= Formal Verification | Fuzz | Rust |
scab24's Stars
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
iFrostizz/statify
generate a state machine of smart contracts
abi/screenshot-to-code
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
scaffold-eth/scaffold-eth-2
Open source forkable Ethereum dev stack
Jon-Becker/research
This repository contains research papers & studies that I have worked on or am currently working on.
code-423n4/2023-10-badger
Certora/gambit
Using mutations to improve specs and test suites
alpinevm/anvil-web3
CLI wrapper and web3.py class to interact with and create anvil chains
blacksmith-eth/blacksmith
🔨 An adaptive frontend for smart contract interaction
lpinilla/Smart-Contract-Hash-Matcher
Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches
g00dv1n/evm-hound-rs
A Minimalistic Rust library to extract all potential function selectors from EVM bytecode without source code.
solidquant/mev-templates
MEV bot templates written in Python/Javascript/Rust. All implementing DEX flashloan arbitrage
paco0x/kyber-exploit-example
reproduce kyber-elastic exploit
skdonepudi/buildspace-solutions
skdonepudi/solanacore-buildspace
CDSecurity/audits
Veridise/vanguard-aleo
Static analysis toolkit for security analysis in Aleo programs
Veridise/Eurus
Precise Attack Synthesis for DeFi Apps
Rektoff/RustBlock-Outpost
RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to find out how Rust is being implemented in web3 applications
fuzzland/blazo
Run Fuzzing with ItyFuzz Easily
d-xo/hevm-demo
Cyfrin/sc-exploits-minimized
A repo to showcase web3 hacks
Cyfrin/security-and-auditing-full-course-s23
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
runtimeverification/kontrol-tutorial
Philogy/meth-weth
The most optimized ERC20 & Wrapped Ether implementation.
rusty-crewmates/substrate-tutorials
A collection of exercices to teach yourself Substrate
trifectatechfoundation/teach-rs
A modular, reusable university course for Rust
runtimeverification/kontrol
iFrostizz/rustry
Based Ethereum framework for writing tests in Rust