Here is Part 2 of our Low Degree Testing Series. Part 1 is at: https://kitten-finance.medium.com/low-degree-testing-in-zk-stark-part-1-c0ac6ef0de3c As an example, assume Bob’s claim is deg(f) < 256. Bob constructs g(a,b,c,d), such that f(x) = g(x, x⁴, x¹⁶, x⁶⁴). The task is to prove deg_a(g) < 4, deg_b(g) < 4, deg_c(g) < 4…