matter-labs / risc_v_simulatorLinks
☆21Updated 10 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
- Out-of-circuit zkEVM implementation☆80Updated last year
- ☆98Updated 5 months ago
- ☆63Updated last year
- Reference implementation of the node for the Miden blockchain☆75Updated this week
- ☆53Updated 2 weeks ago
- High performance EraVM for zkSync.☆23Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated last year
- Poseidon hash circuit☆105Updated 11 months ago
- ☆25Updated 3 weeks ago
- ☆115Updated last year
- Rescue and Poseidon hash function implementations☆43Updated last year
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.☆25Updated last year
- ☆94Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated last year
- plonky2 proving over paladin☆22Updated last year
- ☆22Updated last year
- Expander Compiler☆39Updated this week
- ☆39Updated 3 weeks ago
- A library implementing GPU-accelerated cryptographic functionality for the zkSync prover☆75Updated last week
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆44Updated last year
- ☆102Updated 2 months ago
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- halo2 ecc circuit☆116Updated 2 years ago
- The zkEVM assembly tools☆11Updated last year
- ☆121Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Solidity implementation of Nova proving system verifier☆64Updated last year
- Circom interpreter to arithmetic circuit description☆56Updated last year
- Compare in-circuit and out-of-circuit VMs☆60Updated last year