A library for efficient sumcheck protocols
Sumcheck protocol implementation for multilinear polynomials
PLONKish bridge to sumcheck proving (built on proof-cat-core)
GPU-accelerated sumcheck for jagged polynomials
Field-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by proof-cat and stark-cat
generic Sumcheck implementation for Lilium
Sumcheck as a ReductionFunctor implementation
Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching.
Generic AIR chip framework built on proof-cat-core
obelyzk.rs — Verifiable AI engine built on STWO Circle STARKs. Provable inference for every model.
A general-purpose Polynomial Interactive Oracle Proof (PIOP) framework built on arkworks.
Core primitives for the Hekate ZK proving system.