perimetersec / arachneLinks
Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
☆18Updated last month
Alternatives and similar repositories for arachne
Users that are interested in arachne are comparing it to the libraries listed below
Sorting:
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆83Updated 2 years ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated 2 weeks ago
- unhacked challenge 1: reaper☆42Updated 3 years ago
- Solidity static analyzer☆83Updated 2 years ago
- ☆38Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Updated last year
- ☆58Updated 2 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆51Updated 2 years ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆57Updated 2 weeks ago
- The goal of this project is to automatically generate stack comments for huff macros☆50Updated 2 years ago
- ☆52Updated 3 years ago
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆29Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Updated 2 years ago
- ☆12Updated last year
- Educational repo for fuzzing smart-contracts with Echidna☆17Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆70Updated last year
- ☆27Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆44Updated 11 months ago
- ☆54Updated 3 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- Generating Inputs for OZ's MultiProof and SingleProof☆39Updated last year
- Collection of past CTFs to play and practice locally.☆52Updated last year
- ☆65Updated 3 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 8 months ago
- Uniswap V4 Huff Hooks☆41Updated 2 years ago
- ☆47Updated last year