Ik heb gepost over beknopte bewijzen die de informatietheorie schenden en kreeg aanzienlijke tegenstand van cryptografen. Na meer gedachten realiseerde ik me dat ik de zaken door elkaar had gehaald. Er vindt geen informatieoverdracht plaats. De prover helpt de verifier met berekeningen, niet met informatieoverdracht. De verifier zou theoretisch alle mogelijkheden kunnen controleren, maar mist rekenkracht. Het is een rekenprobleem, geen probleem van de informatietheorie. Bedankt dat jullie me verantwoordelijk houden, jongens!