Out-of-circuit zkEVM implementation
☆79Aug 16, 2024Updated 2 years ago
Alternatives and similar repositories for era-zk_evm
Users that are interested in era-zk_evm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Aug 16, 2024Updated 2 years ago
- Compare in-circuit and out-of-circuit VMs☆60Aug 16, 2024Updated 2 years ago
- ☆65Jun 20, 2026Updated last month
- High performance EraVM for zkSync.☆23Updated this week
- Integration testing framework for ZKsync compilers.☆20Jul 8, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Boojum, the scariest SNARK implementation.☆303Aug 15, 2024Updated 2 years ago
- The zkEVM assembly tools☆11Aug 16, 2024Updated 2 years ago
- ☆115Aug 15, 2024Updated 2 years ago
- ☆21Jun 20, 2026Updated last month
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- ☆13Jul 26, 2026Updated 3 weeks ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jun 20, 2026Updated last month
- zkEVM proof generator reference written in Javascript☆82Jun 7, 2025Updated last year
- ZKsync fork of the original Solidity compiler.☆20Dec 15, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Shared front-end code of the ZKsync compilers.☆21Sep 13, 2025Updated 11 months ago
- ☆229May 14, 2026Updated 3 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Feb 12, 2025Updated last year
- customizable halo2 circuits batcher☆32Oct 25, 2025Updated 9 months ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated 2 years ago
- Circuit Implementation of zkVM for zkSync Era☆278Dec 4, 2023Updated 2 years ago
- Client library for generating and using RLN ZK proofs☆31Oct 4, 2023Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Sep 7, 2024Updated last year
- ☆10Oct 24, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Smart Contract Submodule For zkSync Era☆537Updated this week
- zkSync 2.0 Withdrawal Finalizer☆62Updated this week
- A re-implemented ECC circuits with halo2.☆29Nov 23, 2024Updated last year
- ☆100May 2, 2025Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 11 months ago
- Binary storage trie☆76Nov 29, 2024Updated last year
- Experimental folding schemes library☆285Jul 26, 2026Updated 3 weeks ago
- Cryptographic primitives used in Polygon Miden rollup☆135Jul 31, 2026Updated 2 weeks ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Server for ZKML☆22Mar 5, 2023Updated 3 years ago
- A curated list of zero-knowledge folding schemes☆311Aug 6, 2024Updated 2 years ago
- Mozak RISC-V Virtual Machine☆24Mar 24, 2025Updated last year
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Performance and security acceleration for zkVMs.☆504Updated this week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Aug 16, 2024Updated 2 years ago