Releases

In-process transport: composes a kernel directly in the host process.

The intray as a tuplespace: urn:space:{name} — Sink drops a tuple (out), Source lists/reads/filters (rd), Delete atomically takes one (in), associative match via SPARQL ASK. A physical, capability-gated space; later slices add the reactive engine and encrypt-on-drop.

WebAssembly bindings for FrankenSQLite

SQLite C API compatibility shim for drop-in replacement

Commands in the KittyCAD Modeling API

Public API facade

Core engine: connection, prepare, schema, DDL/DML codegen

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs

A ground-up, pure-Rust H.264 encoder and decoder. Decoder bit-exact vs Cisco openh264 (Baseline + B-slices + most of High profile); encoder bit-exact vs ffmpeg. forbid(unsafe) codec core; portable Rust SIMD (SSE2/AVX2/NEON, no assembler) on by default — `--no-default-features` for pure scalar. BSD-2.

Virtual database engine bytecode interpreter

MVCC page-level versioning for concurrent writers

B-tree storage engine

Page cache and journal management

GPU shard proving orchestration for SP1

Write-ahead logging

GPU helper kernels for jagged polynomial operations

GPU trace generation for jagged/stacked polynomials

Virtual filesystem abstraction layer

Tracing and debugging instrumentation for SP1-GPU

GPU-accelerated BaseFold polynomial commitment protocol

Core type definitions for FrankenSQLite

Utility functions for SP1 GPU operations

GPU challenger state management for Fiat-Shamir

High-level Rust API for SP1 GPU operations

CUDA integration for SP1 GPU proving

Recursion circuit for SP1 proof aggregation

Type definitions for the SP1 prover

Compiler for SP1 recursion circuits

SP1 core machine definitions