Arithmetization

Arithmetization is the reduction of computational statements made by a proving algorithm.
Glossary