zkDuel: Characterizing SumCheck Prover Kernels across GPU Programming Models

SumCheck is a central prover primitive in zero-knowledge proofs, exposing table-parallel work that maps naturally to GPUs but becomes increasingly arithmetic-intensive as finite fields widen. We study how this shift affects the cost of programming SumCheck in Triton rather than CUDA. Our benchmark, zkDuel, provides matched implementations of 25 zkPHIRE-derived constraints alongside diagnostic polynomials, covering 32-, 64-, 128-, and 256-bit prime fields, with independent CPU-reference validati…

Source: arXiv cs.AR (Hardware Architecture), published 2026-10-30. The summary is the Hub's own; the full story is at the source. Report a rights or accuracy concern