Zellic / weth
Formal verification of WETH9.sol with Z3
☆56Updated 2 years ago
Alternatives and similar repositories for weth:
Users that are interested in weth 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
- ☆21Updated 2 years ago
- ☆21Updated 2 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- ☆37Updated 8 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- ☆28Updated last year
- ☆45Updated last year
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 2 years ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- Hands on Blockchain☆43Updated last year
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- DeFiVulnLabsCosmWasm☆49Updated last year
- ☆86Updated 7 months ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- ☆65Updated this week
- one off scripts and contracts☆18Updated last year
- A Symbolic Execution Tool for Cairo☆50Updated 2 years ago
- X-MAS CTF 2021 Ethereum challenges☆28Updated 3 years ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 6 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 6 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆57Updated 10 months ago
- ☆17Updated this week
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 5 months ago
- ☆69Updated last year
- Experimental tool to ease the review of smart contracts upgrades☆77Updated 10 months ago
- ☆36Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago