binius_core::protocols::gkr_gpa::gpa_sumcheck

Module verify

Source

Structs§

GPASumcheckClaim

Functions§

reduce_to_sumcheck
verify_sumcheck_outputs
Verify the validity of the sumcheck outputs for a reduced GPA sumcheck.