viperproject / 2vyperLinks
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
Sorting:
- proof first, evm specific smt solver☆69Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 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
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- A lightweight, extensible foundry library for shell scripting.☆62Updated 3 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- Hands on Blockchain☆43Updated last year
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Updated 3 years ago
- ☆58Updated 2 weeks ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- ☆14Updated last year
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- Foundry network provider for the Ape Framework☆33Updated last month
- Forkable, Minimal Template for Starknet Projects.☆44Updated 3 years ago
- a quest for accurate fee accounting☆30Updated last year
- Jupyter kernel for Cairo smart contract language☆32Updated 3 years ago
- ☆77Updated 2 years ago
- ☆46Updated 3 years ago
- ☆51Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Technical book about Erigon technology☆56Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 10 months ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- A set of smart contracts tools for governance written in vyper☆57Updated last year
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago