05:33:29 * cargodog[m] sent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/PugJQoBjNDvGccJVYvKdsldS/message.txt > 05:35:44 The linked demonstration is messy. I am cleaning this up to submit a formal proposal to Groth & Kohlweiss as an optimization to their original work. I expect all derivative works (Arcturus, Triptych, Lelantus, etc) to benefit from the same optimization. 05:37:06 Signing off for a while, but I will be back in a few hours if you have questions. As always, feel free to drop a comment on github. 12:06:42 awesome stuff cargodog[m] ! 14:07:37 Thanks gingeropolous :) 19:41:59 cargodog[m]: I'm excited to try this out 19:42:32 If I end up including this in the preprints, I'll be sure to credit you as you see fit