0xkarmacoma / foundry-playgroundLinks
one off scripts and contracts
☆18Updated 2 years ago
Alternatives and similar repositories for foundry-playground
Users that are interested in foundry-playground are comparing it to the libraries listed below
Sorting:
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- StarkNet smart contract fuzzer☆80Updated 3 years ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆81Updated 3 years ago
- CTF Writeups☆36Updated last year
- ☆15Updated 2 years ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆46Updated 2 years ago
- ☆41Updated 2 years ago
- DeFi exploits for educational purposes☆59Updated 2 years ago
- ☆46Updated last year
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 7 months ago
- A curated list of resources on zkECDSA☆35Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆53Updated 11 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated last week
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 11 months ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆38Updated 5 months ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Minimal ERC20-compatible bytecode☆71Updated 4 years ago
- Replaying Nomad bridge hack☆23Updated 3 years ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Updated 2 months ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆91Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- A mempool listener for contract specific transactions.☆13Updated 11 months ago
- ☆54Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆58Updated 2 years ago
- Cross-chain message testing for Arbitrum with Foundry☆66Updated 2 years ago