Psal jsem o stručných důkazech porušujících teorii informace a setkal jsem se se značným odporem ze strany kryptografů. Po dalším přemýšlení jsem si uvědomil, že mám zkřížené dráty. Nedochází k žádnému přenosu informací. Dokazovatel pomáhá ověřovateli s výpočtem, nikoli s přenosem informací. Verifikátor by teoreticky mohl prověřit všechny možnosti, ale postrádá výpočetní výkon. Je to problém výpočtu, ne problém teorie informace. Díky, že jste mě drželi na účtu, kluci!
David Tse
David Tse15. 8. 2025
Hodně jsem přemýšlel o tom, že ZKP porušují teorii informace - dokazují platnost s neuvěřitelně malými daty. Spousta lidí to nechce slyšet.
5,01K