Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Proving Methods

(To add papers: Work in progress)

Sumcheck Protocol

Low degree Testing/Reed-Solomon Proximity testing

Permutation arguments

Lookup arguments

Aggregations and recursions

Folding and accumulation schemes

General