0xPolygonMiden

miden-vm

STARK-based virtual machine

crypto

Cryptographic primitives used in Polygon Miden rollup

air-script

A domain-specific language for writing AIR constraints for STARKs

miden-base

Core components of the Polygon Miden rollup

compiler

Compiler from MidenIR to Miden Assembly

miden-node

Reference implementation of the node for the Polygon Miden rollup

miden-client

Client library that facilitates interaction with the Miden rollup

examples

Examples of using Polygon Miden

experiments

.github

contract-examples

Examples of Miden rollup smart contracts

miette

Fancy extension for std::error::Error with pretty, detailed diagnostic printing.

thiserror

derive(Error) for struct and enum error types

zkhack-scaffold

A scaffolded repo for hacking on Polygon Miden during zkHack

miden-diagnostics

miden-parsing

miden-docs

Consolidated documentation for the Miden rollup

miden-formatting

Pretty-printing and formatting utilities for Miden crates

rust-templates

Templates for Miden starter projects