Matheus Cardoso

> As I mentioned earlier, I have some concern that this doc will be a relatively high maintenance burden for us, but we can make revisions to address that if/when...

@flaub , I tried to copy your logic from `gen-receipts` and apply the same here so we can include the elf binary in compile time. I have one question on...

Related to #1658

When running `cargo r -r --example loop -F prove -F metal -- -p 15 -i 1433600` (16M) it completes execution as expected. So for now it doesn't seem to be...

`cargo r -r --example loop -F prove -F metal -- -p 15 -i 1433600 --lift` does panic, so it seems like it's not only on `--join`s that this is happening.

For proofs of up to `1433600` iterations, doing only `execute` and `prove`, the program runs successfully. I can try to rerun it on larger proofs and check if it breaks...

Thanks for additional context! Would there be anything else that I could report in order to add useful information?

The version used previously was [`0.3.1`](https://github.com/zama-ai/tfhe-rs/releases/tag/0.3.1)

Unfortunately, not yet.

Thank you for your time and sharing your thoughts, @woylie! I think the idea of returning a struct with the failed checks is a good one. It would be more...