aviggiano / circom-mutatorLinks
Mutation testing tool for circom
☆16Updated 2 years ago
Alternatives and similar repositories for circom-mutator
Users that are interested in circom-mutator are comparing it to the libraries listed below
Sorting:
- Example of the whitehack for Curve exploit 30/07/23☆19Updated 2 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Tstore huff template☆17Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- Symbolic EVM in Rust (WIP)☆86Updated last year
- MEV Olympics☆44Updated 9 months ago
- ☆16Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆50Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 3 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated 2 years ago
- ☆19Updated last year
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 3 years ago
- Solidity static analyzer☆83Updated last year
- Vyper Deep Dive Notes and Scripts☆25Updated 2 years ago
- ☆29Updated 2 years ago
- gas comparisons between vyper and solady☆20Updated last year
- Blog☆23Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 8 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated 2 months ago
- A puzzle for Curta CTF☆26Updated 2 years ago
- ☆63Updated 2 years ago
- Ethernaut, but in Huff☆28Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- Learn Huff through annotated examples.☆31Updated 3 years ago