scab24
Co-Founder at Zealynx Security | Web3 Security Researcher | Blockchain Developer | ========================= Formal Verification | Fuzz | Rust |
scab24's Stars
devdacian/solidity-fuzzing-comparison
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
arnursabet/rust-z3-intro
A tutorial on the basics of Rust Z3 API
quilt/etk
evm toolkit
brockelmore/graphstack
AU-COBRA/ConCert
A framework for smart contract verification in Coq
dcbuild3r/blockchain-development-guide
Devpill.me - A Public Good Blockchain Development Guide
leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
WilfredTA/ser
Symbolic EVM in Rust (WIP)
prove-rs/z3.rs
Rust bindings for the Z3 solver.
WilfredTA/symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
williamberman/evm-symbolic-execution
0xKitsune/cfmms-rs
The predecessor to `amms-rs`. CFMM lib built in Rust enabling pair syncing and swap simulation with pools on Ethereum.
0xKitsune/sstan
Solidity static analyzer
PraneshASP/smol-evm-rs
☄️ A toy implementation of the EVM from scratch using Rust.
practical-tutorials/project-based-learning
Curated list of project-based tutorials
Quillhash/EVM-Mastery
This repository contains list of resources to aid your journey of mastering Ethereum Virtual Machine. If you find any resource missing, you can create a pull request and be a contributor of the project.
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