paco0x / kyber-exploit-example
reproduce kyber-elastic exploit
☆73Updated last year
Alternatives and similar repositories for kyber-exploit-example
Users that are interested in kyber-exploit-example are comparing it to the libraries listed below
Sorting:
- PoC of KyberSwap double liquidity add exploit☆43Updated last year
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆67Updated 11 months ago
- Solidity static analyzer☆82Updated last year
- Foundry + Yul template☆96Updated last year
- ☆45Updated last year
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- ☆90Updated 11 months ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Collection of past CTFs to play and practice locally.☆52Updated 8 months ago
- Solidity snippets too edgy to be in Solady☆116Updated 8 months ago
- ☆66Updated 5 months ago
- ☆116Updated 6 months ago
- Simulate cross-chain protocols txs, easily.☆147Updated 3 weeks ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆45Updated 6 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 8 months ago
- Optimised Uniswap V2 contracts written in Huff language☆111Updated last year
- Console.log utility for debugging huff contracts☆68Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- List of Halmos resources.☆54Updated 3 months ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 8 months ago
- ☆87Updated 2 months ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆96Updated last month
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆91Updated 2 years ago
- ☆81Updated 2 years ago
- ☆49Updated 2 years ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- A Huff <> bytecode transpiler☆118Updated 2 years ago
- ☆98Updated last year
- A collection of gas optimizations for the EVM.☆92Updated 2 years ago