When Proofs Meet Hardware: Comparing NTT and SumCheck in Zero-Knowledge Systems

Jianqiao Mo, Alhad Daftardar, Barath GaneshKumar +5

In the ZKP community, it has long been discussed that the SumCheck protocol is asymptotically more efficient than the Number Theoretic Transform (NTT), requiring only $O(N)$ arithm…