Enums§
Functions§
- binary_
k_ fold - Evaluates the k-fold binary fold of
fatx^{2^k}given its evaluationsvalueson the cosetH = {x, ωx, …, ω^{2^k-1}x}and fold pointsalphas. - merkle_
verify - verify_
whir - Verify a WHIR proof.
f at x^{2^k} given its evaluations
values on the coset H = {x, ωx, …, ω^{2^k-1}x} and fold points alphas.