Releases

Shared memory-handling types for ZisK state machines

ZisK Coordinator gRPC types (generated from proto)

ZisK Coordinator blocking client and remote job handle

Shared ELF-to-ROM transpilation utilities for the ZisK zkVM

Shared types and utilities for the ZisK distributed proving cluster

Binary operations state machine for the ZisK zkVM

Common utilities and shared types for the ZisK zkVM

RISC-V instruction structures and parser for the ZisK zkVM

Frequent-operations state machine for the ZisK zkVM

Core types and proving primitives for the ZisK zkVM

Guest runtime and entrypoint for programs targeting the ZisK zkVM with the hints feature enabled

Guest runtime and entrypoint for programs targeting the ZisK zkVM

Recursive proof aggregation layer for the ZisK zkVM

PIL2 definitions for the ZisK zkVM

Proof verifier for the ZisK zkVM proofs

Ruda neural network layers, activation modules and losses.

Ruda optimizer updates, gradient state, clipping and learning-rate schedules.

Sora Rust SDK

CPU driver backend for Ruda

Rust SDK for Lumera chain + Cascade/sn-api workflows

Pure Rust CLI for converting HuggingFace models to hardware-optimized formats and serving them over an OpenAI-compatible API on Apple Silicon

fedimintd daemon for Fedimint

A minimalist ORM framework that supports SQLite, PostgreSQL, MySQL, and SqlServer

`microsandbox` is the core library for the microsandbox project.

CLI binary for managing microsandbox environments.

Runtime library for the microsandbox sandbox process and microVM entry points.

Filesystem backends and guest filesystem support for microsandbox.

An autonomous agentic engineering system that manages software development through role separation, subagents, and deterministic diagnostics.

CPU driver backend for Ruda

fedimint-testing provides a library of shared objects and utilities for testing fedimint components