Erikoista todistamista

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?
2371
Äänestä

Muut lukivat myös

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?

Äänestä
  • 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 >_

    Äänestä

Kommentoi aloitusta


Eero K kirjoitti:

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?

Anonyymi
5000

Ilmoita asiaton sisältö

  • Sisältää materiaalia, joka on loukkaavaa, herjaavaa, rasistista, uhkailevaa tai ahdistelevaa.

  • Materiaali sisältää nimiä, yhteystietoja tai muita henkilökohtaisia tietoja. Julkisuuden henkilöistä, julkisissa viroissa toimivista ihmisistä sekä yritysten vastuuhenkilöistä saa keskustella työhön liittyen. Myös yksityiselämään liittyvistä asioista voi keskustella siltä osin, kuin niistä on julkisesti kerrottu.

  • Sisältää lapsille haitallista tai heiltä kiellettyä materiaalia. Seksuaalinen sisältö on sallittua aiheeseen tarkoitetuilla palstoilla, joiden ikäraja on 18 vuotta.

  • Lainvastaista sisältöä voi olla mm. yksityiselämää loukkaavan tiedon levitys, kiihottaminen kansanryhmää vastaan, laiton uhkaaminen, alaikäisiin liittyvä seksuaalinen sisältö/grooming, petokset, identiteettivarkaudet, kunnianloukkaukset ja tekijänoikeusrikkomukset.

  • Sisältö ei liity palstan tai keskusteluketjun aiheeseen.

  • Viesti ei ole suomea tai ruotsia (pl. International Forums), se sisältää mainontaa, se sisältää tekijänoikeuksin suojattua materiaalia, se on massapostitus tai jokin muu syy.

Jaa keskustelu