Climbing the tower: field extensions
Introduction
Finite fields are a central piece in every cryptography and zk-SNARKs. The most common finite fields appearing in practice are the fields with prime order $\mathbb F_p$. There are multiple ways of defining them. A usual one is seeing $\mathbb F_p$ as the set
$$ \{0, 1, \cdots,