
repos
50
ecosystems
24
languages
1
commits
848
─── top repos · by commits
─── repositories
50 totalSTARK-based virtual machine
STARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
STARK-based virtual machine
STARK-based virtual machine
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
This repo generate a validity proof of option pricing
Cryptographic primitives used in Polygon Miden rollup
Cryptographic primitives used in Polygon Miden rollup
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
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.
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.
The fastest, most feature-complete zkVM for developers.
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 performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
A toolkit for polynomial IOPs (PIOPs)
An observatory fork of SP1
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 toolkit for polynomial IOPs (PIOPs)
A toolkit for 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)
─── peer developers
─── ecosystems
─── languages
- Rust33
─── subscriber view
Unlock the full view of 0xkanekiken
- · 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.



















