scab24
Co-Founder at Zealynx Security | Web3 Security Researcher | Blockchain Developer | ========================= Formal Verification | Fuzz | Rust |
scab24's Stars
0xToshii/mr-steal-yo-crypto-ctf
Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
0xToshii/mr-steal-yo-crypto-ctf-foundry
Solidity CTF challenges for mrstealyocrypto.xyz (foundry)
Rivaill/CryptoVulhub
Analyze and reproduce attack events or vulnerabilities in the blockchain world.
0xKitsune/EVM-Gas-Optimizations
A collection of gas optimizations for the EVM.
ZeframLou/playpen
Playpen is a set of modern, gas optimized staking pool contracts.
0xKitsune/solstat
A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
eugenioclrc/yulswap
Solswap, Yulswap rewrite of UniswapV1 in a modern solidity with multiple gas optimizations
bobby-lin/study-bug-bounty
Beginner Guide to Bug Hunting
kadenzipfel/gas-optimizations
List of smart contract optimizations in solidity
ComposableSecurity/SCSVS
Smart Contract Security Verification Standard
0xpranay/solidity-notes
A bunch of notes for beginners learning solidity
ZeroEkkusu/optimizooors-lab
Measure gas savings with different Solidity optimizations
ZeroEkkusu/re-golf-course
A list of common Solidity optimization tips and myths.
foundry-rs/forge-std
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
mmenoxx/compound-protocol-foundry-tests
Foundry frameworks tests for the Compound protocol
horsefacts/weth-invariant-testing
lucas-manuel/invariant-examples
Haripandey21/smart-contract-security
A collection of resources, best practices, and tools for improving the security of smart contracts.
Certora/Tutorials
Practical tutorials of Certora Prover
0xNazgul/EVM-Puzzle-Solutions
Solutions and hints to Franco Victorio's evm-puzzles
coinspect/learn-evm-attacks
Learn and contribute by exploring blockchain attacks in detail. Maintained by Coinspect smart contract audit team, renowned for their top-tier smart contract audit services.
Asamartino/EthernautChallenges
Solutions to the Ethernaut Levels
pcaversaccio/snekmate
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
ethereum-optimism/optimism
Optimism is Ethereum, scaled.
nascentxyz/How-to-Foundry
SunWeb3Sec/blocksec-ctfs
A curated list of blockchain security Capture the Flag (CTF) competitions
AmazingAng/WTF-Solidity
WTF Solidity 极简入门教程,供小白们使用。Now supports English! 官网: https://wtf.academy
saeidshirazi/Awesome-Smart-Contract-Security
A curated list of Smart Contract Security materials and resources For Researchers
spearbit/echidna-spearbit-demo
Example code for testing using Echidna explained during the Spearbit presentation
xternet/ethernaut-with-security-tools
Solving CTF with Foundry, Slither, Echidna, and Manticore.