14:47:10 <dangerousfreedom> Hello guys, can someone explain me why version 1 transactions were not forbidden at 2021 ? https://xmrchain.net/tx/55ba10662968c57fc8fed2c82a99d6fd9516730c245f58e9e87bb9a35378014a/1
14:49:55 <dangerousfreedom>  * Hello guys, can someone explain me why version 1 transactions were not forbidden up to now ? https://xmrchain.net/tx/55ba10662968c57fc8fed2c82a99d6fd9516730c245f58e9e87bb9a35378014a/1
14:58:51 <sech1> because you can't spend very old inputs if they are fobidden
15:03:11 <dangerousfreedom> Yeah, that's what I thought but the outputs created are always v2, right?
15:04:51 <sech1> yes
15:06:46 <dangerousfreedom> thx
15:27:02 <Rucknium[m]> Is there yet a mathematical proof that Seraphis is secure against a conventional adversary?
15:33:27 <tevador> Should be here: https://github.com/UkoeHB/Seraphis
15:34:36 <Rucknium[m]> I saw a lot of "formalize better?" in the current draft PDF
15:37:09 <Rucknium[m]> And nothing called a theorem or proposition.
16:24:22 <UkoeHB> Not yet
16:50:28 <Rucknium[m]> The reason I ask is I wonder if dangerousfreedom's CCS efforts can be put toward trying to formalize it in some way. Either through attempting to write proofs or putting the scheme in front of a reviewer.
16:52:44 <dangerousfreedom> Rucknium[m]: I would be happy to help
17:27:21 <UkoeHB> sure that would be great
17:36:14 <dangerousfreedom> <UkoeHB> "sure that would be great" <- Nice. This month I still have to write some rust scripts to finish scanning the blockchain but I will be collecting ideas and trying to organize a todo list. I will send you a message in a few days :)
17:59:26 <UkoeHB> ok