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

Arithmetization

In parlance, Arithmetization, is the process of reducing statements about some model of computation into algebraic relations between polynomials, which makes them suitable for