matter-labs / risc_v_simulator
☆21Updated last week
Related projects ⓘ
Alternatives and complementary repositories for risc_v_simulator
- High performance EraVM for zkSync.☆23Updated last week
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated 2 months ago
- Rescue and Poseidon hash function implementations☆42Updated 2 months ago
- Shared front-end code of the ZKsync compilers.☆21Updated last week
- The zkEVM assembly tools☆10Updated 2 months ago
- Solidity verifier for Plonk☆41Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆52Updated last month
- ☆59Updated 2 months ago
- ☆24Updated last week
- revm (Rust Ethereum VM) translation for Era / zkEVM☆11Updated 10 months ago
- customizable halo2 circuits batcher☆30Updated last week
- ☆40Updated 3 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆38Updated 2 months ago
- OS for next iteration of the world computer☆45Updated last year
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆30Updated 8 months ago
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- Compare in-circuit and out-of-circuit VMs☆59Updated 2 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated 3 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- A library implementing GPU-accelerated zkSync prover.☆27Updated 2 months ago
- Remote Attestation VErification☆29Updated 3 months ago
- ☆23Updated last year