orenyomtov / code-is-law-2Links
Solidity CTF challenge from BSides TLV 2022
☆14Updated 3 years ago
Alternatives and similar repositories for code-is-law-2
Users that are interested in code-is-law-2 are comparing it to the libraries listed below
Sorting:
- Example of the whitehack for Curve exploit 30/07/23☆19Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 3 years ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- Foundry + Yul puzzles☆33Updated 2 years ago
- Ethernaut, but in Huff☆28Updated 2 years ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 5 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- ☆18Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated last year
- ☆87Updated 2 weeks ago
- MEV Olympics☆44Updated 9 months ago
- ☆49Updated 2 years ago
- ☆37Updated last year
- Eclectic notes on static analysis and compilers☆47Updated 3 years ago
- ☆17Updated last week
- Novel and informative web3 security talks☆19Updated 2 years ago
- ☆46Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- https://twitter.com/jtriley_eth/status/1550459124047138819?s=20&t=cTBP-TSnIstNEwwPuRDF5Q☆17Updated 3 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 9 months ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 3 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Vyper Based Capture The Flag Challenges☆35Updated 3 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- ☆63Updated 2 years ago
- A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.☆14Updated 3 years ago
- unhacked challenge 2: schnoodle☆21Updated 3 years ago
- Collection of past CTFs to play and practice locally.☆52Updated last year
- ☆15Updated 2 years ago