Module ark_linear_sumcheck::gkr_round_sumcheck

Implementation of GKR Round Sumcheck algorithm as described in XZZPS19 (Section 3.3)

GKR Round Sumcheck will use ml_sumcheck as a subroutine.

Modules

• data_structures
  Data structures used by GKR Round Sumcheck

Structs

• GKRRoundSumcheck
  Sumcheck Argument for GKR Round Function

Functions

• initialize_phase_one
  Takes multilinear f1, f3, and input g = g1,…,gl. Returns h_g, and f1 fixed at g.
• initialize_phase_two
  Takes multilinear f1 fixed at g, phase one randomness u. Returns f1 fixed at g||u
• start_phase1_sumcheck
  Takes h_g and returns a sumcheck state
• start_phase2_sumcheck
  Takes f1 fixed at g||u, f3, and f2 evaluated at u.