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
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 8 months ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- gas comparisons between vyper and solady☆20Updated 6 months ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated 2 years ago
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆32Updated 3 months ago
- MEV Olympics☆45Updated 4 months ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 11 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Solidity string utilities written in yul☆20Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Macros + Primitives for PADE format☆29Updated last week
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- solidity compression utility☆20Updated 5 months ago
- Tstore huff template☆17Updated last year
- UniswapX SwapRouter02 Executor Filler Written in Huff Language☆29Updated last year
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆32Updated 8 months ago
- ☆22Updated 2 years ago