Releases

Miden VM execution verifier

A simple user agent parser library based on the uap-core regexes

Miden VM assembly language

Verifier for Miden VM precompile proofs

Interface for working with Miden projects

Package registry interfaces and dependency resolution for Miden packages

Filesystem-backed local package registry for Miden packages

AIR and shared proof setup for Miden VM precompiles

Package containing a compiled Miden MAST artifact with declared dependencies and exports

Parsing and semantic analysis of the Miden Assembly language

Build-time MASM code generation support for miden-core-lib

Algebraic intermediate representation of Miden VM processor

Concrete precompile implementations for the Miden VM deferred framework

ACE circuit codegen for Plonky3-based Miden AIRs.

Miden VM core components

Diagnostic infrastructure used in the Miden assembler and VM

Constraint compiler for Plonky3-based Miden AIRs.

Lossless concrete syntax tree support for the Miden Assembly language

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

One-dependency front door to the Trust Tasks framework: re-exports trust-tasks-rs plus the transport, proof, ceremony and capability crates behind Cargo features.

OTA library for esp-hal

Pluggable ProofVerifier implementations for the Trust Tasks framework. Backends are gated by Cargo features; ships with an Affinidi Data Integrity backend (EdDSA suites) by default.

ToIP Trust Spanning Protocol (TSP) transport binding for the Trust Tasks framework, built on affinidi-tsp. Provides pack/unpack helpers and a TransportHandler that maps the authenticated VID sender into the framework's §4.8.1 precedence.

DIDComm v1 transport binding for the Trust Tasks framework, built on affinidi-messaging-didcomm-v1. Carries Trust Task documents to Aries-lineage agents, which speak v1 only, and maps the connection's theirDid into the framework's §4.8.1 precedence.

HTTPS transport binding for the Trust Tasks framework — typed client + axum-based server with bearer-auth identity, suitable for demos, mockups, and end-to-end testing.

Client-side wire helpers for the capability Trust Task families (governance/capability/*, git-trust/*): document builders, envelope parsing, reply classification. Shared by capability producers (community services) and management UIs so the two cannot drift.

Reference Rust library for the Trust Tasks framework — transport-agnostic, JSON-based descriptions of verifiable work between parties.

DIDComm v2.1 transport binding for the Trust Tasks framework, built on affinidi-messaging-didcomm. Provides pack/unpack helpers and a TransportHandler that maps the verified envelope sender into the framework's §4.8.1 precedence.

OTA library for esp-hal

Wifi Manager for esp-hal (bt+wifi ap)