viperproject / 2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
☆50Updated last year
Related projects ⓘ
Alternatives and complementary repositories for 2vyper
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆57Updated 3 years ago
- ☆21Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆35Updated 5 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 2 years ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆45Updated 8 months ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated last year
- Cross-Contract Reentrancy Demo☆26Updated 2 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- Beacon Chain from scratch☆44Updated last year
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆65Updated 2 years ago
- ☆46Updated 3 years ago
- Foundry template for the Optimizor Club SQRT challenge☆57Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated 4 months ago
- ☆51Updated 3 years ago
- Repo for Tracer Pool Swaps Protocol☆26Updated last year
- ☆41Updated 2 years ago
- Paper: Data Representation in Solidity☆58Updated last year
- rough draft of cloneable univ3 swap receiver for openeing, closing, and editing single pair leveraged positions for multiple fuse pools☆28Updated 2 years ago
- Introduction to core development via CTF challenges☆39Updated 2 years ago
- Forkable, Minimal Template for Starknet Projects.☆44Updated 2 years ago
- ☆75Updated 2 years ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- ☆46Updated 5 months ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- Proof-of-concept code for backrunning private transactions using MPC.☆63Updated last year