matter-labs / eravm-spec
EraVM specification.
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for eravm-spec
- ZKsync fork of the LLVM framework.☆33Updated this week
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- ☆43Updated this week
- A library implementing GPU-accelerated zkSync prover.☆27Updated 3 months ago
- customizable halo2 circuits batcher☆30Updated 3 weeks ago
- Vyper compiler for ZKsync.☆38Updated this week
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 3 months ago
- Shared front-end code of the ZKsync compilers.☆21Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 3 months ago
- ☆59Updated 3 months ago
- Compare in-circuit and out-of-circuit VMs☆59Updated 3 months ago
- Specification of P2P protocol for StarkNet nodes☆45Updated this week
- The zkEVM assembly tools☆10Updated 3 months ago
- ☆60Updated 6 months ago
- Consensus layer implementation for zkSync Era☆65Updated this week
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity☆19Updated this week
- ☆14Updated last week
- Collection of tests for ZKsync compilers.☆18Updated this week
- ZKsync fork of the original Solidity compiler.☆13Updated this week
- ☆30Updated this week
- Hashicorp Vault plugin for authenticating Trusted Execution Environments (TEE) like SGX enclaves☆9Updated this week
- ☆22Updated last week
- ☆24Updated 3 weeks ago
- 🐺 Starknet Rust types 🦀☆66Updated 2 weeks ago
- Solidity files implementing the StarkNet token and related contracts☆16Updated 2 years ago
- A collection of works discussing the security aspects of StarkNet☆39Updated last year
- Frontend Templates for ZKsync: vue, react, next, wagmi☆11Updated 2 months ago
- Core smart contracts for Axiom V2.☆31Updated 10 months ago
- Aggregator for the zkEVM network that uses a stateless prover.☆18Updated last month
- ☆68Updated 4 months ago