matter-labs / compiler-llvm
The zkEVM fork of the LLVM framework
☆12Updated last year
Alternatives and similar repositories for compiler-llvm:
Users that are interested in compiler-llvm are comparing it to the libraries listed below
- The zkEVM assembly tools☆11Updated 8 months ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆12Updated 3 months ago
- High performance EraVM for zkSync.☆24Updated this week
- Shared front-end code of the ZKsync compilers.☆22Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 8 months ago
- Collection of tests for ZKsync compilers.☆19Updated last week
- ☆22Updated last week
- Releases of the Vyper compiler for ZKsync.☆28Updated 2 weeks ago
- ☆21Updated 10 months ago
- Configuration and scripts for running Astria☆21Updated 8 months ago
- A library implementing GPU-accelerated zkSync prover.☆28Updated 8 months ago
- A zkSync Hardhat project configured with multiple plugins to improve the developer experience☆11Updated last year
- ☆60Updated 8 months ago
- ZKsync LLVM framework builder.☆13Updated 2 months ago
- ☆21Updated 4 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated 2 months ago
- Library for compiled sway programs☆17Updated 6 months ago
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Updated last year
- A lightweight ERC-1967 proxy for EOA upgrades to `CoinbaseSmartWallet`☆34Updated last week
- Compare in-circuit and out-of-circuit VMs☆60Updated 8 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 8 months ago
- Suite of tools for Monitoring OP Stack Chains 🔴 Offers real-time detection and Incident response capabilities ✨☆32Updated last week
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Updated 7 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated last month
- Documentation☆11Updated 11 months ago
- Ethereum end-to-end test harness☆35Updated last year
- customizable halo2 circuits batcher☆30Updated last month
- ☆12Updated 11 months ago
- ☆50Updated 2 weeks ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago