Proving Methods

(To add papers: Work in progress)

Sumcheck Protocol

Low degree Testing/Reed-Solomon Proximity testing

Lookup arguments

Aggregations and recursions

Folding and accumulation schemes

General