rust verifier

[kunxian-xia]

verification of evaluation proof proceed like this.

1. check jagged sumcheck proof $\pi_1 = (z, q(z), f(z), { h_i(x) })$
2. check the jagged assist sumcheck proof for $f(z) = \sum_c \textrm{eq}(z_c, c) * g(z_r, z, t_c, t_{c+1})$;
3. invoke the inner PCS verifier for $q(z)$.