ProjectZKM / ZirenLinks
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
☆103Updated last week
Alternatives and similar repositories for Ziren
Users that are interested in Ziren are comparing it to the libraries listed below
Sorting:
- A Rust zkVM with a Modular Proof System☆141Updated 4 months ago
- Eigen zkVM's Proving Service☆29Updated 3 months ago
- A parallel proving service for ZKM.☆22Updated last week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Updated 8 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆68Updated 10 months ago
- Fiat-Shamir for the masses.☆82Updated this week
- 🪩 verify plonky3 proofs in plonky2☆19Updated last year
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆27Updated 11 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆80Updated 5 months ago
- An elastic proof system based on arkworks☆85Updated last year
- ☆51Updated 9 months ago
- ☆31Updated last week
- A Risc-V CPU implemented as a zk-SNARK☆51Updated 3 years ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆174Updated this week
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆37Updated last month
- Cryptography libraries for ZKsync☆36Updated 3 weeks ago
- ☆86Updated last week
- Rust implementation for zcash/pasta☆84Updated 7 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆84Updated this week
- Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them☆230Updated 4 months ago
- An observatory fork of SP1☆75Updated 9 months ago
- ☆31Updated 7 months ago
- ☆121Updated 11 months ago
- ☆26Updated last year
- ZKM Development Template/Framework☆29Updated 4 months ago
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆44Updated 2 years ago
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Updated last year
- ☆69Updated 11 months ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆64Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago