Samarth Narang

zkDuel: Characterizing SumCheck Prover Kernels across GPU Programming Models

Zero-knowledge proofs have attracted growing interest from the hardware acceleration community, driven by their use in verifiable computation, privacy-preserving systems, and blockchain applications. A key prover kernel in many such systems is SumCheck, whose table-parallel structure makes it a natural target for GPU a...