Evaluating fuzzer effectiveness
☆20Sep 16, 2023Updated 2 years ago
Alternatives and similar repositories for fuzzer-evaluation
Users that are interested in fuzzer-evaluation are comparing it to the libraries listed below
Sorting:
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- A puzzle for Curta CTF☆26Sep 5, 2023Updated 2 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 2 years ago
- Lightweight, Modern Multicall3 Typescript Library☆26May 24, 2022Updated 3 years ago
- ☆14May 3, 2023Updated 2 years ago
- AltugCar on 0xMonaco☆10Aug 22, 2022Updated 3 years ago
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Blazingly fast function selector miner written in Rust.☆78Apr 7, 2023Updated 2 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- ethers-rs middleware interface for an Erigon db instance☆21Apr 26, 2022Updated 3 years ago
- ☆14Sep 24, 2022Updated 3 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- create metamorphic contracts using this template.☆14Mar 15, 2023Updated 2 years ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- Curta CTF #12☆20Oct 13, 2023Updated 2 years ago
- Realtime simulation for a swap or any transaction, on Ethereum, through BlockSec API.☆15Jan 14, 2023Updated 3 years ago
- 🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs☆31Jul 25, 2023Updated 2 years ago
- Write documentation for your code in pull requests using Slither and OpenAI.☆35Nov 20, 2023Updated 2 years ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆40Jul 9, 2024Updated last year
- ☆65Jan 16, 2023Updated 3 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆101Apr 4, 2025Updated 11 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- get solidity function selectors from bytecode☆13Dec 24, 2022Updated 3 years ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- ☆63Mar 9, 2023Updated 2 years ago
- ☆16Aug 15, 2024Updated last year
- optimized huff snippets☆20May 2, 2023Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- List of Halmos resources.☆59Feb 14, 2025Updated last year
- ☆35Jul 8, 2022Updated 3 years ago
- Hunt for common bad practices in Solidity smart contracts !☆123May 9, 2023Updated 2 years ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- stealth addresses library implementing ERC-5564 over secp256k1 in rust☆37Sep 23, 2023Updated 2 years ago
- devp2p implementation from akula☆15Mar 6, 2023Updated 2 years ago