Closed 0xJepsen closed 3 weeks ago
I see a potential place here to do more golfing
If we migrate the full counter block construction to outside the folds we wont have to instantiate the IV and aad every fold which could save a lot for large blocks https://github.com/pluto/web-prover-circuits/blob/adbbf2c3a69bc404a09d85b1dee1148cab89e963/circuits/aes-gcm/nivc/gctr-nivc.circom#L46-L63
In any case we need to get our r1cs file size down.
I see a potential place here to do more golfing
If we migrate the full counter block construction to outside the folds we wont have to instantiate the IV and aad every fold which could save a lot for large blocks https://github.com/pluto/web-prover-circuits/blob/adbbf2c3a69bc404a09d85b1dee1148cab89e963/circuits/aes-gcm/nivc/gctr-nivc.circom#L46-L63
In any case we need to get our r1cs file size down.