FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.
rustcryptographyreproducible-researchfiat-shamirgkrverifiable-computationzero-knowledge-proofspolynomial-commitmentssumcheckproof-systemsarithmetizationposeidon2binary-fieldsmultilinear-polynomialsparano1dbinary-tower-fields
-
Updated
Aug 11, 2026 - Rust