aviggiano / circom-mutatorLinks
Mutation testing tool for circom
☆16Updated last year
Alternatives and similar repositories for circom-mutator
Users that are interested in circom-mutator are comparing it to the libraries listed below
Sorting:
- 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
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- gas comparisons between vyper and solady☆20Updated 9 months ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆12Updated 2 years ago
- Tstore huff template☆17Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- ☆16Updated 10 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated 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
- ☆29Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- A puzzle for Curta CTF☆26Updated last year
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 11 months ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 9 months ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- EVM contract size analyzer☆17Updated 2 years ago
- Generic Vector library for Solidity☆27Updated 3 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- Ethernaut, but in Huff☆28Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- A solution to hats.finance's first CTF challenge☆10Updated 3 years ago