Research proof index

Completeness of the round consistency check. Given a polynomial f, challenge γ, and n-th roots of unity ω, when f is honestly evaluated at the scaled points {ω i * s₀}, the round consistency check succeeds with the value (foldNth n f γ).eval (s₀^n). This establishes that the Lagrange interpolant through the evaluation points matches the n-wa...