Jag skrev om kortfattade bevis som bryter mot informationsteorin och fick betydande motstånd från kryptografer. Efter mer funderande insåg jag att jag hade mina trådar korsade. Det sker ingen informationsöverföring. Provaren hjälper verifieraren med beräkning, inte informationsöverföring. Verifieraren skulle teoretiskt sett kunna kontrollera alla möjligheter men saknar beräkningskraft. Det är ett beräkningsproblem, inte ett informationsteoretiskt problem. Tack för att ni ställer mig till svars killar!