mixbytes / echidna-farm
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:
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 10 months ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated last week
- Macros + Primitives for PADE format☆29Updated 3 weeks ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year
- Tstore huff template☆17Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated last month
- cheaper storage by the wei☆13Updated 5 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆28Updated 11 months ago
- Example to extend Reth to include custom APIs☆28Updated last year
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆33Updated 5 months ago
- ☆22Updated 2 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
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 4 months ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19Updated last month
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated 7 months ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆34Updated 7 months ago
- ☆33Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- MEV Olympics☆45Updated 5 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago