aviggiano / circom-mutator
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
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- gas comparisons between vyper and solady☆20Updated 7 months ago
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 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
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆12Updated 2 years ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆17Updated 8 months ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated last month
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated 11 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆20Updated this week
- A puzzle for Curta CTF☆26Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Unofficial Rust SDK library for the Seaport smart contracts.☆24Updated 2 years ago
- Generic Vector library for Solidity☆27Updated 3 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months 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
- Blog☆22Updated last year
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year