ark_r1cs_std::poly::domain

Module 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|