11:20:47 whats the size of an ringsize equivalent triptych tx? i keep losing that image with the graphs 11:24:30 oh its in the paper sweet 11:25:47 well kindaq 12:34:56 What do you mean "size of ringsize equivalent" gingeropolous 12:35:31 ringsize 11 , 12:38:59 Oh you'd need to use ringsize 16 or some other exponent decomposition 12:45:29 AFAIK triptych is log-size, the limiting factor is verification performance, not proof size 12:46:41 correct 12:59:00 gingeropolous: for `N=16` a CLSAG signature would be 576 bytes, while a Triptych proof would be 640 bytes 12:59:32 Sizes for other transaction elements (keys, linking tag, range proof, auxiliary data) would not change 13:00:01 For multi-input transactions you add additional signatures/proofs to accommodate 13:41:01 roight roight 15:25:26 So how's research today? 15:25:31 I'm rewriting a CLSAG proof :) 19:10:54 So after the info from Turtle Coin's IBurnMyCD I copied some code from here to try: https://github.com/turtlecoin/cs-turtlecoin/tree/master/CantiLib/Cryptography/Native 19:11:26 Result: Works perfectly. Starting with a private key, I get everything else, the view key and both public keys. 19:12:09 So whatever this does, and does differently than the packages that I tried so far, being a more or less direct port of the Monero C++ code, this does "the right thing" 19:12:30 Too bad adding more code for MS' trojan is not "the right thing" though. 19:13:10 It will run on .NET core, on a Linux server. The whole C# stuff is still Microsoft of course however. 19:15:40 And for what it's worth, the C# compiler and the .NET framework are open source. Microsoft even switched to Git internally a while ago. 19:16:38 * moneromooo winces 19:16:48 Why so? 19:17:04 Maybe time to switch to #monero :) 21:55:13 Anyone feel like reading over a security proof before I send it off to the CLSAG auditors for their comments? 21:55:41 They suggested expanding on the proof of Theorem 1 from the preprint, which I've done in much more detail 22:34:46 Updated proof of CLSAG Theorem 1: https://usercontent.irccloud-cdn.com/file/karoRzRt/proof-theorem-1.pdf 22:37:32 The only change of note is that in the first part of the proof, there are an extra `q` signing oracle queries