Docs.rs

Univariate STARK prover and verifier for lib-Q

Batch STARK prover for proving multiple statements in lib-Q

A minimal univariate STARK framework providing core components for proof generation and verification.

Multilinear polynomial utilities for ZKP systems in lib-Q

An implementation of the FRI low-degree test (LDT) protocol used in zero-knowledge proof systems.

Keccak permutation AIR constraints for lib-Q ZK proofs

Lookup argument tables for ZKP circuit gates in lib-Q

Write Subako function packages in Rust: typed functions become tools, and the program prints its own manifest.

An implementation of the BabyBear prime field F_p, where p = 2^31 - 2^27 + 1, as a lib-q-stark-monty31 instance.

A Merkle tree implementation providing commitment scheme functionality for cryptographic proofs.

The #[function] and package! macros of subako-function-sdk.

Keyboard-driven terminal client for Mattermost

Poseidon hash function optimized for zero-knowledge proofs

A Fiat–Shamir transcript and challenger framework used to derive random challenges in proof systems.

A framework for defining Algebraic Intermediate Representations (AIRs) for constraint systems.