Formalization of soundness and correctness proofs of efficient foreign field arithmetic (FFA) developed at IOG/Midnight. - View it on GitHub