mixbytes / echidna-farm
Educational repo for fuzzing smart-contracts with Echidna
☆17Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for echidna-farm
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- Macros + Primitives for PADE format☆26Updated last week
- Uniswap V4 Huff Hooks☆40Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆24Updated 4 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆20Updated last month
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated last month
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated 11 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 9 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- 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
- ☆15Updated 6 months ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated last year
- gas comparisons between vyper and solady☆20Updated 2 months ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 6 months ago
- ☆43Updated last year
- ☆17Updated 3 months ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆18Updated last month
- Curve style voting escrow (ve) Uniswap v4 hook contract☆23Updated last year
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.☆30Updated this week
- ☆14Updated last year
- ERC721 contract written entirely in assembly, with custom storage mappings.☆23Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆29Updated 7 months ago