Module ark_r1cs_std::poly::domain::vanishing_poly
source · Structs
Struct describing vanishing polynomial for a multiplicative coset H where
|H| is a power of 2. As H is a coset, every element can be described as
h*g^i and therefore has vanishing polynomial Z_H(x) = x^|H| - h^|H|