GPU-accelerated zerocheck protocol implementation.
Implements the zerocheck protocol on GPU, which verifies that a polynomial evaluates to zero on a specified domain. This is a core component of the SP1 constraint satisfaction verification.
Part of [SP1-GPU](https://github.com/succinctlabs/sp1/tree/dev/sp1-gpu), the GPU-accelerated prover for SP1.