Gabriel Bosio

Parse Mina proof to JSON

1

Used by the [Mina Bridge](https://github.com/lambdaclass/mina_bridge) to parse a Mina proof to JSON so that it can be passed as a public input to the verifier circuit.

Explain your changes: * Explain how you tested your changes: * Checklist: - [ ] Dependency versions are unchanged - Notify Velocity team if dependencies must change in CI -...

**NOTE**: This PR was branched from `feature/foreign-field-develop` and merged from `develop` and `feature/keccak-sponge`.

The field elements the `hash_to_field` funciton generates should follow a uniform distribution. We should add a test for that.

In Docker, we don't call the format command, so the command to run in the CI shouldn't be called `docker_test_and_format`.

**NOTE:** To merge this, #26 has to be merged.

If we run ```c uint8_t *a = u64_to_le_bytes(value, b); ``` We will have `a` and `b` pointing to the same memory cell. If `*a` changes, `*b` will change too. Besides...