leonardoalt / evm
Simple EVM implementation in [no_std] Rust to be used in Powdr.
☆17Updated last year
Alternatives and similar repositories for evm:
Users that are interested in evm are comparing it to the libraries listed below
- ☆28Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- Axiom smart contracts☆26Updated last year
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆20Updated this week
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- Tstore huff template☆17Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Minimal template for using the Arbiter framework for simulations.☆46Updated 3 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- ☆31Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 8 months ago
- Dynamic constructor-initializable immutables example in Huff☆15Updated 2 years ago
- ☆22Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆39Updated 2 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Solidity calldata, memory, transient storage, and storage debugger☆20Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆33Updated 9 months ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated last year
- ☆35Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated this week
- ☆21Updated last year