Comment by dabbing. (panagiwtis-papanikolaoy) on Logical Share Splitting · 2023-09-12T10:21:18.364Z · LW · GW

As far as I can tell the subsidiser does not actually get a proof of the hypothesis. Is there a way in this system to pay to actually get the proof?