Releases

Utilities for handling HTTP bodies with hyper

Utility methods, traits, and types.

High-performance DeFi route-finding engine — embeddable library and CLI

HTTP RPC server for Fynd DEX router

Core backtesting machinery for the Nautilus trading engine

Core live trading components and machinery for the Nautilus trading engine

A language server, formatter, and linter for LaTeX

Command-line interface for ArcBox

The command-line tool to build, prove, and verify programs for the ZisK zkVM

API server for ArcBox (gRPC + REST)

Asdf Overlay Node Addon

Asdf Overlay vulkan layer

Asdf Overlay surface utility

Asdf Overlay window handling and input library

Asdf Overlay

High-level client SDK for proving and verifying programs on the ZisK zkVM

Proving backend for the ZisK zkVM

Execution engine that orchestrates witness generation across ZisK state machines

Docker REST API compatibility layer for ArcBox

Core orchestration layer for ArcBox

Agent-computer domain layer for ArcBox: transport-free sandbox protocols

Build tooling for compiling guest programs to RISC-V ELF for the ZisK zkVM

Embeddable, daemon-free VM engine for ArcBox

Guest agent for ArcBox VMs

Guest-side sandbox orchestration over nested Firecracker microVMs; ships the in-sandbox vm-agent init.

ROM setup for ZisK guest programs

Boot-asset and machine-image management for ArcBox

gRPC service clients and servers for ArcBox (tonic + prost)

384-bit arithmetic-equality precompile for the ZisK zkVM

Protocol definitions for ArcBox (ttrpc/protobuf)