matter-labs / risc_v_simulatorLinks
☆21Updated 11 months ago
Alternatives and similar repositories for risc_v_simulator
Users that are interested in risc_v_simulator are comparing it to the libraries listed below
Sorting:
- OS for next iteration of the world computer☆43Updated 2 years ago
- ☆63Updated last year
- ☆25Updated 3 weeks ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆54Updated this week
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- Expander Compiler☆39Updated 3 weeks ago
- Polynomials Identity Language☆68Updated last year
- ☆98Updated 6 months ago
- ☆30Updated 3 weeks ago
- ☆22Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆75Updated last week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated last year
- Benchmarks of popular zkVMs including Jolt☆63Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- ☆65Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- A re-implemented ECC circuits with halo2.☆28Updated 11 months ago
- Poseidon hash circuit☆105Updated last year
- Email verification circuit in halo2☆68Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year
- ☆95Updated last year
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- Circom interpreter to arithmetic circuit description☆58Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆42Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- A Noir's backend implementation using Gnark☆35Updated last year