repos
98
ecosystems
37
languages
2
commits
1,815
─── top repos · by commits
─── repositories
98 totalMozak RISC-V Virtual Machine
Benchmarks for comparing a few zero knowledge virtual machines
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Framework to prove inference of ML models blazingly fast
Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
A performant, 100% open-source, contributor-friendly zkVM.
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A collection of libraries related to polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A collection of libraries related to polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
Spartan: High-speed zkSNARKs without trusted setup (with Parallelism)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
STARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
STARK-based virtual machine
STARK-based virtual machine
Fork of plonky2 to be used in zkVerify.
the Plonky2 proof system
STARK-based virtual machine
Rust RISC-V Simulator
Crypto Gadgets for Plonky2
Circuits for various hashes
A STARK-based VM focused on code reuse, performance, and modularity
A rust library for parsing command line file name arguements
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
The most advanced Merkle tree library for Rust
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The most advanced Merkle tree library for Rust
The most advanced Merkle tree library for Rust
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits
The fastest, most feature-complete zkVM for developers.
The most advanced Merkle tree library for Rust
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
The fastest, most feature-complete zkVM for developers.
A STARK prover and verifier for arbitrary computations
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
TEE-based Key Management System for Tendermint validators.
A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
A STARK prover and verifier for arbitrary computations
Collaptz is an open computational task, a collaborative verifiable system, to empirically verify the Collatz conjecture.
A STARK prover and verifier for arbitrary computations
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Private fork of risc0 with Go/TinyGo guest notes
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Zero-copy deserialization framework for Rust
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A STARK prover and verifier for arbitrary computations
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
─── peer developers
─── ecosystems
─── languages
- Rust66
- C++5
─── subscriber view
Unlock the full view of matthiasgoergens
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.