SumcheckPIM: An Efficient HBM-Based PIM Architecture for Linear Complexity Zero Knowledge Proofs. - Sunchae Kim; Taewoon Kang; Sangwon Shin; Taeweon Suh; Yibin Yang 001; Gunjae Koo (ICS, 2026)