implement FRI - Githubissues

These are the following ToDos that I understand from the totality of the FRI implementation

[ ] FRI proof generation
[ ] FRI Low degree verification
[ ] Fiat Shamir for Random Oracle
[ ] Goldilocks Field (can be reused from https://github.com/powdr-labs/powdr/blob/main/backend/src/pilstark/estark.rs OR
[ ] Stark 252 fft friendly field
[ ] Poseidon Hash (not sure)
[ ] Merkle Tree stucture
[ ] Cosets
[ ] Deep FRI additions (if needed)
[ ] Batched FRI commitments

thor314 / pebble-stark