repos
36
ecosystems
8
languages
3
commits
7,884
─── top repos · by commits
─── repositories
36 totalSTARK-based virtual machine
STARK-based virtual machine - For Lambdaworks Prover
STARK-based virtual machine
STARK-based virtual machine
STARK-based virtual machine
Zero-knowledge virtual machine written in Rust
Core components of the Miden protocol
Core components of the Miden protocol
Cryptographic primitives used in Polygon Miden rollup
Reference implementation of the node for the Miden blockchain
Reference implementation of the node for the Miden blockchain
Core components of the Polygon Miden rollup
A library for generating zk-STARKs.
Reference implementation of the node for the Polygon Miden rollup
Core components of the Polygon Miden rollup
Low-level language for encoding AIR of computations
Cryptographic primitives used in Polygon Miden rollup
Client library that facilitates interaction with the Miden blockchain
Merkle tree and other data structures.
Reference implementation of the node for the Polygon Miden rollup
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
Compiler from Rust to Miden Assembly
Compiler from MidenIR to Miden Assembly
Pretty-printing and formatting utilities for Miden crates
comparing the performance of different zero-knowledge proof libraries
Consolidated documentation for the Miden rollup
Templates for Miden starter projects
Examples of Miden rollup smart contracts
─── peer developers
─── ecosystems
─── languages
- Rust21
- TypeScript4
- Shell1
─── subscriber view
Unlock the full view of bobbinth
- · 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.