2xic / evm-bytecode-transpiler-to-venom-irLinks
WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode
☆12Updated 2 months ago
Alternatives and similar repositories for evm-bytecode-transpiler-to-venom-ir
Users that are interested in evm-bytecode-transpiler-to-venom-ir are comparing it to the libraries listed below
Sorting:
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated last year
- ☆33Updated 2 years ago
- optimized huff snippets☆20Updated 2 years ago
- Huff Proxies with Create2 (no SLOAD)☆41Updated 2 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Updated last year
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- Tstore huff template☆17Updated last year
- Huff development plugin for Vim☆25Updated 2 years ago
- gas comparisons between vyper and solady☆20Updated 9 months ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Proof-of-concept Huff smart contracts for deploying arbitrary bytecode to deterministic addresses☆36Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- ☆18Updated last year
- EIP-1167 Minimal Proxy Contract written in Huff☆25Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 10 months ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem☆23Updated last year
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated last week
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 2 months ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 2 years ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- ☆17Updated 3 years ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated last year
- ☆21Updated 2 years ago
- ☆14Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated 2 years ago