Asamartino / EthernautChallenges
Solutions to the Ethernaut Levels
☆16Updated 2 years ago
Alternatives and similar repositories for EthernautChallenges:
Users that are interested in EthernautChallenges are comparing it to the libraries listed below
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 5 months ago
- Identify flashloan bots in multiple chains☆33Updated 2 years ago
- ☆35Updated last year
- ☆90Updated 8 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- Diagrams for Solidity contracts☆45Updated 11 months ago
- Console.log utility for debugging huff contracts☆66Updated last year
- A collection of EVM opcodes puzzles that helps you learn in-depth details about EVM Opcodes by solving them. Featured in Week In Ethereum…☆45Updated last year
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆51Updated 5 months ago
- ☆47Updated 11 months ago
- ☆115Updated 2 years ago
- Three scripts to ordinary generate, EIP-4844-type generate, and execute a signed raw transaction with `ethers`.☆30Updated this week
- ☆48Updated last year
- Foundry + Yul template☆94Updated last year
- Boilerplate test creation and Foundry initialisation for solidity smart contract audits☆20Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- List of Halmos resources.☆53Updated this week
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated last week
- ☆39Updated 10 months ago
- ☆54Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆73Updated last year
- ☆102Updated 2 years ago
- A smart contract security search utility☆72Updated last month
- Experimental tool to ease the review of smart contracts upgrades☆77Updated 10 months ago
- PoC of KyberSwap double liquidity add exploit☆41Updated last year
- Solidity Audit Report Generator☆85Updated last year
- This code accompanies the invariant testing tutorial on our website.☆19Updated last year