KSTARK Hybrid — Rust kernel-basis global-linear proofs composed with binary-field nonlinear reductions and FRI, by Algorizk Labs.
rust cryptography zero-knowledge fri polynomial-commitments proof-systems binius binary-fields algorizk
-
Updated
Sep 7, 2026 - TeX