maramihali

Currently, in order to avoid cloning a template every time we inject a XSRF token or a CSP nonce, we extended the safehttp.TemplateResponse with a `FuncMap` field. This contains the...

Some of our provers call `transcript->export_proof()` in their `export_proof` while others return `transcript->proof_data` we should make this uniform, probably have all provers call `transcript->export_proof()` and then the `StructureTest` should operate...

The second opening is only temporary until IPA is fixed ( see #768 ) but for now the domain separation is not done properly

we use `from_witness` to create variables whose value don't change and they should be constants.

Fold instances of different size

2

We'll use padding as the instances need to be of fixed size for protocol to work (size TBD, maybe 2^19)

In the current implementation, we can add some random field elements in `ultra_ops` at the beginning (with valid commitments) and, as long as those are not reflected in the `raw_ops`...

The ClientIVC test is made to mimic the actual logic (with a kernel circuit doing two recursive folding verifications) as well as native folding and deciding after each call to...