Docs.rs

Bit- and word-level building blocks for xark circuit gadgets.

A comfy fork of git-version: compile the git version (tag name, or hash otherwise) and dirty state into your program.

Riemannian optimization algorithms for cartan: Riemannian gradient descent, conjugate gradient, trust region

Non-native (foreign-field) limb arithmetic for xark circuit gadgets.

The xark toolchain CLI

Internal macro crate for git-version.

A library for number theory, providing implementations for arithmetic in various rings and algorithms working on them.

AES-128/256 block cipher, CTR, and GCM gadgets for xark zero-knowledge circuits.

Stochastic analysis on manifolds: orthonormal frame bundle, horizontal lift, Stratonovich development. Foundation for Eells-Elworthy-Malliavin Brownian motion and Bismut-Elworthy-Li Greeks.

Network transport layer for IronFix FIX protocol engine

Write zero-knowledge circuits in Rust — the language prelude (no_std, stable).

Test harness for xark circuits: compile-and-solve helpers shared across the gadget test suites.

Solana on-chain Groth16 BN254 verifier consuming xark-exported VK + proof bytes.

Concrete Riemannian manifold implementations for cartan: Sphere, SO(n), SPD(n), Grassmann, Euclidean

Library for playing tracker music. Designed for use with the agb library for the Game Boy Advance.