Din câte am înțeles, o proprietate este computațională dacă se menține într-un context delimitat computațional, deci pentru ORICE entitate implicată delimitată computațional (chiar dacă una nemărginită ar putea descoperi că proprietatea lipsește de fapt): de ex. orice delimitator delimitat computațional care evaluează două transcrieri pentru a verifica CZK sau dovezi delimitați computațional ai unui argument.
Presupun că surprinderea explicit a conceptului de „orice entitate delimitată din punct de vedere computațional” într-o demonstrație nu este ușoară, așa că cred că acesta este motivul pentru care am întâlnit (cel puțin cu ZKP-uri) proprietăți de calcul dovedite prin reducerea la probleme dificile din punct de vedere computațional, cum ar fi rezistența a doua preimagine a hashurilor sau DLP (deoarece duritatea lor se bazează pe TOATE entitățile fiind limitate computațional, deci dacă dovedim că duritatea lor implică proprietatea noastră, câștigăm)
Mă întreb dacă există exemple de proprietăți computaționale dovedite prin intermediul diferitelor stategii; și dacă demonstrarea prin reducerea la probleme grele nu este cumva o dovadă „slabă”, fiind bazată pe o ipoteză de duritate care nu este garantată să dureze pentru totdeauna chiar dacă este cu siguranță acceptată (înțeleg că întreaga criptografie este o minciună computațională uriașă ;-) dar să spunem că îndoiala este părtinitoare din punct de vedere teoretic)
