Align Interfold documentation with codebase (circuits, recursive aggregation, CRISP)

[cedoor]

The documentation needs to be reviewed and updated to accurately reflect the current state of the codebase. This is a tracking issue for that effort that will collect all the related tasks.

Key areas to align:

1. Circuits — Review docs covering the Noir circuits in circuits/ to ensure they match the current implementation (constraint definitions, public/private inputs, proof structure).
2. Recursive aggregation — Update documentation on the recursive proof aggregation pipeline to reflect any changes in how proofs are composed and verified.
3. CRISP — Align the CRISP example docs (examples/CRISP/) with the current example code, ensuring the walkthrough, architecture description, and API references are up to date.
4. Template

[hmzakhalid]

I was talking with Ale about this today.
We also need to update the docs and add requestor actions, such as:

• what to do if E3 fails
• how to get refunds
• where funds are locked
• etc.

Another important section is a guide for secure E3 requests, including how to select thresholds and the total number of ciphernodes. This will mostly come from the economic security section of the BlockScience report.

[cedoor]

I was talking with Ale about this today. We also need to update the docs and add requestor actions, such as:

* what to do if E3 fails

* how to get refunds

* where funds are locked

* etc.

Another important section is a guide for secure E3 requests, including how to select thresholds and the total number of ciphernodes. This will mostly come from the economic security section of the BlockScience report.

Gotcha, pls create an issue here for that when you can!