Zellic / wethLinks
Formal verification of WETH9.sol with Z3
☆58Updated 2 years ago
Alternatives and similar repositories for weth
Users that are interested in weth are comparing it to the libraries listed below
Sorting:
- ☆21Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- ☆38Updated last year
- ☆86Updated 2 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- CTF Writeups☆36Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated 3 weeks ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 2 years ago
- A smart contract security search utility☆75Updated 5 months ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- ☆46Updated last year
- ☆29Updated last year
- ☆21Updated 3 years ago
- Hands on Blockchain☆43Updated last year
- On chain rock paper scissors game using zero knowledge proofs for hiding plays☆68Updated 3 years ago
- Experimental tool to ease the review of smart contracts upgrades☆80Updated last year
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Updated 3 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- Contracts for Blur and Blend☆30Updated last year
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- DeFi exploits for educational purposes☆60Updated last year
- one off scripts and contracts☆18Updated 2 years ago
- Vyper Based Capture The Flag Challenges☆35Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 9 months ago
- ☆41Updated 2 years ago
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- ☆91Updated last year
- My solutions to https://ctf.paradigm.xyz/☆62Updated 2 years ago
- ☆37Updated 3 years ago