On mm. todistamistapa nimeltä "nollatiedon todistus" (vapaa suomennos, kertokaa virallinen) eli "zero-knowledge proof". Siinä lyhyesti sanottuna todistetaan, että todistus on olemassa, mutta itse todistuksesta mitään paljastamatta.
Tässä on lisää siitä ja muista tavoista alaotsikon "New Types of Proof" alla:
http://fcis.oise.utoronto.ca/~ghanna/pme96prf.html
Missä siitä nollatodistuksesta kerrotaan lisää maallikolle ymmärrettävästi?
Tässä on lisää siitä ja muista tavoista alaotsikon "New Types of Proof" alla:
http://fcis.oise.utoronto.ca/~ghanna/pme96prf.html
Missä siitä nollatodistuksesta kerrotaan lisää maallikolle ymmärrettävästi?
Vastaukset 2
Vanhimmat
..takaa tilannetta, missä yhtälöitä on pyöritetty suhkoht pitkälle ja saatu tulokseksi 0=0? Mikä kertoo vain, että lause on tosi, mutta ei mitään muuta?
siis toi 0=0 on todistus, esim todista että f(x)=g(x) ja kun f(x) muokataan pitkälle saadaan siitä g(x) joka voidaan myös supistaa (mikä on turhaa) niin että saadaan 0=0
ite sain tosta zero-knowledge proofista sellasen kuvan, että sitä voidaan käyttää esim sellaisissa tapauksissa, missä todistettava on niin monimutkainen ettei sitä voi perinteisin keinoin todistaa, joten todistetaan joillakin muilla keinoilla että lausekke on todistettavissa >_