GKR和sumcheck协议
GKR和sumcheck协议( GKR and Sumcheck Protocol) · 54:28
Yunbo Yang explains Sumcheck and GKR through multivariate polynomial verification and recursive circuit checks. The session also covers distributed proving and applications in zkVMs and machine-learning inference.