Review affine/projective usage #4
Description
For simplicity, everything is put as Affine in the proof. Maybe some elements would benefits from being in projective form, a more in-depth review would be welcomed and any documentation on why each choice is best as well.