viperproject / 2vyper
A static verifer for Ethereum Smart Contracts written in Vyper
☆50Updated last year
Related projects ⓘ
Alternatives and complementary repositories for 2vyper
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆57Updated 3 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆34Updated 5 years ago
- Minimal ERC20-compatible bytecode☆71Updated 3 years ago
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆65Updated 2 years ago
- To be deprecated in favor of https://github.com/flashbots/builder☆45Updated last year
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆37Updated last year
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated last year
- ☆46Updated 3 years ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- proof first, evm specific smt solver☆68Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- Solidity mocking provider for testing☆61Updated 2 years ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆25Updated 2 years ago
- Forkable, Minimal Template for Starknet Projects.☆44Updated 2 years ago
- Complex numbers for Solidity☆53Updated 9 months ago
- Simulate txs to human readable format☆28Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- simple lockfile for your dapp's addresses and artifacts☆46Updated 2 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated last year
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- ☆58Updated last year
- ☆47Updated last year
- An example of an ERC721 token with efficient on-mint generation from 7 traits (taken from BAYC; see details below).☆52Updated 2 years ago