tl;dr: Hyrax is polynomial commitment scheme (PCS) with (1) sublinear commitment-and-proof sizes and (2) sublinear opening-and-verification times.Hyrax is co...| alinush.github.io
tl;dr: Forget univariate. Forget FFTs. Multilinear polynomials are the bomb!$\def\bin{\{0,1\}}\def\eq{\mathsf{eq}}\def\SC{\mathsf{SumCheck}}\def\MLE#1{\maths...| alinush.github.io
tl;dr: What a beautiful construction!| alinush.github.io