Arithmetization

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

Share your experience with BlockGeeks and get some bitcoin