Support the generation of proofs compatible with Starkware Verifier

[MauroToscano]

Support the generation of proofs compatible with Starkware Verifier

For this we should make sure the following steps are identical:

• Fiat Shamir

  • Should use the same hash functions
  • Should aggregate data and hash in the same manner
  • Should append the data in the same order
  • If needed, should use the same hash to field function (Not needed with field native hashes)

• Rap

  • Queries and trace extension should be done in the same manner as Starkware Prover

• Merkle tree of evaluations should have concatenated evaluations. Only one should exist.

• Proof of work should be added as an optional feature

• Virtual columns should be aggregated in the same manner as the Starkware prover

[MauroToscano]

Stark Proofs are already compatible. #729 covers layouts