2xic / evm-bytecode-transpiler-to-venom-ir
WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode
☆12Updated last week
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
- 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 10 months ago
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- ☆31Updated 2 years ago
- ☆18Updated 10 months ago
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- ring buffer in solidity☆10Updated last year
- Yultsur is a Rust implementation of Yul.☆23Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- gas comparisons between vyper and solady☆20Updated 7 months ago
- 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
- solidity compression utility☆20Updated 6 months ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- optimized huff snippets☆20Updated 2 years ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- Tstore huff template☆17Updated last year
- ☆54Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 7 months ago
- ☆18Updated 10 months ago
- A library for performing bitwise operations on data written in Huff.☆8Updated last year
- A lightweight, extensible foundry library for shell scripting.☆62Updated 2 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- ☆35Updated 2 years ago
- efficient libraries for working with min-heaps in solidity☆23Updated last year