viperproject / 2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
☆51Updated 2 years ago
Alternatives and similar repositories for 2vyper:
Users that are interested in 2vyper are comparing it to the libraries listed below
- ☆76Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- ☆24Updated 2 years ago
- ☆51Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- A lightweight, extensible foundry library for shell scripting.☆62Updated 2 years ago
- Hands on Blockchain☆43Updated last year
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- A simple EVM bytecode debugger☆19Updated 3 years ago
- ☆14Updated last year
- ☆46Updated 10 months ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- Complex numbers for Solidity☆53Updated last year
- ☆90Updated 4 years ago
- ☆36Updated 3 years ago
- Introduction to core development via CTF challenges☆40Updated 2 years ago
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 7 months ago
- Memory access with runtime typechecking in Solidity☆73Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- Simulate txs to human readable format☆28Updated 2 years ago
- ☆77Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- ☆26Updated last year
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- Solidity mocking provider for testing☆61Updated 2 years ago