xternet / echidna-etheno-hh-template
Echidna, Etheno, and HardHat template for fuzzing complex systems.
☆9Updated 2 years ago
Alternatives and similar repositories for echidna-etheno-hh-template:
Users that are interested in echidna-etheno-hh-template are comparing it to the libraries listed below
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated last year
- Mutation testing tool for circom☆16Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- An in complete list of tokens with permit function☆14Updated 3 years ago
- Beating OpenZeppelin's Ethernaut in Pure Assembly. Masochists Only.☆24Updated last year
- Strategies for BentoBox☆11Updated last year
- Solidity code☆10Updated last year
- ☆65Updated 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
- ☆14Updated last year
- ☆10Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆15Updated last month
- I'm encoooderrrring☆11Updated 2 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 8 months ago
- A port of the weiroll vm in huff☆27Updated 2 years ago
- Vyper Deep Dive Notes and Scripts☆26Updated last year
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated last year
- ☆12Updated last year
- ☆10Updated last year
- A Proxy contract incorporating a Reentrancy Guard☆28Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders☆29Updated this week
- Modify ASTs Easily & Reliably☆17Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago