Anaïs Querol

Let's try something like: ```rust pub struct ChunkedEvaluations (ProofEvaluations); ``` instead of duplicating manually all chunked types, and still keep `ProofEvaluations` generic enough

Closing in sight of issue [#680](https://github.com/o1-labs/proof-systems/pull/680)

Yes, you're right. In the best case, it would be zero knowledge. This should be obtained with the zk rows at the end of the gates. Regarding the specific strategy,...

I am taking this using generic constants now available

Answering @mimoo , I will write the mina side as soon as the mina side for `RecursionChallenge` is merged. I am having issues building the repo, so it is taking...

I have drafted [this hackmd](https://hackmd.io/7qnPOasqTTmElac8Xghnrw) explaining foreign field addition. We are using a slightly different notation, but I think it depicts the same idea Matthew had.

TODO: * [x] unify naming * [x] gate creation * [x] witness creation * [x] unify format * [x] tests

TODO: * [x] unify naming * [x] gate creation * [x] witness creation * [x] unify format with range-check * [x] rfc * [x] tests * [x] specs

UPDATE: constraints are written in a correctness fashion: the argument is complete but still not sound. I need to add randomness on the constraints from the `CairoInitial` and `CairoMemory` gates...

Let's try something like: ```rust pub struct ChunkedEvaluations (ProofEvaluations); ``` instead of duplicating manually all chunked types, and still keep `ProofEvaluations` generic enough