04:50:06 <xmrliberator[m]> would you like one?
18:43:28 <RingCT> https://revuo-xmr.com/issue-109.html
20:47:08 <midipoet> sech1: To be fair it would be nice if someone could write out the proof in math. I assume this can be done, right?
20:48:54 <midipoet> that way, it would be less about "the code is true", and more like, here is the notation of how the cryptographic proof is completed. I am far from an expert, but surely the mathematical proof could help explain the process that can be done with the line of code that is mentioned. 
20:49:27 <midipoet> But perhaps the notation has been published already (in order to write the code that checks the chain, one assumes)