repos
28
ecosystems
8
languages
3
commits
2,074
─── top repos · by commits
─── repositories
28 totalSTARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
STARK-based virtual machine
STARK-based virtual machine
STARK-based virtual machine
A domain-specific language for writing AIR constraints for STARKs
A domain-specific language for writing AIR constraints for STARKs
Examples of using Polygon Miden
CBOR encoding/decoding library for Noir
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
Cryptographic primitives used in Polygon Miden rollup
A STARK prover and verifier for arbitrary computations
Cryptographic primitives used in Polygon Miden rollup
base64 decoder
Compiler from Rust to Miden Assembly
Core components of the Miden protocol
Core components of the Polygon Miden rollup
Compiler from MidenIR to Miden Assembly
Core components of the Miden protocol
Core components of the Polygon Miden rollup
─── peer developers
─── ecosystems
─── languages
- Rust15
- TypeScript2
- Noir2
─── subscriber view
Unlock the full view of grjte
- · 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.