13:59:18 <sarang> Hello all
13:59:24 <sarang> Working on definitions and proofs again today
15:33:44 <sarang> suraeNoether: I have the Triptych linkability definitions and proofs updated; let me know what you think about using that definition as an update for CLSAG as well