sp1-gpu-zerocheck

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, the GPU-accelerated prover for SP1.