implement FRI

[thor314]

[agnxsh]

starting off with this issue (?)

[agnxsh]

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