#

multilinear-polynomials

Here are 2 public repositories matching this topic...

katastrofh / SNARK_LAB

Rust protocol lab for SNARK building blocks: Sumcheck, Zerocheck, PermCheck, IPA polynomial commitments, fuzzing, release evidence, and visualizer.

rust cryptography visualizer fuzzing ipa pcs zero-knowledge zk-snarks snark polynomial-commitments research-prototype zkproof sumcheck proof-systems protocol-labs interactive-proofs zerocheck permutation-check multilinear-polynomials

Updated Aug 1, 2026
Rust

ignotusnemo / frost-gkr

FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.

rust cryptography reproducible-research fiat-shamir gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems arithmetization poseidon2 binary-fields multilinear-polynomials parano1d binary-tower-fields

Updated Aug 2, 2026
Rust

Improve this page

Add a description, image, and links to the multilinear-polynomials topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the multilinear-polynomials topic, visit your repo's landing page and select "manage topics."