scab24
Co-Founder at Zealynx Security | Web3 Security Researcher | Blockchain Developer | ========================= Formal Verification | Fuzz | Rust |
scab24's Stars
practical-tutorials/project-based-learning
Curated list of project-based tutorials
abi/screenshot-to-code
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
rust-lang/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
dcbuild3r/blockchain-development-guide
Devpill.me - A Public Good Blockchain Development Guide
quilt/etk
evm toolkit
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Consensys/scribble
Scribble instrumentation tool
0xKitsune/cfmms-rs
The predecessor to `amms-rs`. CFMM lib built in Rust enabling pair syncing and swap simulation with pools on Ethereum.
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.
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
OriginProtocol/origin-dollar
OUSD and OETH are stablecoins that passively accrue yield while you are holding it
AU-COBRA/ConCert
A framework for smart contract verification in Coq
leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
devdacian/solidity-fuzzing-comparison
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
WilfredTA/ser
Symbolic EVM in Rust (WIP)
0xKitsune/sstan
Solidity static analyzer
WilfredTA/symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
brockelmore/graphstack
ebtc-protocol/ebtc
zobront/halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
Recon-Fuzz/chimera
Smart Contract Property-Based Testing Framework
williamberman/evm-symbolic-execution
PraneshASP/smol-evm-rs
☄️ A toy implementation of the EVM from scratch using Rust.
magnetto90/rareskills-blog-index
Index of Rareskill Blog posts using playwright
hananbeer/master
Modify ASTs Easily & Reliably
iFrostizz/statify
generate a state machine of smart contracts
deliriusz/web3-security
This is a small showcase of my experience in web3-security space
0xadrii/audits
Audit portfolio by 0xadrii
iFrostizz/state
A fully automated state machine diagram generator for the EVM
arnursabet/rust-z3-intro
A tutorial on the basics of Rust Z3 API