Golfed down the circuit back to reasonable constraint level.
[x] Closes #19
[x] Closes #21
TODO:
[x] Generate multiple sets of artifacts, say now also a 512b version and make sure they get put into separate zip files in the PR artifacts and merge to main release workflows.
If someone sees this and can do this final TODO, that would be great.
Noticed that json_mask_object is now the heaviest circuit we have. I had to choose a pretty small MAX_KEY_LENGTH. We should work on this
Also the zip file seems to be really large now...
On this note, I found that aes_gctr_nivc_1024b.r1cs and http_lock_header_1024b.r1cs are the offenders here:
Working AES NIVC chain.
Golfed down the circuit back to reasonable constraint level.
TODO:
If someone sees this and can do this final TODO, that would be great.
Noticed that
json_mask_objectis now the heaviest circuit we have. I had to choose a pretty smallMAX_KEY_LENGTH. We should work on thisAlso the zip file seems to be really large now...
On this note, I found that
aes_gctr_nivc_1024b.r1csandhttp_lock_header_1024b.r1csare the offenders here: