matter-labs / era-zkevm_test_harness
Compare in-circuit and out-of-circuit VMs
☆60Updated 6 months ago
Alternatives and similar repositories for era-zkevm_test_harness:
Users that are interested in era-zkevm_test_harness are comparing it to the libraries listed below
- ☆59Updated 6 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 6 months ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated 6 months ago
- Consensus layer implementation for zkSync Era☆65Updated this week
- Out-of-circuit zkEVM implementation☆80Updated 6 months ago
- Vyper compiler for ZKsync.☆41Updated last week
- ZKsync fork of the original Solidity compiler.☆14Updated this week
- Collection of tests for ZKsync compilers.☆18Updated 2 months ago
- 🐺 Starknet Rust types 🦀☆69Updated last week
- ☆22Updated 3 weeks ago
- The zkEVM assembly tools☆10Updated 6 months ago
- ZKsync fork of the LLVM framework.☆33Updated this week
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- Solidity compiler for ZKsync.☆66Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆60Updated 4 months ago
- Core smart contracts for Axiom V2.☆31Updated last year
- Library for compiled sway programs☆17Updated 4 months ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 4 months ago
- A zkSync Hardhat project configured with multiple plugins to improve the developer experience☆11Updated last year
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- Adapter between zk_evm and era-compiler-tester☆19Updated 4 months ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 6 months ago
- zkSync 2.0 Withdrawal Finalizer☆55Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆74Updated this week
- ☆29Updated last week
- Axiom Quickstart repository to help you quickly get something built with Axiom.☆30Updated 3 months ago
- EraVM specification.☆16Updated this week
- Symbiotic Collateral smart contracts☆39Updated 3 weeks ago
- ☆49Updated this week
- ☆62Updated 9 months ago