timgestson/hypercube: My Experiments with Multivariate-based Snarks · GitHub

Experiments with multivariate snarks. Just for personal learning.

gkr with a multiplication-only binary tree

(Used in Spartan and Lasso. Proposed in Time-Optimal Interactive Proofs for Circuit Evaluation 5.3.1 Proposition 2)