mixbytes / echidna-farmLinks
Educational repo for fuzzing smart-contracts with Echidna
☆17Updated last year
Alternatives and similar repositories for echidna-farm
Users that are interested in echidna-farm are comparing it to the libraries listed below
Sorting:
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 2 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Tstore huff template☆17Updated last year
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆34Updated 7 months ago
- A puzzle for Curta CTF☆26Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19Updated last month
- Macros + Primitives for PADE format☆29Updated last week
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ☆2Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- A public good for Foundry forge based development☆21Updated 9 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆38Updated 7 months ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- gas comparisons between vyper and solady☆20Updated 9 months ago
- Huff development plugin for Vim☆25Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- sane NFT fractionalization with no fees or middlemen☆14Updated last year
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated 2 weeks ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆36Updated last year
- Example to extend Reth to include custom APIs☆28Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- Curta CTF #12☆20Updated last year
- Generate perfect Vyper compatible code headers every time.☆22Updated 2 years ago
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated 9 months ago
- Submodules Kill Solidity☆38Updated last year