Releases

Big-integer arithmetic precompile for the ZisK zkVM

Core live trading components and machinery for the Nautilus trading engine

Core backtesting machinery for the Nautilus trading engine

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

Arithmetic-equality precompile for the ZisK zkVM

SDL3 platform backend with optional OpenGL3, SDLRenderer3, and SDLGPU3 renderers for dear-imgui-rs

RISC-V emulator that executes ZisK program ROMs and generates execution traces

Common utilities and helpers for ZisK precompiles

Runtime for managing the ZisK assembly emulator process and its shared-memory I/O

Transpiler from RISC-V to the ZisK instruction set

C++-backed memory access planner for the ZisK zkVM

Memory state machine for the ZisK zkVM

Arithmetic state machine for the ZisK zkVM

Hint generation for ZisK precompiles

ZisK Coordinator blocking client and remote job handle

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

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP)

Shared memory-handling types for ZisK state machines

Binary operations state machine for the ZisK zkVM

ZisK Coordinator gRPC types (generated from proto)

Shared types and utilities for the ZisK distributed proving cluster

Frequent-operations state machine for the ZisK zkVM

RISC-V instruction structures and parser for the ZisK zkVM

audio.cpp（ggml 音频推理引擎）的高层安全 Rust 封装

audio.cpp（ggml 音频推理框架）的底层绑定

Common utilities and shared types for the ZisK zkVM

Core types and proving primitives for the ZisK zkVM

Implementation of embedded-hal for microcontrollers MSP430FR2475, MSP430FR2476, MSP430FR2355, MSP430FR2353, MSP430FR2153 and MSP430FR2155

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