Function hacspec_halo2::step_4

pub(crate) fn step_4(g_prime: Polyx, omega: FpVesta, n: u128) -> Polyx

Step 4 Beginning of the vanishing argument

Arguments

• g_prime - polynomial from step 2
• omega - a n=2ˆk root of unity (global variable)
• n - n=2ˆk (global variable)