@NiDimi reported (https://github.com/privacy-scaling-explorations/sonobe/issues/122) the sumcheck verification panicking when the poly is zero. This was due the verifier modified code was trying to access to poly.coeffs[0] and when the poly is zero this vec is empty.
This PR fixes it, and adds a test (which fails without this PR fix).
@NiDimi reported (https://github.com/privacy-scaling-explorations/sonobe/issues/122) the sumcheck verification panicking when the poly is zero. This was due the verifier modified code was trying to access to
poly.coeffs[0]and when the poly is zero this vec is empty.This PR fixes it, and adds a test (which fails without this PR fix).
fixes #122