Releases

Core source-level debugging information types used throughout the Miden toolchain

Lifted STARK prover and verifier (LMCS-based).

AIR traits for the Miden lifted STARK protocol, with symbolic constraint analysis.

RocksDB implementation of Transparent Log

Resolver and registry client for the did:bio DID method on Solana

Ruda remote tensor execution over the communication layer.

Procedural macros for miden-crypto

Type system and utilities for Miden HIR

Ruda device tensor backend and domain-library dispatch.

A unified field element type for on-chain and off-chain Miden Rust code

Type-safe u32-indexed vector utilities for Miden

JVM classpath analysis for sqry - bytecode parsing, build system resolution, and graph integration

Proc macro to derive enum dispatch trait implementations on miden-core structs

no-std compatible locking primitives for the Miden project

Transcript channels for Fiat-Shamir protocols with raw field/commitment storage

Serialization/deserialization utilities for the Miden project

Stateful sponge-like hashers for cryptographic hashing

Readers and tip renderers for Photoshop .abr and Procreate .brush and .brushset files, as one dependency over brushkit-abr and brushkit-preview

Tip bitmaps for .abr, .brush and .brushset files: sampled tips, synthesized computed tips, Procreate Shape.png and contact sheets

Descriptor byte builders for synthetic .abr test files, independent of any reader

Reader for Adobe Photoshop .abr brush files: brushes, tip bitmaps, computed tips and patterns

Supporting library for git-branchless

Core library for sqry - semantic code search engine

Supporting library for git-branchless

Supporting library for git-branchless

Rust SDK for the Lightcone Protocol — unified native + WASM client

Supporting library for git-branchless

Handle-oriented private filesystem capabilities and atomic publication

Supporting library for git-branchless

JavaScript grammar for tree-sitter