Zellic / weth
Formal verification of WETH9.sol with Z3
☆57Updated 2 years ago
Alternatives and similar repositories for weth:
Users that are interested in weth are comparing it to the libraries listed below
- ☆21Updated 2 years ago
- Hands on Blockchain☆43Updated last year
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 9 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- An EVM bytecode disassembler/assembler☆47Updated 4 months ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- one off scripts and contracts☆18Updated last year
- ☆21Updated 3 years ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 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…☆50Updated 2 weeks ago
- Contracts for Blur and Blend☆30Updated last year
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- ☆87Updated last month
- Validation code for the EOF specification☆54Updated last week
- 👩💻 A crypto reading list of reading lists☆12Updated 3 years ago
- ☆38Updated 11 months ago
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- ☆72Updated this week
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- Argus is a minimal, blazing fast contract storage introspection tool written in rust.☆13Updated 2 months ago
- Notes on Solidity☆60Updated 2 years ago
- Ethernaut, but in Huff☆28Updated 2 years ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 4 months ago