Chimera: A Hybrid GPU Backend for Sumcheck Acceleration in Zero-Knowledge Provers

본문 미리보기

Sumcheck is increasingly used in proof systems based on multilinear polynomials, but its execution structure differs from that of conventional GPU targets such as MSM and NTT. Each round contains substantial data-parallel polynomial computation, but consecutive rounds depend on challenges derived from previous rounds and interact with the surrounding prover's proof-generation operations. Efficient acceleration therefore depends not only on GPU arithmetic throughput, but also on where polynomial