Port Goldilock from Plonky2 with proper field arithmetics wrapper

[hero78119]

As current Goldilock repo is out from personal repo from patching repo both lack of following up activities and probably no audit.

One possible solution is to switch to Plonky2 Goldilocks with more mature optimisation, e.g. avx

[matthiasgoergens]

Plonky2 has pretty decent code overall. Keep in mind that when I used plonky2 in the past, I did not see any benefit from avx (and the plonky2 authors weren't surprised). That might be because it's already pretty well optimised even without avx, or because they missed some avx optimisations. I'm not sure.

0xPolygonZero/plonky2#1621 might be interesting to watch!

[matthiasgoergens]

Until we move to plonky2, we can at least use a scroll-owned Goldilocks repo. See #459

[hero78119]

resolved in #806