dvush / cl-evasm
EVM assembly as an embedded Common Lisp dsl
☆21Updated 2 years ago
Alternatives and similar repositories for cl-evasm:
Users that are interested in cl-evasm are comparing it to the libraries listed below
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- a lisp built on top of vyper☆43Updated 7 months ago
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆13Updated 4 months ago
- ☆19Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- ☆13Updated 2 years ago
- ☆21Updated last year
- Sparse merkle tree functionality for TypeScript and Solidity.☆13Updated 2 years ago
- Installation tooling for Noir☆25Updated last month
- ☆18Updated 2 years ago
- ☆39Updated last year
- circom runtime☆20Updated 5 months ago
- Contracts and bindings for Flood, the optimal routing liquidity protocol.☆15Updated 4 months ago
- a lisp built on top of vyper☆51Updated last year
- An unofficial Hardhat plugin for working with circuits written in Noir☆12Updated last year
- An automated market maker running on top of CoW Protocol☆17Updated 7 months ago
- ☆15Updated 2 years ago
- etk-Foundry project template☆21Updated 2 years ago
- Foundry project for the RLN☆17Updated last year
- Rust client for http://api.reservoir.tools/☆13Updated last year
- Eth2 CLI debugging tool☆37Updated last month
- solidity implementation for brainfuck interpreter☆19Updated 2 years ago
- ☆41Updated 2 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆11Updated 2 weeks ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- Ren gateway contracts written in Solidity☆16Updated 2 years ago
- Everything you need to create your first account abstraction contract in one place☆29Updated 4 years ago
- Client library for generating and using RLN ZK proofs☆30Updated last year