🗼 Tower Extension Implementation

[ZamDimon]

What ❔

This pull request adds tower extension implementation for fields

$$ \mathbb{F}_{p^2} \mapsto \mathbb{F}_{p^6} \mapsto \mathbb{F}_{p^{12}} $$

It adds NonNativeField<F, T> implementation for $\mathbb{F}_{p^2}$ struct and implements most basic operations over $\mathbb{F}_{p^6}$ and $\mathbb{F}_{p^{12}}$.

Why ❔

EC Pairing heavily relies on exploiting standard field extension $\mathbb{F}_p$. Although the standard field is already convered in the codebase, the fields extensions cannot be easily managed currently.

Checklist

• PR title corresponds to the body of PR (we generate changelog entries from PRs).
• Tests for the changes have been added / updated.
• Documentation comments have been added / updated.
• Code has been formatted via zk fmt and zk lint.